| power(NumericExpression, NumericExpression) |  | 0% | | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| power(NumericExpression, NumberObject) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| cast(NumericExpression, SymbolicType) | | 0% | | 0% | 7 | 7 | 9 | 9 | 1 | 1 |
| min(List) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| max(List) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| realBinaryPred() | | 0% | | 0% | 2 | 2 | 4 | 4 | 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 |
| minReal(int) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| minInteger(int) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| maxReal(int) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| maxInteger(int) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| extractNumber(NumericExpression) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| minusReal() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| minusInteger() | | 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 |
| equals(NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| neq(NumericExpression, NumericExpression) | | 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 |
| minOp(SymbolicType, int) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| maxOp(SymbolicType, int) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| number(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 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 |
| expand(NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| sequence(NumericExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| symbolicConstant(StringObject, SymbolicType) |  | 77% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| realUnaryOp() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| integerUnaryOp() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| booleanFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numberFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| objectFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| typeFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| zeroInt() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| zeroReal() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| oneInt() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| oneReal() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lteOperator(SymbolicType) | | 77% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| floor(NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ceil(NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| roundToZero(NumericExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| init() | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| realNAryOp(int) | | 100% | | 75% | 1 | 3 | 0 | 8 | 0 | 1 |
| integerNAryOp(int) | | 100% | | 75% | 1 | 3 | 0 | 8 | 0 | 1 |
| integerBinaryPred() | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| CommonHerbrandFactory(NumberFactory, ObjectFactory, SymbolicTypeFactory, BooleanExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 7 | 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 |
| number(NumberObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 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 |
| timesInteger() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| lteInteger() | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| sequence(NumericExpression, NumericExpression) | | 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 |
| plusOperator(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| timesOperator(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| realBinaryOp() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerBinaryOp() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| comparator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isFloor(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |