| cast(NumericExpression, SymbolicType) |   | 47% | | 54% | 8 | 12 | 12 | 25 | 0 | 1 |
| castToHerbrand(NumericExpression) | | 18% | | 12% | 4 | 5 | 8 | 11 | 0 | 1 |
| extractNumber(NumericExpression) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| subtract(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| divide(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| modulo(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| power(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| lessThan(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| notLessThan(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| notLessThanEquals(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| power(NumericExpression, NumberObject) | | 60% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| minus(NumericExpression) | | 61% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| floor(NumericExpression) | | 64% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| ceil(NumericExpression) | | 64% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| roundToZero(NumericExpression) | | 64% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| expand(NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| herbrandFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| castToIdeal(NumericExpression) | | 95% | | 75% | 2 | 5 | 0 | 9 | 0 | 1 |
| CommonNumericExpressionFactory(NumericExpressionFactory, NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| add(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 5 | 0 | 1 |
| multiply(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 5 | 0 | 1 |
| lessThanEquals(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 5 | 0 | 1 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject[]) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| symbolicConstant(StringObject, SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| equals(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| neq(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| number(NumberObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| zeroInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| zeroReal() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| oneInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| oneReal() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| idealFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| objectFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| typeFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| comparator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |