| simplifyTypeWork(SymbolicType) |   | 67% | | 57% | 8 | 13 | 10 | 38 | 0 | 1 |
| simplifyTypeSequenceWork(SymbolicTypeSequence) | | 34% | | 37% | 3 | 5 | 7 | 13 | 0 | 1 |
| genericSimplify(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getSub(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| simplifyType(SymbolicType) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| simplifyTypeSequence(SymbolicTypeSequence) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| newSubContext(BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newSubContext() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| intervalApproximation(NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| cacheSimplification(SymbolicObject, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| Simplification(IdealSimplifierWorker) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| idealFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCachedSimplification(SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| info() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| simplifyExpression(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| simplifyExpressionWork(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| universe() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| simplificationStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |