| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 170 of 214 | 21% | 22 of 26 | 15% | 14 | 18 | 38 | 50 | 2 | 5 |
| readDenseArrayWrite(SymbolicExpression, NumericExpression) | | 0% | | 0% | 7 | 7 | 23 | 23 | 1 | 1 |
| readArrayWrite(SymbolicExpression, NumericExpression) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| visitExpression(SymbolicExpression) | | 74% | | 67% | 2 | 4 | 2 | 9 | 0 | 1 |
| ArrayReadOverWriteSimplification(SymbolicUniverse, BooleanExpression) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | |
| apply(SymbolicExpression) | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |