| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 0 of 243 | 100% | 0 of 17 | 100% | 0 | 27 | 0 | 35 | 0 | 14 |
| select(SymbolicExpression) | 100% | 100% | 0 | 14 | 0 | 22 | 0 | 1 | ||
| lambdaSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| arrayLambdaSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| arrayReadSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| subContextSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| genericSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| quantifierSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| powerSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| rationalPowerSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| conditionalSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| orSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| computerModuloSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| polynomialSimp() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 | ||
| StandardSimplificationSelector() | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |