Numeric.FastMath

This module loads all rewrite rules. Unless you know that some rules will be unsafe for your application, this is the module you should load. Importing this module is roughly equivalent to gcc's -ffast-math compilation flag.

The best way to figure out what optimizations these modules do is by looking at the source code. RULES pragmas are surprisingly readable.