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 | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 15 | 15 | 17 | 15 | 17 | 17 | 14 | 17 | 17 |
N.S. |
1 | 1.00 | 1.13 | 1.00 | 1.13 | 1.13 | 0.93 | 1.13 | 1.13 |
time (sec) |
N/A | 0.292 | 10.329 | 0.092 | 0.962 | 0.251 | 1.847 | 0.781 | 4.543 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 152 | 195 | 145 | 1693 | 146 | 424 | 0 | 0 | 0 |
N.S. |
1 | 1.28 | 0.95 | 11.14 | 0.96 | 2.79 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.013 | 0.141 | 1.405 | 0.716 | 0.266 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 126 | 162 | 120 | 1636 | 123 | 360 | 0 | 0 | 0 |
N.S. |
1 | 1.29 | 0.95 | 12.98 | 0.98 | 2.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.826 | 0.092 | 1.178 | 0.732 | 0.259 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 100 | 128 | 90 | 1555 | 100 | 306 | 0 | 0 | 0 |
N.S. |
1 | 1.28 | 0.90 | 15.55 | 1.00 | 3.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.655 | 0.087 | 0.925 | 0.762 | 0.268 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 69 | 89 | 63 | 255 | 72 | 227 | 0 | 0 | 0 |
N.S. |
1 | 1.29 | 0.91 | 3.70 | 1.04 | 3.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.451 | 0.728 | 0.936 | 0.723 | 0.258 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 16 | 16 | 18 | 16 | 18 | 18 | 15 | 18 | 18 |
N.S. |
1 | 1.00 | 1.12 | 1.00 | 1.12 | 1.12 | 0.94 | 1.12 | 1.12 |
time (sec) |
N/A | 0.242 | 3.788 | 0.094 | 0.916 | 0.255 | 1.603 | 0.359 | 4.404 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 165 | 214 | 151 | 1753 | 149 | 451 | 0 | 0 | 0 |
N.S. |
1 | 1.30 | 0.92 | 10.62 | 0.90 | 2.73 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.088 | 0.151 | 1.457 | 0.796 | 0.269 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 137 | 179 | 125 | 1694 | 125 | 382 | 0 | 0 | 0 |
N.S. |
1 | 1.31 | 0.91 | 12.36 | 0.91 | 2.79 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.869 | 0.093 | 1.201 | 0.737 | 0.260 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 109 | 143 | 94 | 1611 | 101 | 323 | 0 | 0 | 0 |
N.S. |
1 | 1.31 | 0.86 | 14.78 | 0.93 | 2.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.683 | 0.094 | 0.967 | 0.727 | 0.261 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 76 | 102 | 66 | 272 | 73 | 240 | 0 | 0 | 0 |
N.S. |
1 | 1.34 | 0.87 | 3.58 | 0.96 | 3.16 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.483 | 0.685 | 0.914 | 0.742 | 0.251 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 19 | 19 | 21 | 17 | 20 | 19 | 17 | 19 | 19 |
N.S. |
1 | 1.00 | 1.11 | 0.89 | 1.05 | 1.00 | 0.89 | 1.00 | 1.00 |
time (sec) |
N/A | 0.252 | 3.902 | 0.074 | 0.913 | 0.256 | 1.630 | 0.379 | 4.322 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 302 | 355 | 654 | 3640 | 0 | 1809 | 0 | 0 | 0 |
N.S. |
1 | 1.18 | 2.17 | 12.05 | 0.00 | 5.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.177 | 1.059 | 13.451 | 0.000 | 0.330 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 234 | 271 | 409 | 2719 | 0 | 1283 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 1.75 | 11.62 | 0.00 | 5.48 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.886 | 0.552 | 10.254 | 0.000 | 0.302 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 162 | 182 | 295 | 1818 | 0 | 835 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 1.82 | 11.22 | 0.00 | 5.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.608 | 0.396 | 1.081 | 0.000 | 0.294 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 79 | 86 | 127 | 169 | 182 | 499 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 1.61 | 2.14 | 2.30 | 6.32 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.361 | 0.031 | 0.750 | 0.331 | 0.277 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 15 | 15 | 17 | 15 | 17 | 17 | 14 | 17 | 17 |
N.S. |
1 | 1.00 | 1.13 | 1.00 | 1.13 | 1.13 | 0.93 | 1.13 | 1.13 |
time (sec) |
N/A | 0.211 | 7.540 | 0.096 | 1.516 | 0.254 | 0.511 | 0.996 | 4.836 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 395 | 522 | 349 | 6921 | 0 | 2165 | 0 | 0 | 0 |
N.S. |
1 | 1.32 | 0.88 | 17.52 | 0.00 | 5.48 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.549 | 3.611 | 21.303 | 0.000 | 0.336 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 295 | 402 | 259 | 6547 | 0 | 1689 | 0 | 0 | 0 |
N.S. |
1 | 1.36 | 0.88 | 22.19 | 0.00 | 5.73 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.095 | 2.861 | 2.595 | 0.000 | 0.354 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 194 | 287 | 365 | 557 | 372 | 1185 | 0 | 0 | 0 |
N.S. |
1 | 1.48 | 1.88 | 2.87 | 1.92 | 6.11 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.692 | 4.008 | 1.975 | 0.347 | 0.318 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 15 | 15 | 17 | 15 | 17 | 17 | 14 | 17 | 17 |
N.S. |
1 | 1.00 | 1.13 | 1.00 | 1.13 | 1.13 | 0.93 | 1.13 | 1.13 |
time (sec) |
N/A | 0.306 | 2.158 | 0.073 | 3.417 | 0.264 | 0.673 | 1.544 | 5.517 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 170 | 218 | 155 | 2277 | 343 | 345 | 0 | 0 | 0 |
N.S. |
1 | 1.28 | 0.91 | 13.39 | 2.02 | 2.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.902 | 0.262 | 1.737 | 0.244 | 0.267 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 133 | 171 | 119 | 2187 | 248 | 293 | 0 | 0 | 0 |
N.S. |
1 | 1.29 | 0.89 | 16.44 | 1.86 | 2.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.697 | 0.167 | 1.138 | 0.239 | 0.281 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 93 | 123 | 766 | 307 | 260 | 218 | 0 | 0 | 0 |
N.S. |
1 | 1.32 | 8.24 | 3.30 | 2.80 | 2.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.487 | 8.086 | 1.246 | 0.290 | 0.271 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 144 | 37 | 17 | 20 | 21 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 7.20 | 1.85 | 0.85 | 1.00 | 1.05 |
time (sec) |
N/A | 0.263 | 0.883 | 0.087 | 4.152 | 0.250 | 0.701 | 0.806 | 5.113 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 171 | 223 | 156 | 2387 | 342 | 345 | 0 | 0 | 0 |
N.S. |
1 | 1.30 | 0.91 | 13.96 | 2.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.923 | 0.245 | 1.590 | 0.238 | 0.273 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 134 | 176 | 120 | 2289 | 247 | 293 | 0 | 0 | 0 |
N.S. |
1 | 1.31 | 0.90 | 17.08 | 1.84 | 2.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.714 | 0.158 | 1.123 | 0.258 | 0.266 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 94 | 128 | 723 | 332 | 262 | 219 | 0 | 0 | 0 |
N.S. |
1 | 1.36 | 7.69 | 3.53 | 2.79 | 2.33 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.482 | 5.131 | 1.272 | 0.295 | 0.275 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 21 | 21 | 23 | 19 | 143 | 37 | 17 | 21 | 22 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 6.81 | 1.76 | 0.81 | 1.00 | 1.05 |
time (sec) |
N/A | 0.263 | 0.805 | 0.092 | 4.266 | 0.264 | 0.760 | 0.812 | 4.723 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 302 | 355 | 654 | 3640 | 0 | 1567 | 0 | 0 | 0 |
N.S. |
1 | 1.18 | 2.17 | 12.05 | 0.00 | 5.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.183 | 0.196 | 13.998 | 0.000 | 0.351 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 234 | 271 | 409 | 2719 | 0 | 1085 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 1.75 | 11.62 | 0.00 | 4.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.853 | 0.115 | 10.208 | 0.000 | 0.338 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 162 | 182 | 295 | 1819 | 0 | 681 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 1.82 | 11.23 | 0.00 | 4.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.605 | 0.202 | 1.115 | 0.000 | 0.311 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 79 | 86 | 127 | 145 | 184 | 389 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 1.61 | 1.84 | 2.33 | 4.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.350 | 0.019 | 0.754 | 0.333 | 0.282 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 15 | 15 | 17 | 15 | 17 | 17 | 14 | 17 | 17 |
N.S. |
1 | 1.00 | 1.13 | 1.00 | 1.13 | 1.13 | 0.93 | 1.13 | 1.13 |
time (sec) |
N/A | 0.218 | 0.087 | 0.107 | 1.619 | 0.252 | 0.654 | 0.434 | 5.019 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 391 | 514 | 341 | 6693 | 0 | 1799 | 0 | 0 | 0 |
N.S. |
1 | 1.31 | 0.87 | 17.12 | 0.00 | 4.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.523 | 3.514 | 24.297 | 0.000 | 0.457 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 293 | 394 | 255 | 6343 | 0 | 1463 | 0 | 0 | 0 |
N.S. |
1 | 1.34 | 0.87 | 21.65 | 0.00 | 4.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.128 | 2.823 | 3.452 | 0.000 | 0.410 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | B | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 194 | 283 | 390 | 563 | 392 | 1099 | 0 | 0 | 0 |
N.S. |
1 | 1.46 | 2.01 | 2.90 | 2.02 | 5.66 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.691 | 3.949 | 2.409 | 0.374 | 0.382 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 15 | 15 | 17 | 15 | 17 | 17 | 14 | 17 | 17 |
N.S. |
1 | 1.00 | 1.13 | 1.00 | 1.13 | 1.13 | 0.93 | 1.13 | 1.13 |
time (sec) |
N/A | 0.298 | 1.990 | 0.165 | 3.387 | 0.249 | 0.959 | 0.696 | 5.562 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 168 | 219 | 155 | 2387 | 344 | 180 | 0 | 0 | 0 |
N.S. |
1 | 1.30 | 0.92 | 14.21 | 2.05 | 1.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.908 | 0.280 | 2.031 | 0.225 | 0.273 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 132 | 172 | 119 | 2289 | 249 | 157 | 0 | 0 | 0 |
N.S. |
1 | 1.30 | 0.90 | 17.34 | 1.89 | 1.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.739 | 0.183 | 1.421 | 0.205 | 0.250 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 93 | 126 | 709 | 307 | 288 | 122 | 0 | 0 | 0 |
N.S. |
1 | 1.35 | 7.62 | 3.30 | 3.10 | 1.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.492 | 10.662 | 1.496 | 0.280 | 0.270 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 143 | 37 | 17 | 20 | 21 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 7.15 | 1.85 | 0.85 | 1.00 | 1.05 |
time (sec) |
N/A | 0.260 | 0.837 | 0.135 | 4.752 | 0.251 | 1.002 | 0.469 | 4.939 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 169 | 216 | 155 | 2277 | 345 | 180 | 0 | 0 | 0 |
N.S. |
1 | 1.28 | 0.92 | 13.47 | 2.04 | 1.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.917 | 0.252 | 1.796 | 0.231 | 0.270 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 133 | 169 | 119 | 2187 | 250 | 157 | 0 | 0 | 0 |
N.S. |
1 | 1.27 | 0.89 | 16.44 | 1.88 | 1.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.704 | 0.190 | 1.271 | 0.217 | 0.252 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | B | A | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 94 | 123 | 605 | 332 | 286 | 122 | 0 | 0 | 0 |
N.S. |
1 | 1.31 | 6.44 | 3.53 | 3.04 | 1.30 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.484 | 9.496 | 1.431 | 0.282 | 0.258 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 21 | 21 | 23 | 19 | 144 | 37 | 19 | 21 | 22 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 6.86 | 1.76 | 0.90 | 1.00 | 1.05 |
time (sec) |
N/A | 0.263 | 0.842 | 0.131 | 5.077 | 0.254 | 1.025 | 0.451 | 4.554 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | A | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 21 | 21 | 51 | 18 | 58 | 65 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.43 | 0.86 | 2.76 | 3.10 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.198 | 0.080 | 0.066 | 0.187 | 0.253 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 43 | 42 | 71 | 32 | 59 | 95 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.65 | 0.74 | 1.37 | 2.21 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.341 | 0.018 | 0.061 | 0.202 | 0.243 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 58 | 70 | 93 | 49 | 76 | 120 | 0 | 0 | 0 |
N.S. |
1 | 1.21 | 1.60 | 0.84 | 1.31 | 2.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.460 | 0.019 | 0.076 | 0.195 | 0.251 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 35 | 33 | 68 | 32 | 107 | 138 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 1.94 | 0.91 | 3.06 | 3.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.209 | 0.016 | 0.138 | 0.231 | 0.255 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 71 | 71 | 113 | 155 | 108 | 199 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.59 | 2.18 | 1.52 | 2.80 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.383 | 0.038 | 0.148 | 0.198 | 0.248 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 101 | 118 | 149 | 197 | 142 | 248 | 0 | 0 | 0 |
N.S. |
1 | 1.17 | 1.48 | 1.95 | 1.41 | 2.46 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.548 | 0.031 | 0.194 | 0.199 | 0.268 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 168 | 149 | 108 | 160 | 202 | 284 | 0 | 0 | 0 |
N.S. |
1 | 0.89 | 0.64 | 0.95 | 1.20 | 1.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.528 | 0.495 | 0.674 | 0.205 | 0.257 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 177 | 596 | 194 | 396 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 2.82 | 0.92 | 1.88 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.686 | 0.079 | 0.690 | 0.226 | 0.258 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 264 | 289 | 235 | 672 | 254 | 480 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 0.89 | 2.55 | 0.96 | 1.82 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.994 | 0.054 | 1.142 | 0.225 | 0.269 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | A | B |
verified |
N/A | No | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 107 | 91 | 153 | 868 | 184 | 234 | 0 | 157 | 179 |
N.S. |
1 | 0.85 | 1.43 | 8.11 | 1.72 | 2.19 | 0.00 | 1.47 | 1.67 |
time (sec) |
N/A | 0.491 | 0.096 | 3.449 | 0.285 | 0.255 | 0.000 | 0.445 | 4.543 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F | B | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 49 | 46 | 60 | 887 | 64 | 93 | 0 | 147 | 111 |
N.S. |
1 | 0.94 | 1.22 | 18.10 | 1.31 | 1.90 | 0.00 | 3.00 | 2.27 |
time (sec) |
N/A | 0.331 | 0.060 | 0.319 | 0.232 | 0.247 | 0.000 | 0.318 | 4.563 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 45 | 41 | 46 | 37 | 43 | 46 | 56 | 35 | 28 |
N.S. |
1 | 0.91 | 1.02 | 0.82 | 0.96 | 1.02 | 1.24 | 0.78 | 0.62 |
time (sec) |
N/A | 0.306 | 0.043 | 0.168 | 0.207 | 0.235 | 0.562 | 0.280 | 0.173 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 45 | 41 | 46 | 29 | 43 | 57 | 0 | 40 | 28 |
N.S. |
1 | 0.91 | 1.02 | 0.64 | 0.96 | 1.27 | 0.00 | 0.89 | 0.62 |
time (sec) |
N/A | 0.305 | 0.043 | 0.204 | 0.207 | 0.253 | 0.000 | 0.264 | 4.510 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | A | A | F(-1) | B | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 49 | 46 | 59 | 872 | 64 | 92 | 0 | 98 | 119 |
N.S. |
1 | 0.94 | 1.20 | 17.80 | 1.31 | 1.88 | 0.00 | 2.00 | 2.43 |
time (sec) |
N/A | 0.328 | 0.046 | 0.340 | 0.196 | 0.257 | 0.000 | 0.373 | 4.665 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | B | B | F | A | B |
verified |
N/A | No | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 107 | 91 | 150 | 842 | 184 | 233 | 0 | 167 | 187 |
N.S. |
1 | 0.85 | 1.40 | 7.87 | 1.72 | 2.18 | 0.00 | 1.56 | 1.75 |
time (sec) |
N/A | 0.512 | 0.088 | 3.425 | 0.284 | 0.271 | 0.000 | 0.436 | 4.562 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 136 | 136 | 114 | 327 | 0 | 327 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 2.40 | 0.00 | 2.40 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.754 | 0.182 | 150.796 | 0.000 | 0.277 | 0.000 | 0.000 | 0.000 |