| simplifyExpressionWork(SymbolicExpression) |   | 67% | | 56% | 12 | 17 | 13 | 47 | 0 | 1 |
| conditionalSimplification() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| IdealSimplifierWorker(Context, Set) | | 92% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| getSimplifications(SymbolicExpression) | | 100% | | 100% | 0 | 14 | 0 | 24 | 0 | 1 |
| simplifyNonSimpleConstant(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| simplifyExpression(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayLambdaSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayReadSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| conditionalSimplification2() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| genericSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambdaSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| orSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numericOrSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| polynomialSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| powerSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| quantifierSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| rationalPowerSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| subContextSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| moduloSimplification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getContext() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getSimplificationStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |