| power(NumericExpression, NumericExpression) |  | 0% | | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| power(NumericExpression, IntObject) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| realBinaryPred() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| realUnaryOp() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| integerUnaryOp() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| minusReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| minusInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| timesInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| divideReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| divideInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| moduloOperator() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| negativeInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| negativeReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| powerReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| powerInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| lessThanInteger() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| lessThanReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| lteReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| extractNumber(NumericExpression) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| subtract(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| divide(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| minus(NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lessThan(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| modulo(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| cast(NumericExpression, SymbolicType) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| minusOperator(SymbolicType) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| divideOperator(SymbolicType) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| negativeOperator(SymbolicType) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| lessThanOperator(SymbolicType) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject, SymbolicObject, SymbolicObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| notLessThan(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| notLessThanEquals(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, Collection) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| equals(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| neq(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| symbolicConstant(StringObject, SymbolicType) |  | 73% | | 50% | 2 | 3 | 0 | 2 | 0 | 1 |
| timesOperator(SymbolicType) | | 67% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| zeroReal() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| oneReal() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lteOperator(SymbolicType) | | 78% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| CommonHerbrandFactory(NumberFactory, ObjectFactory, SymbolicTypeFactory, CollectionFactory, BooleanExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 15 | 0 | 1 |
| realBinaryOp() | | 100% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| integerBinaryOp() | | 100% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| integerBinaryPred() | | 100% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| plusReal() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| plusInteger() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| timesReal() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| lteInteger() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| add(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| multiply(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lessThanEquals(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| sequence(NumericExpression, NumericExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| number(NumberObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| plusOperator(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| expression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| commonSymbolicConstant(StringObject, SymbolicType) | | 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 |
| zeroInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| oneInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |