| simplifyGT0Rational(RelationalExpression) |   | 38% | | 39% | 16 | 20 | 18 | 39 | 0 | 1 |
| simplifyTuple(Tuple) | | 0% | | 0% | 7 | 7 | 18 | 18 | 1 | 1 |
| simplifyConditional(ConditionalExpression) | | 0% | | 0% | 7 | 7 | 19 | 19 | 1 | 1 |
| simplifyLambda(LambdaExpression) | | 0% | | 0% | 6 | 6 | 17 | 17 | 1 | 1 |
| simplifyTupleWrite(TupleWrite) | | 0% | | 0% | 6 | 6 | 16 | 16 | 1 | 1 |
| simplifyArrayLambda(ArrayLambdaExpression) | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| simplifyTupleRead(TupleRead) | | 0% | | 0% | 5 | 5 | 14 | 14 | 1 | 1 |
| simplifyTree(TreeExpressionIF) | | 64% | | 65% | 16 | 24 | 8 | 39 | 0 | 1 |
| extractGT0(RationalExpression, Map, Map, boolean) | | 38% | | 21% | 11 | 13 | 8 | 17 | 0 | 1 |
| simplifyBooleanPrimitive(BooleanPrimitive) | | 34% | | 27% | 7 | 8 | 13 | 18 | 0 | 1 |
| simplifySymbolicConstant(SymbolicConstantExpressionIF) | | 66% | | 56% | 5 | 9 | 7 | 26 | 0 | 1 |
| extractBoundsOr(OrExpression, Map, Map) | | 71% | | 46% | 10 | 15 | 8 | 33 | 0 | 1 |
| simplify(SymbolicExpressionIF) | | 36% | | 50% | 6 | 7 | 6 | 14 | 0 | 1 |
| simplifyGT0(FactoredPolynomial, boolean) | | 85% | | 76% | 17 | 42 | 4 | 48 | 0 | 1 |
| extractBounds(BasicExpression, Map, Map) | | 69% | | 58% | 6 | 12 | 3 | 23 | 0 | 1 |
| simplifyRelational(RelationalExpression) | | 83% | | 91% | 3 | 18 | 3 | 42 | 0 | 1 |
| simplifyFactoredPolynomial(FactoredPolynomial) | | 85% | | 81% | 5 | 19 | 3 | 47 | 0 | 1 |
| initialize() | | 83% | | 75% | 5 | 13 | 6 | 37 | 0 | 1 |
| IdealSimplifier(IdealUniverse, BooleanIdealExpression) | | 67% | | 50% | 2 | 3 | 3 | 18 | 0 | 1 |
| simplifyNumericPrimitive(NumericPrimitive) | | 78% | | 77% | 3 | 11 | 5 | 27 | 0 | 1 |
| simplifyApply(EvaluatedFunctionExpression) | | 81% | | 57% | 6 | 8 | 2 | 19 | 0 | 1 |
| simplifyLiteral(LiteralExpression) | | 67% | | 50% | 3 | 4 | 3 | 13 | 0 | 1 |
| simplifyIntDiv(IntegerDivisionExpression) | | 74% | | 50% | 4 | 5 | 2 | 13 | 0 | 1 |
| updateConstantMap() | | 76% | | 71% | 4 | 8 | 3 | 13 | 0 | 1 |
| simplifyEQ0(FactoredPolynomial) | | 91% | | 82% | 7 | 20 | 2 | 34 | 0 | 1 |
| extractGT0Bounds(boolean, TreeExpressionIF, Map, Map) | | 68% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| simplifyBasic(BasicExpression) | | 67% | | 83% | 1 | 4 | 1 | 7 | 0 | 1 |
| simplifyArrayExpression(ArrayExpression) | | 92% | | 80% | 4 | 11 | 2 | 30 | 0 | 1 |
| simplifyQuantifier(QuantifierExpression) | | 87% | | 83% | 1 | 4 | 1 | 13 | 0 | 1 |
| extractEQ0Bounds(boolean, FactoredPolynomial, Map, Map) | | 94% | | 77% | 5 | 12 | 3 | 25 | 0 | 1 |
| assumptionAsInterval(SymbolicConstantIF) | | 95% | | 77% | 5 | 12 | 3 | 29 | 0 | 1 |
| extractGT0(FactoredPolynomial, Map, Map, boolean) | | 95% | | 83% | 3 | 10 | 1 | 23 | 0 | 1 |
| out() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| universe() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| simplifyCnf(CnfBooleanExpression) | | 98% | | 92% | 1 | 7 | 1 | 22 | 0 | 1 |
| simplifyArrayWrite(ArrayWrite) | | 98% | | 75% | 3 | 7 | 1 | 19 | 0 | 1 |
| simplifyArrayRead(ArrayRead) | | 98% | | 90% | 1 | 6 | 1 | 17 | 0 | 1 |
| simplifyIntMod(IntegerModulusExpression) | | 97% | | 75% | 2 | 5 | 1 | 13 | 0 | 1 |
| simplifyCast(RealCastExpression) | | 96% | | 75% | 1 | 3 | 1 | 10 | 0 | 1 |
| verbose() | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| simplifyMonomial(Monomial) | | 100% | | 100% | 0 | 7 | 0 | 25 | 0 | 1 |
| simplifyOr(OrExpression) | | 100% | | 100% | 0 | 7 | 0 | 19 | 0 | 1 |
| boundToIdeal(BoundsObject) | | 100% | | 100% | 0 | 6 | 0 | 16 | 0 | 1 |
| simplifyRational(RationalExpression) | | 100% | | 88% | 1 | 5 | 0 | 11 | 0 | 1 |
| extractRemainingFacts() | | 100% | | 80% | 2 | 6 | 0 | 15 | 0 | 1 |
| printConstantMap(PrintWriter) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| printBooleanMap(PrintWriter) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| extractBounds() | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| printBoundMap(PrintWriter) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| declareFact(TreeExpressionIF, boolean) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| trueExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| falseExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| cnfTrue() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| cnfFalse() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| fpFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| concreteFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| monomialFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| affineFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| relationalFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| cnfFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| constantFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newAssumption() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| extractNEQ0Bounds(FactoredPolynomial, Map, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |