| 1 | Parser | 988952 | 0.38 |
| 2 | Renamer/typechecker | 4061928 | 3.19 |
| 3 | Desugar | 1021704 | 0.65 |
| 4 | Simplifier | 9783160 | 6.85 |
| 5 | Specialise | 180912 | 0.09 |
| 6 | Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) | 623600 | 0.40 |
| 7 | Simplifier | 3189104 | 1.80 |
| 8 | Simplifier | 982208 | 0.53 |
| 9 | Simplifier | 982208 | 0.52 |
| 10 | Float inwards | 21448 | 0.01 |
| 11 | Called arity analysis | 23008 | 0.01 |
| 12 | Simplifier | 1291544 | 0.66 |
| 13 | Demand analysis | 984992 | 0.40 |
| 14 | Worker Wrapper binds | 62528 | 0.06 |
| 15 | Simplifier | 4536392 | 2.53 |
| 16 | Exitification transformation | 23936 | 0.02 |
| 17 | Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) | 764304 | 0.56 |
| 18 | Common sub-expression | 22552 | 0.01 |
| 19 | Float inwards | 21448 | 0.01 |
| 20 | Simplifier | 3359232 | 4.17 |
| 21 | Demand analysis | 1099512 | 0.47 |
| 22 | CoreTidy | 645912 | 0.42 |
| 23 | CorePrep | 22408 | 0.02 |
| 24 | CodeGen | 12528224 | 9.84 |
| 25 | CorePrep | 22408 | 0.03 |
| 26 | CodeGen | 12610456 | 8.45 |