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 | A | A | C | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 176 | 306 | 176 | 82 | 0 | 251 | 0 | 0 | 0 |
N.S. |
1 | 1.74 | 1.00 | 0.47 | 0.00 | 1.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.709 | 0.613 | 7.941 | 0.000 | 0.304 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | F | F | B | F | F | F(-1) |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 176 | 180 | 172 | 0 | 0 | 475 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.98 | 0.00 | 0.00 | 2.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.113 | 0.617 | 0.000 | 0.000 | 3.197 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-2) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 176 | 0 | 183 | 117 | 19 | 0 | 17 | 19 | 19 |
N.S. |
1 | 0.00 | 1.04 | 0.66 | 0.11 | 0.00 | 0.10 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.120 | 0.081 | 0.269 | 0.000 | 111.606 | 0.321 | 6.679 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-2) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 176 | 0 | 183 | 117 | 19 | 0 | 17 | 19 | 19 |
N.S. |
1 | 0.00 | 1.04 | 0.66 | 0.11 | 0.00 | 0.10 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.001 | 0.090 | 0.273 | 0.000 | 118.352 | 0.313 | 0.003 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 88 | 167 | 2133 | 0 | 175 | 0 | 0 | 0 |
N.S. |
1 | 0.50 | 0.94 | 12.05 | 0.00 | 0.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.184 | 0.189 | 11.020 | 0.000 | 1.394 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 177 | 420 | 195 | 151 | 29 | 442 | 31 | 273 | 29 |
N.S. |
1 | 2.37 | 1.10 | 0.85 | 0.16 | 2.50 | 0.18 | 1.54 | 0.16 |
time (sec) |
N/A | 1.669 | 0.472 | 61.007 | 0.334 | 0.258 | 1.927 | 0.357 | 6.676 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 177 | 420 | 195 | 151 | 29 | 442 | 31 | 273 | 29 |
N.S. |
1 | 2.37 | 1.10 | 0.85 | 0.16 | 2.50 | 0.18 | 1.54 | 0.16 |
time (sec) |
N/A | 1.522 | 0.001 | 51.896 | 0.305 | 0.260 | 1.886 | 0.359 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 181 | 239 | 146 | 0 | 0 | 0 | 129 | 65 |
N.S. |
1 | 1.02 | 1.35 | 0.82 | 0.00 | 0.00 | 0.00 | 0.73 | 0.37 |
time (sec) |
N/A | 0.412 | 2.683 | 0.975 | 0.000 | 0.000 | 0.000 | 8.225 | 7.107 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 201 | 176 | 257 | 0 | 763 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 0.99 | 1.45 | 0.00 | 4.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.310 | 0.572 | 1.859 | 0.000 | 0.364 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 177 | 224 | 167 | 33 | 35 | 319 | 27 | 35 | 35 |
N.S. |
1 | 1.27 | 0.94 | 0.19 | 0.20 | 1.80 | 0.15 | 0.20 | 0.20 |
time (sec) |
N/A | 0.818 | 0.188 | 0.025 | 0.298 | 0.291 | 3.671 | 0.305 | 6.071 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 177 | 518 | 192 | 19808 | 46 | 1492 | 22 | 46 | 46 |
N.S. |
1 | 2.93 | 1.08 | 111.91 | 0.26 | 8.43 | 0.12 | 0.26 | 0.26 |
time (sec) |
N/A | 0.959 | 0.162 | 56.356 | 0.203 | 0.282 | 1.132 | 0.308 | 6.227 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 0 | 160 | 210 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.90 | 1.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 7.617 | 0.680 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F(-1) | A | A | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 251 | 197 | 565 | 0 | 0 | 299 | 224 | 0 |
N.S. |
1 | 1.42 | 1.11 | 3.19 | 0.00 | 0.00 | 1.69 | 1.27 | 0.00 |
time (sec) |
N/A | 0.943 | 0.394 | 0.096 | 0.000 | 0.000 | 0.577 | 0.649 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 178 | 639 | 127 | 129 | 0 | 356 | 0 | 0 | 0 |
N.S. |
1 | 3.59 | 0.71 | 0.72 | 0.00 | 2.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.359 | 12.479 | 1.061 | 0.000 | 0.727 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 178 | 0 | 130 | 133 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.73 | 0.75 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.382 | 0.245 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | A | F | F(-1) | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 179 | 0 | 149 | 178 | 0 | 1508 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.83 | 0.99 | 0.00 | 8.42 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 1.184 | 1.806 | 0.000 | 1.854 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 179 | 0 | 143 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 11.707 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 179 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 0 | 146 | 130 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.81 | 0.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 15.411 | 1.104 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | C | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 115 | 152 | 178 | 412 | 158 | 153 | 0 | 0 |
N.S. |
1 | 0.64 | 0.84 | 0.99 | 2.29 | 0.88 | 0.85 | 0.00 | 0.00 |
time (sec) |
N/A | 0.240 | 0.607 | 0.296 | 0.289 | 0.316 | 3.474 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 180 | 1731 | 188 | 140 | 21 | 575 | 22 | 967 | 21 |
N.S. |
1 | 9.62 | 1.04 | 0.78 | 0.12 | 3.19 | 0.12 | 5.37 | 0.12 |
time (sec) |
N/A | 2.525 | 0.371 | 5.704 | 0.307 | 0.298 | 0.699 | 33.818 | 5.966 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 180 | 1731 | 188 | 140 | 21 | 575 | 22 | 967 | 21 |
N.S. |
1 | 9.62 | 1.04 | 0.78 | 0.12 | 3.19 | 0.12 | 5.37 | 0.12 |
time (sec) |
N/A | 2.398 | 0.001 | 5.198 | 0.312 | 0.322 | 0.736 | 34.566 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 0 | 168 | 243 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.93 | 1.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.772 | 0.280 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | C | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 0 | 228 | 260 | 0 | 724 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 1.27 | 1.44 | 0.00 | 4.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.802 | 47.076 | 0.000 | 8.368 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | C | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 180 | 0 | 228 | 260 | 0 | 724 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 1.27 | 1.44 | 0.00 | 4.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.001 | 47.875 | 0.000 | 8.200 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 181 | 120 | 162 | 1069 | 0 | 277 | 0 | 0 | 0 |
N.S. |
1 | 0.66 | 0.90 | 5.91 | 0.00 | 1.53 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.198 | 0.211 | 7.887 | 0.000 | 1.196 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 181 | 0 | 144 | 127 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.80 | 0.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 15.332 | 0.448 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 181 | 0 | 134 | 123 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.74 | 0.68 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.330 | 0.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | C | F(-1) | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 181 | 0 | 125 | 117 | 24 | 2096 | 0 | 24 | 24 |
N.S. |
1 | 0.00 | 0.69 | 0.65 | 0.13 | 11.58 | 0.00 | 0.13 | 0.13 |
time (sec) |
N/A | 0.000 | 0.183 | 0.178 | 0.626 | 1.092 | 0.000 | 0.462 | 6.419 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | C | F(-1) | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 181 | 0 | 125 | 117 | 24 | 2096 | 0 | 24 | 24 |
N.S. |
1 | 0.00 | 0.69 | 0.65 | 0.13 | 11.58 | 0.00 | 0.13 | 0.13 |
time (sec) |
N/A | 0.000 | 0.001 | 0.168 | 0.578 | 1.005 | 0.000 | 0.455 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 183 | 0 | 180 | 26 | 28 | 0 | 27 | 28 | 28 |
N.S. |
1 | 0.00 | 0.98 | 0.14 | 0.15 | 0.00 | 0.15 | 0.15 | 0.15 |
time (sec) |
N/A | 0.000 | 0.713 | 0.210 | 0.284 | 0.000 | 0.754 | 0.335 | 6.243 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 183 | 0 | 180 | 26 | 28 | 0 | 27 | 28 | 28 |
N.S. |
1 | 0.00 | 0.98 | 0.14 | 0.15 | 0.00 | 0.15 | 0.15 | 0.15 |
time (sec) |
N/A | 0.000 | 0.001 | 0.002 | 0.279 | 0.000 | 0.770 | 0.336 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | A | A | C | F | B |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 184 | 198 | 65 | 0 | 219 | 405 | 345 | 0 | 250 |
N.S. |
1 | 1.08 | 0.35 | 0.00 | 1.19 | 2.20 | 1.88 | 0.00 | 1.36 |
time (sec) |
N/A | 0.441 | 10.051 | 0.000 | 0.269 | 118.789 | 2.713 | 0.000 | 7.055 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 184 | 100 | 227 | 282 | 0 | 788 | 0 | 0 | 0 |
N.S. |
1 | 0.54 | 1.23 | 1.53 | 0.00 | 4.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.569 | 1.398 | 40.818 | 0.000 | 8.314 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | N/A | N/A | C | F(-1) | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 184 | 226 | 138 | 152 | 34 | 306 | 0 | 55 | 34 |
N.S. |
1 | 1.23 | 0.75 | 0.83 | 0.18 | 1.66 | 0.00 | 0.30 | 0.18 |
time (sec) |
N/A | 0.999 | 0.359 | 6.901 | 0.212 | 0.267 | 0.000 | 0.307 | 6.624 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | A | F(-1) | B | F(-1) |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 184 | 144 | 144 | 115 | 0 | 214 | 0 | 253 | 0 |
N.S. |
1 | 0.78 | 0.78 | 0.62 | 0.00 | 1.16 | 0.00 | 1.38 | 0.00 |
time (sec) |
N/A | 1.745 | 0.285 | 0.178 | 0.000 | 0.264 | 0.000 | 8.389 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | C | F | F(-2) | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 185 | 238 | 148 | 2045 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.29 | 0.80 | 11.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.711 | 0.234 | 12.804 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | F(-2) | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 937 | 200 | 130 | 22 | 503 | 17 | 0 | 22 |
N.S. |
1 | 5.06 | 1.08 | 0.70 | 0.12 | 2.72 | 0.09 | 0.00 | 0.12 |
time (sec) |
N/A | 1.237 | 0.227 | 8.072 | 0.219 | 0.306 | 0.418 | 0.000 | 6.065 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | F(-2) | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 937 | 200 | 130 | 22 | 503 | 17 | 0 | 22 |
N.S. |
1 | 5.06 | 1.08 | 0.70 | 0.12 | 2.72 | 0.09 | 0.00 | 0.12 |
time (sec) |
N/A | 1.199 | 0.001 | 5.682 | 0.214 | 0.285 | 0.409 | 0.000 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 185 | 100 | 224 | 281 | 0 | 783 | 0 | 0 | 0 |
N.S. |
1 | 0.54 | 1.21 | 1.52 | 0.00 | 4.23 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.563 | 1.272 | 39.499 | 0.000 | 8.247 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 185 | 250 | 181 | 175 | 0 | 319 | 0 | 0 | 0 |
N.S. |
1 | 1.35 | 0.98 | 0.95 | 0.00 | 1.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.601 | 0.564 | 15.500 | 0.000 | 2.383 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 185 | 100 | 216 | 281 | 0 | 733 | 0 | 0 | 0 |
N.S. |
1 | 0.54 | 1.17 | 1.52 | 0.00 | 3.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.526 | 1.195 | 52.122 | 0.000 | 31.698 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 185 | 100 | 216 | 281 | 0 | 733 | 0 | 0 | 0 |
N.S. |
1 | 0.54 | 1.17 | 1.52 | 0.00 | 3.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.526 | 0.001 | 53.672 | 0.000 | 31.702 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 244 | 138 | 0 | 0 | 168 | 0 | 0 | 0 |
N.S. |
1 | 1.32 | 0.75 | 0.00 | 0.00 | 0.91 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.372 | 0.325 | 0.000 | 0.000 | 0.276 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | B | F(-1) | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 186 | 0 | 263 | 265 | 0 | 723 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 1.41 | 1.42 | 0.00 | 3.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 4.573 | 6.056 | 0.000 | 0.505 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | F(-1) | N/A | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 1559 | 33 | 41 | 27 | 60 | 0 | 27 | 27 |
N.S. |
1 | 8.38 | 0.18 | 0.22 | 0.15 | 0.32 | 0.00 | 0.15 | 0.15 |
time (sec) |
N/A | 2.771 | 0.479 | 5.327 | 0.304 | 0.294 | 0.000 | 1.646 | 6.175 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 186 | 125 | 137 | 137 | 0 | 399 | 0 | 0 | 0 |
N.S. |
1 | 0.67 | 0.74 | 0.74 | 0.00 | 2.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.537 | 0.129 | 0.898 | 0.000 | 0.262 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | F | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 0 | 177 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.444 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-2) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 0 | 184 | 271 | 21 | 0 | 20 | 21 | 21 |
N.S. |
1 | 0.00 | 0.99 | 1.46 | 0.11 | 0.00 | 0.11 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.335 | 0.142 | 0.219 | 0.000 | 1.255 | 0.800 | 6.160 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-2) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 186 | 0 | 184 | 271 | 21 | 0 | 20 | 21 | 21 |
N.S. |
1 | 0.00 | 0.99 | 1.46 | 0.11 | 0.00 | 0.11 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.001 | 0.090 | 0.228 | 0.000 | 1.266 | 0.794 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 90 | 155 | 90 | 0 | 250 | 0 | 0 | 0 |
N.S. |
1 | 0.48 | 0.83 | 0.48 | 0.00 | 1.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.591 | 4.048 | 1.190 | 0.000 | 0.626 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 90 | 155 | 90 | 0 | 250 | 0 | 0 | 0 |
N.S. |
1 | 0.48 | 0.83 | 0.48 | 0.00 | 1.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.578 | 3.948 | 1.107 | 0.000 | 0.638 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | F(-1) | N/A | C | F(-1) | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 187 | 0 | 182 | 0 | 33 | 5503 | 0 | 33 | 35 |
N.S. |
1 | 0.00 | 0.97 | 0.00 | 0.18 | 29.43 | 0.00 | 0.18 | 0.19 |
time (sec) |
N/A | 0.000 | 0.145 | 0.000 | 0.223 | 1.122 | 0.000 | 0.320 | 6.337 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 187 | 637 | 198 | 106 | 30 | 648 | 22 | 329 | 31 |
N.S. |
1 | 3.41 | 1.06 | 0.57 | 0.16 | 3.47 | 0.12 | 1.76 | 0.17 |
time (sec) |
N/A | 1.992 | 0.398 | 0.435 | 0.221 | 0.284 | 1.809 | 118.855 | 6.392 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 187 | 637 | 198 | 106 | 30 | 648 | 22 | 329 | 31 |
N.S. |
1 | 3.41 | 1.06 | 0.57 | 0.16 | 3.47 | 0.12 | 1.76 | 0.17 |
time (sec) |
N/A | 1.831 | 0.003 | 0.002 | 0.242 | 0.289 | 1.813 | 117.062 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 46 | 218 | 281 | 0 | 718 | 0 | 0 | 0 |
N.S. |
1 | 0.25 | 1.17 | 1.50 | 0.00 | 3.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.318 | 0.840 | 53.649 | 0.000 | 3.711 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 46 | 218 | 281 | 0 | 718 | 0 | 0 | 0 |
N.S. |
1 | 0.25 | 1.17 | 1.50 | 0.00 | 3.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.311 | 0.002 | 52.769 | 0.000 | 3.648 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | C | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 392 | 188 | 37 | 0 | 1185 | 0 | 0 | 0 |
N.S. |
1 | 2.10 | 1.01 | 0.20 | 0.00 | 6.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.289 | 1.045 | 53.916 | 0.000 | 11.066 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | C | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 392 | 188 | 37 | 0 | 1185 | 0 | 0 | 0 |
N.S. |
1 | 2.10 | 1.01 | 0.20 | 0.00 | 6.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.245 | 0.003 | 53.156 | 0.000 | 11.083 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 77 | 216 | 281 | 0 | 733 | 0 | 0 | 0 |
N.S. |
1 | 0.41 | 1.16 | 1.50 | 0.00 | 3.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.565 | 1.315 | 55.078 | 0.000 | 32.530 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 187 | 77 | 216 | 281 | 0 | 733 | 0 | 0 | 0 |
N.S. |
1 | 0.41 | 1.16 | 1.50 | 0.00 | 3.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.528 | 0.001 | 53.096 | 0.000 | 32.729 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | C | F | B | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 188 | 120 | 173 | 217 | 0 | 269 | 0 | 317 | 0 |
N.S. |
1 | 0.64 | 0.92 | 1.15 | 0.00 | 1.43 | 0.00 | 1.69 | 0.00 |
time (sec) |
N/A | 0.281 | 0.573 | 1.332 | 0.000 | 0.260 | 0.000 | 0.290 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | C | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 189 | 910 | 151 | 1121 | 0 | 467 | 0 | 0 | 0 |
N.S. |
1 | 4.81 | 0.80 | 5.93 | 0.00 | 2.47 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.658 | 5.370 | 0.586 | 0.000 | 0.335 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 521 | 226 | 174 | 41 | 1185 | 31 | 41 | 41 |
N.S. |
1 | 2.76 | 1.20 | 0.92 | 0.22 | 6.27 | 0.16 | 0.22 | 0.22 |
time (sec) |
N/A | 1.148 | 0.526 | 0.872 | 0.265 | 0.295 | 2.924 | 0.505 | 6.600 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 521 | 226 | 174 | 41 | 1185 | 31 | 41 | 41 |
N.S. |
1 | 2.76 | 1.20 | 0.92 | 0.22 | 6.27 | 0.16 | 0.22 | 0.22 |
time (sec) |
N/A | 1.025 | 0.001 | 0.221 | 0.223 | 0.282 | 2.811 | 0.506 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | B | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 189 | 0 | 145 | 180 | 0 | 1659 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.77 | 0.95 | 0.00 | 8.78 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 1.000 | 2.609 | 0.000 | 0.594 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | F(-2) | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 302 | 216 | 112 | 27 | 3589 | 39 | 0 | 27 |
N.S. |
1 | 1.60 | 1.14 | 0.59 | 0.14 | 18.99 | 0.21 | 0.00 | 0.14 |
time (sec) |
N/A | 0.990 | 0.267 | 121.287 | 0.255 | 5.145 | 1.266 | 0.000 | 6.179 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | N/A | N/A | C | N/A | F(-2) | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 302 | 216 | 112 | 27 | 3589 | 39 | 0 | 27 |
N.S. |
1 | 1.60 | 1.14 | 0.59 | 0.14 | 18.99 | 0.21 | 0.00 | 0.14 |
time (sec) |
N/A | 0.971 | 0.003 | 118.734 | 0.243 | 4.999 | 1.207 | 0.000 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | B | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 189 | 0 | 151 | 149 | 0 | 1321 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.80 | 0.79 | 0.00 | 6.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 1.472 | 1.082 | 0.000 | 2.155 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | F | F | A | F | F | F(-1) |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 0 | 163 | 0 | 0 | 180 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.86 | 0.00 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.516 | 0.000 | 0.000 | 0.620 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | C | A | F | F | B | F | F | F(-1) |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 405 | 172 | 0 | 0 | 520 | 0 | 0 | 0 |
N.S. |
1 | 2.14 | 0.91 | 0.00 | 0.00 | 2.75 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.497 | 1.092 | 0.000 | 0.000 | 4.092 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | B | F | F(-1) | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 189 | 0 | 151 | 149 | 0 | 1321 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.80 | 0.79 | 0.00 | 6.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 7.174 | 6.114 | 0.000 | 49.976 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | C | N/A | F(-2) | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 0 | 189 | 46 | 48 | 1411098 | 46 | 0 | 48 |
N.S. |
1 | 0.00 | 1.00 | 0.24 | 0.25 | 7466.13 | 0.24 | 0.00 | 0.25 |
time (sec) |
N/A | 0.000 | 0.382 | 0.019 | 1.283 | 3.165 | 0.973 | 0.000 | 6.359 |
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 | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 190 | 70 | 124 | 616 | 0 | 1059 | 0 | 0 | 0 |
N.S. |
1 | 0.37 | 0.65 | 3.24 | 0.00 | 5.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.164 | 4.128 | 3.764 | 0.000 | 1.137 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 190 | 488 | 227 | 175 | 41 | 1225 | 31 | 41 | 41 |
N.S. |
1 | 2.57 | 1.19 | 0.92 | 0.22 | 6.45 | 0.16 | 0.22 | 0.22 |
time (sec) |
N/A | 1.064 | 0.536 | 0.343 | 0.223 | 0.287 | 2.793 | 0.507 | 6.362 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | N/A | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 190 | 488 | 227 | 175 | 41 | 1225 | 31 | 41 | 41 |
N.S. |
1 | 2.57 | 1.19 | 0.92 | 0.22 | 6.45 | 0.16 | 0.22 | 0.22 |
time (sec) |
N/A | 0.931 | 0.005 | 0.200 | 0.214 | 0.284 | 2.841 | 0.519 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 190 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | C | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 190 | 0 | 250 | 235 | 0 | 763 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 1.32 | 1.24 | 0.00 | 4.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.949 | 26.960 | 0.000 | 3.683 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | A | F(-1) |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 160 | 200 | 150 | 0 | 0 | 0 | 187 | 0 |
N.S. |
1 | 0.84 | 1.05 | 0.79 | 0.00 | 0.00 | 0.00 | 0.98 | 0.00 |
time (sec) |
N/A | 0.304 | 4.818 | 0.996 | 0.000 | 0.000 | 0.000 | 0.301 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 191 | 658 | 210 | 110 | 31 | 657 | 22 | 336 | 32 |
N.S. |
1 | 3.45 | 1.10 | 0.58 | 0.16 | 3.44 | 0.12 | 1.76 | 0.17 |
time (sec) |
N/A | 2.182 | 0.413 | 0.416 | 0.216 | 0.285 | 2.182 | 117.644 | 6.343 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | C | N/A | C | N/A |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 191 | 658 | 210 | 110 | 31 | 657 | 22 | 336 | 32 |
N.S. |
1 | 3.45 | 1.10 | 0.58 | 0.16 | 3.44 | 0.12 | 1.76 | 0.17 |
time (sec) |
N/A | 1.999 | 0.001 | 0.002 | 0.232 | 0.288 | 2.163 | 121.093 | 0.003 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | F(-2) | F(-1) | N/A | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 191 | 1249 | 226 | 206 | 26 | 0 | 0 | 3 | 26 |
N.S. |
1 | 6.54 | 1.18 | 1.08 | 0.14 | 0.00 | 0.00 | 0.02 | 0.14 |
time (sec) |
N/A | 5.002 | 8.574 | 0.555 | 0.301 | 0.000 | 0.000 | 3.406 | 6.190 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | N/A | N/A | F(-2) | F(-1) | N/A | N/A |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 191 | 1249 | 226 | 206 | 26 | 0 | 0 | 3 | 26 |
N.S. |
1 | 6.54 | 1.18 | 1.08 | 0.14 | 0.00 | 0.00 | 0.02 | 0.14 |
time (sec) |
N/A | 4.773 | 0.004 | 0.003 | 0.313 | 0.000 | 0.000 | 3.376 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | A | F | F(-2) | F(-1) | F | F(-1) |
verified |
N/A | N/A | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 0 | 0 | 160 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.00 | 0.84 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.000 | 6.362 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | A | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 191 | 0 | 157 | 178 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.82 | 0.93 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.442 | 0.254 | 0.000 | 9.309 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | F | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 192 | 0 | 151 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 15.480 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | F | F | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 192 | 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 |
time (sec) |
N/A | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F | A | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 192 | 368 | 244 | 226 | 0 | 0 | 0 | 237 | 0 |
N.S. |
1 | 1.92 | 1.27 | 1.18 | 0.00 | 0.00 | 0.00 | 1.23 | 0.00 |
time (sec) |
N/A | 1.663 | 10.677 | 1.677 | 0.000 | 0.000 | 0.000 | 0.343 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 192 | 0 | 154 | 188 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.80 | 0.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 0.495 | 0.303 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 192 | 0 | 190 | 526 | 22 | 0 | 22 | 22 | 22 |
N.S. |
1 | 0.00 | 0.99 | 2.74 | 0.11 | 0.00 | 0.11 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.385 | 0.216 | 0.238 | 0.000 | 1.554 | 1.062 | 6.081 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 192 | 0 | 190 | 526 | 22 | 0 | 22 | 22 | 22 |
N.S. |
1 | 0.00 | 0.99 | 2.74 | 0.11 | 0.00 | 0.11 | 0.11 | 0.11 |
time (sec) |
N/A | 0.000 | 0.002 | 0.091 | 0.227 | 0.000 | 1.499 | 1.057 | 0.002 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | A | A | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 269 | 201 | 588 | 355 | 419 | 0 | 231 | 305 |
N.S. |
1 | 1.39 | 1.04 | 3.05 | 1.84 | 2.17 | 0.00 | 1.20 | 1.58 |
time (sec) |
N/A | 0.359 | 10.297 | 0.089 | 0.281 | 0.318 | 0.000 | 0.337 | 0.855 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 245 | 166 | 116 | 0 | 253 | 0 | 0 | 0 |
N.S. |
1 | 1.27 | 0.86 | 0.60 | 0.00 | 1.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.218 | 0.428 | 0.659 | 0.000 | 0.304 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 96 | 158 | 160 | 0 | 1809 | 0 | 0 | 0 |
N.S. |
1 | 0.50 | 0.82 | 0.83 | 0.00 | 9.37 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.587 | 4.396 | 2.460 | 0.000 | 1.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | A | A | F | A | F | A | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 416 | 253 | 204 | 0 | 185 | 0 | 197 | 0 |
N.S. |
1 | 2.16 | 1.31 | 1.06 | 0.00 | 0.96 | 0.00 | 1.02 | 0.00 |
time (sec) |
N/A | 0.555 | 0.705 | 0.636 | 0.000 | 0.284 | 0.000 | 0.311 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | A | A | F | B | F | F | F(-1) |
verified |
N/A | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 0 | 150 | 181 | 0 | 1661 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 0.78 | 0.94 | 0.00 | 8.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 1.032 | 2.118 | 0.000 | 0.612 | 0.000 | 0.000 | 0.000 |