Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | A | A | A | B | A | A | A | B | A |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 51 | 51 | 32 | 45 | 99 | 31 | 31 | 34 | 31 | 32 |
| N.S. | 1 | 1.00 | 0.63 | 0.88 | 1.94 | 0.61 | 0.61 | 0.67 | 0.61 | 0.63 |
| time (sec) |
N/A | 0.107 | 0.043 | 0.023 | 0.283 | 0.305 | 0.050 | 0.000 | 0.171 | 1.815 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | F | A | F | F | A | F | F | B | F(-2) |
| verified |
N/A | N/A | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 10 | 0 | 10 | 0 | 0 | 10 | 0 | 0 | 10 | 0 |
| N.S. |
1 | 0.00 | 1.00 | 0.00 | 0.00 | 1.00 | 0.00 | 0.00 | 1.00 | 0.00 |
| time (sec) |
N/A | 0.235 | 0.066 | 0.019 | 0.000 | 0.300 | 0.000 | 0.000 | 0.239 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | F | A | F | F | A | F | F | B | F(-1) |
| verified |
N/A | N/A | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 28 | 0 | 39 | 0 | 0 | 27 | 0 | 0 | 37 | 0 |
| N.S. |
1 | 0.00 | 1.39 | 0.00 | 0.00 | 0.96 | 0.00 | 0.00 | 1.32 | 0.00 |
| time (sec) |
N/A | 0.272 | 0.242 | 0.022 | 0.000 | 0.312 | 0.000 | 0.000 | 0.130 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | A | A | B | F | A | A | A | B | A |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 6 | 6 | 6 | 13 | 0 | 5 | 5 | 5 | 5 | 6 |
| N.S. | 1 | 1.00 | 1.00 | 2.17 | 0.00 | 0.83 | 0.83 | 0.83 | 0.83 | 1.00 |
| time (sec) |
N/A | 0.059 | 0.027 | 0.017 | 0.000 | 0.313 | 1.028 | 0.001 | 0.049 | 2.600 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | F | A | A | F | A | A | B | B | A |
| verified |
N/A | N/A | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 13 | 0 | 13 | 13 | 0 | 12 | 10 | 29 | 12 | 13 |
| N.S. | 1 | 0.00 | 1.00 | 1.00 | 0.00 | 0.92 | 0.77 | 2.23 | 0.92 | 1.00 |
| time (sec) |
N/A | 0.249 | 0.144 | 0.055 | 0.000 | 0.304 | 0.081 | 0.003 | 0.239 | 1.750 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | A | A | A | A | A | A | A | B | A |
| verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 10 | 10 | 10 | 10 | 9 | 12 | 8 | 8 | 9 | 13 |
| N.S. | 1 | 1.00 | 1.00 | 1.00 | 0.90 | 1.20 | 0.80 | 0.80 | 0.90 | 1.30 |
| time (sec) |
N/A | 0.019 | 0.005 | 0.013 | 0.318 | 0.303 | 0.775 | 0.007 | 0.261 | 2.523 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | Mathics | |
| grade |
A | F | A | A | A | A | A | A | B | A |
| verified |
N/A | N/A | Yes | TBD | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 10 | 0 | 10 | 10 | 9 | 14 | 8 | 13 | 9 | 10 |
| N.S. | 1 | 0.00 | 1.00 | 1.00 | 0.90 | 1.40 | 0.80 | 1.30 | 0.90 | 1.00 |
| time (sec) |
N/A | 0.107 | 0.056 | 0.014 | 0.339 | 0.307 | 1.124 | 0.004 | 0.315 | 2.825 |