| toStringBuffer1(boolean) |   | 73% | | 75% | 22 | 78 | 77 | 286 | 0 | 1 |
| processBitXOr(StringBuffer, boolean) | | 65% | | 60% | 4 | 6 | 3 | 12 | 0 | 1 |
| walkObject(SymbolicObject, Set) | | 56% | | 50% | 3 | 6 | 5 | 12 | 0 | 1 |
| processBinary(StringBuffer, String, SymbolicObject, SymbolicObject, boolean) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| processSum(StringBuffer, boolean) | | 83% | | 75% | 3 | 7 | 1 | 16 | 0 | 1 |
| processProduct(StringBuffer, boolean) | | 81% | | 75% | 4 | 9 | 1 | 16 | 0 | 1 |
| processAnd(StringBuffer, boolean) | | 81% | | 75% | 4 | 9 | 1 | 16 | 0 | 1 |
| processBitOr(StringBuffer, boolean) | | 78% | | 70% | 3 | 6 | 1 | 12 | 0 | 1 |
| processBitAnd(StringBuffer, boolean) | | 78% | | 70% | 3 | 6 | 1 | 12 | 0 | 1 |
| processOr(StringBuffer, boolean) | | 78% | | 75% | 3 | 7 | 1 | 15 | 0 | 1 |
| HomogeneousExpression(SymbolicExpression.SymbolicOperator, SymbolicType, SymbolicObject[]) | | 75% | | 57% | 6 | 8 | 0 | 11 | 0 | 1 |
| canonizeChildren(ObjectFactory) | | 83% | | 87% | 1 | 5 | 1 | 9 | 0 | 1 |
| printCompressedTreeWorker(String, StringBuffer, Set, SymbolicObject) | | 95% | | 93% | 1 | 10 | 1 | 28 | 0 | 1 |
| walkType(SymbolicType, Set) | | 93% | | 90% | 1 | 8 | 1 | 27 | 0 | 1 |
| toStringBufferLong(SymbolicObject[]) | | 90% | | 83% | 1 | 4 | 1 | 11 | 0 | 1 |
| intrinsicEquals(SymbolicObject) | | 90% | | 70% | 2 | 6 | 0 | 4 | 0 | 1 |
| containsSubobject(SymbolicObject) | | 95% | | 80% | 2 | 6 | 1 | 8 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| toStringBufferLong() | | 97% | | 50% | 1 | 2 | 0 | 9 | 0 | 1 |
| getFreeVars() | | 100% | | 94% | 1 | 10 | 0 | 20 | 0 | 1 |
| size() | | 100% | | 100% | 0 | 5 | 0 | 12 | 0 | 1 |
| containsQuantifier() | | 100% | | 93% | 1 | 9 | 0 | 11 | 0 | 1 |
| processBitNot(StringBuffer, boolean) | | 100% | | 83% | 1 | 4 | 0 | 7 | 0 | 1 |
| computeHashCode() | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| accumulate(StringBuffer, String, SymbolicSequence, boolean) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| isFalse() | | 100% | | 83% | 1 | 4 | 0 | 2 | 0 | 1 |
| isTrue() | | 100% | | 100% | 0 | 4 | 0 | 2 | 0 | 1 |
| walkSequence(SymbolicSequence, Set) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| walkTypeSequence(SymbolicTypeSequence, Set) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| printCompressedTree(String, StringBuffer) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| isNull() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| getArguments() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| argument(int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| atomString() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toStringBuffer(boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numArguments() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arguments() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| operator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| type() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isNumeric() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolicObjectKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isZero() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isOne() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |