| ConditionalSimplification.ConditionalSimplifier |  | 0% | | 0% | 12 | 12 | 37 | 37 | 5 | 5 | 1 | 1 |
| Simplification |  | 69% | | 57% | 14 | 38 | 19 | 82 | 2 | 19 | 0 | 1 |
| ComputerModuloSimplification | | 37% | | 16% | 6 | 9 | 16 | 30 | 0 | 3 | 0 | 1 |
| PolynomialSimplification | | 62% | | 50% | 7 | 14 | 8 | 30 | 0 | 5 | 0 | 1 |
| OrSimplification | | 80% | | 81% | 3 | 11 | 6 | 28 | 0 | 3 | 0 | 1 |
| GenericSimplification | | 91% | | 83% | 7 | 30 | 4 | 64 | 0 | 7 | 0 | 1 |
| ConditionalSimplification | | 0% | | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 |
| RationalPowerSimplification | | 96% | | 85% | 5 | 22 | 3 | 73 | 0 | 5 | 0 | 1 |
| QuantifierSimplification | | 92% | | 80% | 4 | 13 | 3 | 35 | 0 | 3 | 0 | 1 |
| ArrayLambdaSimplification | | 93% | | 64% | 5 | 11 | 1 | 35 | 0 | 4 | 0 | 1 |
| PowerSimplification | | 92% | | 61% | 7 | 13 | 4 | 32 | 0 | 4 | 0 | 1 |
| LambdaSimplification | | 80% | | 50% | 2 | 5 | 2 | 12 | 0 | 3 | 0 | 1 |
| NumericOrSimplification | | 84% | | 75% | 1 | 5 | 3 | 16 | 0 | 3 | 0 | 1 |
| ArrayReadSimplification | | 96% | | 85% | 4 | 20 | 3 | 46 | 0 | 6 | 0 | 1 |
| ConditionalSimplification2 | | 97% | | 83% | 2 | 9 | 1 | 22 | 0 | 3 | 0 | 1 |
| SubContextSimplification | | 90% | | 50% | 1 | 4 | 1 | 7 | 0 | 3 | 0 | 1 |
| Simplification.SimplificationKind | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |