| isLinearInequality(NumericSymbolicConstant, BooleanExpression) |  | 0% | | 0% | 13 | 13 | 22 | 22 | 1 | 1 |
| findATruePrimitive(Monomial) | | 0% | | 0% | 7 | 7 | 12 | 12 | 1 | 1 |
| comparisonToRange(BooleanExpression) |  | 85% | | 78% | 12 | 32 | 8 | 73 | 0 | 1 |
| affine(Polynomial) | | 75% | | 50% | 3 | 5 | 4 | 20 | 0 | 1 |
| printMap(PrintStream, Map) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| isSimpleObject(SymbolicObject) | | 56% | | 50% | 3 | 6 | 3 | 8 | 0 | 1 |
| max(Number, Number) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| cloneTreeMap(Map) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| isNumericRelational(SymbolicExpression) | | 42% | | 25% | 2 | 3 | 0 | 2 | 0 | 1 |
| normalize(Monomial, Range) | | 94% | | 80% | 2 | 6 | 0 | 15 | 0 | 1 |
| falseExpr() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| min(Number, Number) | | 80% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| normalize(Monomial, Number) | | 100% | | 100% | 0 | 6 | 0 | 19 | 0 | 1 |
| SimplifierUtility(PreUniverse, IdealFactory) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| intersects(SymbolicExpression, Set) | | 100% | | 100% | 0 | 4 | 0 | 10 | 0 | 1 |
| isSimpleConstant(SymbolicExpression) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| isSimpleType(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| isRelational(SymbolicExpression.SymbolicOperator) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| cloneDirtySet(Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| newDirtySet() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getUniverse() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getNumberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRangeFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getBooleanFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getIdealFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| trueExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |