Detailed conclusion table per each integral is given by the 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 as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table
fit the page, the name Mathematica was abbreviated to MMA
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | A | C | C | F | A | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 69 | 69 | 95 | 188 | 0 | 52 | 0 | 0 | 66 | 0 |
| N.S. |
1 | 1.00 | 1.38 | 2.72 | 0.00 | 0.75 | 0.00 | 0.00 | 0.96 | 0.00 |
| time (sec) |
N/A | 0.304 | 10.172 | 0.553 | 0.000 | 0.097 | 0.000 | 0.000 | 0.187 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | A | C | C | F | A | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 155 | 155 | 164 | 241 | 0 | 115 | 0 | 0 | 65 | 0 |
| N.S. |
1 | 1.00 | 1.06 | 1.55 | 0.00 | 0.74 | 0.00 | 0.00 | 0.42 | 0.00 |
| time (sec) |
N/A | 0.388 | 10.309 | 0.812 | 0.000 | 0.095 | 0.000 | 0.000 | 0.183 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | A | C | C | F | A | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 180 | 180 | 217 | 339 | 0 | 130 | 0 | 0 | 124 | 0 |
| N.S. |
1 | 1.00 | 1.21 | 1.88 | 0.00 | 0.72 | 0.00 | 0.00 | 0.69 | 0.00 |
| time (sec) |
N/A | 0.454 | 10.444 | 1.139 | 0.000 | 0.095 | 0.000 | 0.000 | 0.217 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1604 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.02 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.028 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F(-1) | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1229 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 4.858 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 964 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1034 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 1.07 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 2.786 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 805 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 3.734 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 760 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 13.685 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 816 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.027 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 726 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.05 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.027 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 958 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.026 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1295 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.03 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.027 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1576 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.02 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.023 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F(-1) | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1241 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 4.540 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 993 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 6.062 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 874 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 15.508 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 882 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.031 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1013 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.164 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 954 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.026 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1306 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.03 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.027 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1746 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 36 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.02 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.026 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F(-1) | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 806 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 360 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.45 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.879 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F(-1) | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 697 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 33 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.05 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.200 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 634 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.06 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 1.368 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 483 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1105 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2.29 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 5.458 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 619 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 44.399 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 851 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 41 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.05 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.025 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F(-1) | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1032 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1178 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 1.14 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 3.372 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 819 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 575 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.70 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 1.859 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 722 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1487 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2.06 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 2.636 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 719 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1508 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2.10 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 5.281 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 626 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.07 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.031 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 865 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.05 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.030 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Reduce | Mupad | |
| grade |
N/A | F | F | F | F | F | F | F | F | F(-1) |
| verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
| size | 1220 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 46 | 0 |
| N.S. |
1 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.00 |
| time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 200.027 | 0.000 |