| cast(NumericExpression, SymbolicType) |   | 51% | | 68% | 6 | 12 | 8 | 24 | 0 | 1 |
| subtract(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| lessThan(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| notLessThan(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| notLessThanEquals(NumericExpression, NumericExpression) | | 64% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| castToIdeal(NumericExpression) | | 95% | | 75% | 2 | 5 | 0 | 8 | 0 | 1 |
| extractNumber(NumericExpression) | | 90% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| CommonNumericExpressionFactory(NumericExpressionFactory, NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 14 | 0 | 1 |
| castToHerbrand(NumericExpression) | | 100% | | 88% | 1 | 5 | 0 | 8 | 0 | 1 |
| add(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| multiply(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| divide(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| modulo(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| power(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| lessThanEquals(NumericExpression, NumericExpression) | | 100% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject, SymbolicObject, SymbolicObject) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| power(NumericExpression, IntObject) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject, SymbolicObject) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| minus(NumericExpression) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, Collection) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject[]) | | 100% | | 100% | 0 | 2 | 0 | 3 | 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 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 3 | 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 |
| herbrandFactory() | | 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 |
| collectionFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| comparator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |