[prev] [prev-tail] [tail] [up]

Integrals 101 to 182

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

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

436 582 422 14861 0 10812 0 0 26 0

N.S.

1 1.33 0.97 34.08 0.00 24.80 0.00 0.00 0.06 0.00

time (sec)

N/A 1.370 2.663 1.734 0.000 141.415 0.000 0.000 200.033 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 363 2336 0 0 0 0 68 0

N.S.

1 1.00 1.08 6.93 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 1.039 1.607 1.625 0.000 0.000 0.000 0.000 0.707 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 229 1383 0 1913 0 0 31 0

N.S.

1 1.00 0.95 5.76 0.00 7.97 0.00 0.00 0.13 0.00

time (sec)

N/A 0.465 10.404 1.500 0.000 5.353 0.000 0.000 0.345 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 286 1415 0 4325 0 0 36 0

N.S.

1 1.00 1.24 6.15 0.00 18.80 0.00 0.00 0.16 0.00

time (sec)

N/A 0.432 1.420 1.637 0.000 13.013 0.000 0.000 0.330 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

347 354 383 10977 0 11846 0 0 72 0

N.S.

1 1.02 1.10 31.63 0.00 34.14 0.00 0.00 0.21 0.00

time (sec)

N/A 0.673 1.535 1.798 0.000 45.693 0.000 0.000 0.924 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B F F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

414 574 336 8264 0 0 0 0 116 0

N.S.

1 1.39 0.81 19.96 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 1.328 10.974 1.187 0.000 0.000 0.000 0.000 3.338 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

351 340 361 5383 0 5844 0 0 55 0

N.S.

1 0.97 1.03 15.34 0.00 16.65 0.00 0.00 0.16 0.00

time (sec)

N/A 0.831 2.031 1.638 0.000 37.100 0.000 0.000 0.895 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

347 354 383 10977 0 12028 0 0 72 0

N.S.

1 1.02 1.10 31.63 0.00 34.66 0.00 0.00 0.21 0.00

time (sec)

N/A 0.746 1.449 1.725 0.000 72.182 0.000 0.000 0.843 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B F F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

416 543 477 30656 0 0 0 0 150 0

N.S.

1 1.31 1.15 73.69 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 1.186 2.862 1.678 0.000 0.000 0.000 0.000 29.600 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

1063 1311 1172 1824 0 765 0 0 0 0

N.S.

1 1.23 1.10 1.72 0.00 0.72 0.00 0.00 0.00 0.00

time (sec)

N/A 3.649 32.700 4.994 0.000 0.094 0.000 0.000 15.665 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

809 1041 809 1142 0 510 0 0 1044 0

N.S.

1 1.29 1.00 1.41 0.00 0.63 0.00 0.00 1.29 0.00

time (sec)

N/A 2.607 29.158 2.990 0.000 0.099 0.000 0.000 7.679 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

600 784 610 794 0 343 0 0 515 0

N.S.

1 1.31 1.02 1.32 0.00 0.57 0.00 0.00 0.86 0.00

time (sec)

N/A 1.065 26.601 2.553 0.000 0.104 0.000 0.000 3.421 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

511 693 521 602 0 229 0 0 237 0

N.S.

1 1.36 1.02 1.18 0.00 0.45 0.00 0.00 0.46 0.00

time (sec)

N/A 0.830 24.376 1.520 0.000 0.086 0.000 0.000 1.342 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F C A F F(-1) F F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

725 0 1216 922 0 0 0 0 26 0

N.S.

1 0.00 1.68 1.27 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 30.346 4.244 0.000 0.000 0.000 0.000 200.017 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

720 1547 1331 895 0 0 0 0 0 0

N.S.

1 2.15 1.85 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.963 30.154 1.161 0.000 0.000 0.000 0.000 22.245 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

963 2763 2703 1161 0 0 0 0 0 0

N.S.

1 2.87 2.81 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.330 32.769 1.579 0.000 0.000 0.000 0.000 84.182 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

871 1085 872 1156 0 578 0 0 1170 0

N.S.

1 1.25 1.00 1.33 0.00 0.66 0.00 0.00 1.34 0.00

time (sec)

N/A 2.827 31.386 5.128 0.000 0.096 0.000 0.000 11.308 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

672 878 665 848 0 409 0 0 638 0

N.S.

1 1.31 0.99 1.26 0.00 0.61 0.00 0.00 0.95 0.00

time (sec)

N/A 1.661 27.419 3.949 0.000 0.090 0.000 0.000 5.523 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

520 698 545 678 0 268 0 0 343 0

N.S.

1 1.34 1.05 1.30 0.00 0.52 0.00 0.00 0.66 0.00

time (sec)

N/A 0.918 26.253 2.247 0.000 0.100 0.000 0.000 2.586 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

462 639 456 584 0 208 0 0 24 0

N.S.

1 1.38 0.99 1.26 0.00 0.45 0.00 0.00 0.05 0.00

time (sec)

N/A 0.710 23.305 1.550 0.000 0.085 0.000 0.000 0.654 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

670 1496 1096 833 0 0 0 0 26 0

N.S.

1 2.23 1.64 1.24 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 2.680 27.007 1.905 0.000 0.000 0.000 0.000 200.027 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

743 1559 1336 921 0 0 0 0 61 0

N.S.

1 2.10 1.80 1.24 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 4.583 29.119 3.300 0.000 0.000 0.000 0.000 11.407 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F(-1) F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

965 2774 2714 1196 0 0 0 0 85 0

N.S.

1 2.87 2.81 1.24 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 9.228 32.629 5.868 0.000 0.000 0.000 0.000 48.322 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

742 916 777 882 0 445 0 0 852 0

N.S.

1 1.23 1.05 1.19 0.00 0.60 0.00 0.00 1.15 0.00

time (sec)

N/A 3.126 28.163 5.059 0.000 0.108 0.000 0.000 8.510 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

596 764 591 700 0 300 0 0 547 0

N.S.

1 1.28 0.99 1.17 0.00 0.50 0.00 0.00 0.92 0.00

time (sec)

N/A 2.033 26.805 3.266 0.000 0.092 0.000 0.000 4.145 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

478 667 464 602 0 227 0 0 279 0

N.S.

1 1.40 0.97 1.26 0.00 0.47 0.00 0.00 0.58 0.00

time (sec)

N/A 1.291 24.885 2.263 0.000 0.093 0.000 0.000 2.097 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

423 583 294 396 0 173 0 0 26 0

N.S.

1 1.38 0.70 0.94 0.00 0.41 0.00 0.00 0.06 0.00

time (sec)

N/A 1.093 20.571 0.897 0.000 0.085 0.000 0.000 0.770 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

415 1112 300 439 0 0 0 0 39 0

N.S.

1 2.68 0.72 1.06 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 3.308 22.052 2.800 0.000 0.000 0.000 0.000 77.285 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

754 1567 1330 922 0 0 0 0 63 0

N.S.

1 2.08 1.76 1.22 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 4.691 28.092 4.797 0.000 0.000 0.000 0.000 19.665 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

983 2782 2937 1224 0 0 0 0 87 0

N.S.

1 2.83 2.99 1.25 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 9.162 32.809 7.598 0.000 0.000 0.000 0.000 77.517 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F F(-1) F F F F(-1)

verified

N/A No No Yes TBD TBD TBD TBD TBD TBD

size

726 1299 927 852 0 0 0 0 84 0

N.S.

1 1.79 1.28 1.17 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 5.815 11.249 3.777 0.000 0.000 0.000 0.000 103.856 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

740 1848 1440 948 0 0 0 0 26 0

N.S.

1 2.50 1.95 1.28 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 7.515 31.200 7.392 0.000 0.000 0.000 0.000 200.037 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

606 831 619 711 0 319 0 0 487 0

N.S.

1 1.37 1.02 1.17 0.00 0.53 0.00 0.00 0.80 0.00

time (sec)

N/A 2.201 26.992 5.128 0.000 0.121 0.000 0.000 4.616 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

489 697 473 614 0 246 0 0 212 0

N.S.

1 1.43 0.97 1.26 0.00 0.50 0.00 0.00 0.43 0.00

time (sec)

N/A 1.578 25.104 4.726 0.000 0.124 0.000 0.000 2.122 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

424 614 439 520 0 180 0 0 84 0

N.S.

1 1.45 1.04 1.23 0.00 0.42 0.00 0.00 0.20 0.00

time (sec)

N/A 1.151 23.034 2.832 0.000 0.139 0.000 0.000 1.317 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F A F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

193 233 186 200 0 66 0 0 39 0

N.S.

1 1.21 0.96 1.04 0.00 0.34 0.00 0.00 0.20 0.00

time (sec)

N/A 0.514 21.262 2.226 0.000 0.115 0.000 0.000 0.624 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

228 867 311 235 0 0 0 0 26 0

N.S.

1 3.80 1.36 1.03 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.732 23.088 4.618 0.000 0.000 0.000 0.000 200.033 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

778 1586 1349 995 0 0 0 0 121 0

N.S.

1 2.04 1.73 1.28 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 4.859 29.028 6.355 0.000 0.000 0.000 0.000 14.995 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F(-1) F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

995 2800 2990 1192 0 0 0 0 173 0

N.S.

1 2.81 3.01 1.20 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 8.981 33.552 11.381 0.000 0.000 0.000 0.000 48.358 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

196 826 261 215 0 0 0 0 26 0

N.S.

1 4.21 1.33 1.10 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.784 22.589 4.280 0.000 0.000 0.000 0.000 200.038 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

740 1176 468 929 0 0 0 0 121 0

N.S.

1 1.59 0.63 1.26 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 5.568 24.483 6.065 0.000 0.000 0.000 0.000 10.783 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B C A F F(-1) F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

892 1795 1917 1079 0 0 0 0 173 0

N.S.

1 2.01 2.15 1.21 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 7.725 31.132 10.987 0.000 0.000 0.000 0.000 30.105 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 126 140 0 0 0 0 43 0

N.S.

1 1.00 0.64 0.71 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.436 35.281 1.209 0.000 0.000 0.000 0.000 1.186 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F C C F F F F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

428 0 261 497 0 0 0 0 53 0

N.S.

1 0.00 0.61 1.16 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.000 18.581 1.202 0.000 0.000 0.000 0.000 1.231 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C C C F F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD TBD

size

550 119 239 160 0 0 0 0 38 0

N.S.

1 0.22 0.43 0.29 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 0.342 15.493 0.926 0.000 0.000 0.000 0.000 1.203 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A F F F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD TBD

size

461 454 344 401 0 0 0 0 26 0

N.S.

1 0.98 0.75 0.87 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 0.845 25.148 11.057 0.000 0.000 0.000 0.000 200.042 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B F A F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD TBD

size

31 52 107 58 0 4 0 0 33 0

N.S.

1 1.68 3.45 1.87 0.00 0.13 0.00 0.00 1.06 0.00

time (sec)

N/A 0.310 35.566 2.062 0.000 0.084 0.000 0.000 0.262 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A B F F F F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

625 0 704 2020 0 0 0 0 27 0

N.S.

1 0.00 1.13 3.23 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 29.053 11.152 0.000 0.000 0.000 0.000 200.043 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F C B F F F F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

985 0 777 2091 0 0 0 0 26 0

N.S.

1 0.00 0.79 2.12 0.00 0.00 0.00 0.00 0.03 0.00

time (sec)

N/A 0.000 30.058 10.737 0.000 0.000 0.000 0.000 200.066 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 167 871 461 1019 10508 1814 1209 965

N.S.

1 1.00 0.89 4.63 2.45 5.42 55.89 9.65 6.43 5.13

time (sec)

N/A 0.613 0.297 0.704 0.051 0.093 2.593 0.130 0.404 6.893

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 122 342 238 443 3958 768 481 446

N.S.

1 1.00 0.99 2.78 1.93 3.60 32.18 6.24 3.91 3.63

time (sec)

N/A 0.470 0.318 0.595 0.054 0.087 1.304 0.118 0.226 6.592

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

118 118 95 0 0 0 0 0 729 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 6.18 0.00

time (sec)

N/A 0.449 0.256 0.000 0.000 0.000 0.000 0.000 0.262 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

133 157 122 0 0 0 0 0 0 0

N.S.

1 1.18 0.92 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.560 0.217 0.000 0.000 0.000 0.000 0.000 0.262 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

183 219 145 0 0 0 0 0 0 0

N.S.

1 1.20 0.79 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.618 0.238 0.000 0.000 0.000 0.000 0.000 0.421 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

194 221 140 0 0 0 0 0 0 0

N.S.

1 1.14 0.72 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.665 0.329 0.000 0.000 0.000 0.000 0.000 0.364 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 325 2306 1041 2887 37262 5187 3638 2508

N.S.

1 1.00 0.91 6.46 2.92 8.09 104.38 14.53 10.19 7.03

time (sec)

N/A 1.012 0.609 0.887 0.082 0.125 7.898 0.158 0.227 7.163

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 354 1085 575 1419 16458 2435 1638 1229

N.S.

1 1.00 1.55 4.76 2.52 6.22 72.18 10.68 7.18 5.39

time (sec)

N/A 0.720 0.704 0.705 0.061 0.103 3.913 0.135 0.252 6.656

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

237 237 215 0 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.725 0.428 0.000 0.000 0.000 0.000 0.000 0.279 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

245 284 216 0 0 0 0 0 0 0

N.S.

1 1.16 0.88 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.483 0.471 0.000 0.000 0.000 0.000 0.000 0.295 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

302 373 221 0 0 0 0 0 0 0

N.S.

1 1.24 0.73 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.111 0.681 0.000 0.000 0.000 0.000 0.000 0.498 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

202 228 159 0 0 0 0 0 0 0

N.S.

1 1.13 0.79 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.629 0.457 0.000 0.000 0.000 0.000 0.000 0.690 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

411 413 0 0 0 0 0 0 26 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 1.031 0.000 0.000 0.000 0.000 0.000 0.000 200.037 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

318 318 0 0 0 0 0 0 42 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.610 0.000 0.000 0.000 0.000 0.000 0.000 0.721 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD TBD

size

154 154 159 0 0 0 0 0 18 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.399 0.269 0.000 0.000 0.000 0.000 0.000 0.253 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 26 26 22 26 26 26

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.85 1.00 1.00 1.00

time (sec)

N/A 0.290 1.302 0.972 0.081 0.079 7.601 0.118 200.030 6.481

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

404 411 0 0 0 0 0 0 77 0

N.S.

1 1.02 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.943 0.000 0.000 0.000 0.000 0.000 0.000 0.507 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

318 318 0 0 0 0 0 0 46 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.617 0.000 0.000 0.000 0.000 0.000 0.000 0.346 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

154 154 159 0 0 0 0 0 20 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.396 0.286 0.000 0.000 0.000 0.000 0.000 0.251 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A 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 TBD

size

26 26 28 24 26 41 22 26 26 26

N.S.

1 1.00 1.08 0.92 1.00 1.58 0.85 1.00 1.00 1.00

time (sec)

N/A 0.269 2.749 0.990 0.106 0.086 6.890 0.121 200.035 10.166

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F(-1) A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

107 106 74 75 71 93 0 181 54 114

N.S.

1 0.99 0.69 0.70 0.66 0.87 0.00 1.69 0.50 1.07

time (sec)

N/A 0.463 4.741 1.093 0.048 0.083 0.000 0.128 0.295 6.604

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD TBD

size

84 1 50 43 21 72 0 27 21 74

N.S.

1 0.01 0.60 0.51 0.25 0.86 0.00 0.32 0.25 0.88

time (sec)

N/A 0.259 1.668 1.483 0.043 0.085 0.000 0.116 0.238 6.725

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F(-2) F F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD TBD

size

233 248 175 0 0 0 0 0 0 0

N.S.

1 1.06 0.75 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.719 0.246 0.000 0.000 0.000 0.000 0.000 0.850 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

430 430 0 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.046 0.000 0.000 0.000 0.000 0.000 0.000 1.567 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

314 314 0 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.637 0.000 0.000 0.000 0.000 0.000 0.000 0.480 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F(-1) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

152 152 157 0 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.401 0.082 0.000 0.000 0.000 0.000 0.000 0.266 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 0 26 6068 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.00 1.08 252.83 1.08

time (sec)

N/A 0.270 1.249 1.128 0.085 0.089 0.000 0.118 0.985 6.031

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F F F F F(-1) 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 420 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.233 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F F F F F(-1) F F F(-1)

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

467 0 0 0 0 0 0 0 251 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.245 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A F F F F F(-1) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD TBD

size

377 377 0 0 0 0 0 0 122 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 0.882 0.000 0.000 0.000 0.000 0.000 0.000 0.312 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD TBD

size

155 155 160 0 0 0 0 0 38 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.401 0.155 0.000 0.000 0.000 0.000 0.000 0.222 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 26 28 28 30 30 0 30 38 30

N.S.

1 1.00 1.08 1.08 1.15 1.15 0.00 1.15 1.46 1.15

time (sec)

N/A 0.262 1.212 1.220 0.087 0.090 0.000 0.116 0.237 7.041

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

28 28 30 28 30 41 0 30 122 30

N.S.

1 1.00 1.07 1.00 1.07 1.46 0.00 1.07 4.36 1.07

time (sec)

N/A 0.267 1.239 1.178 0.099 0.237 0.000 0.226 0.246 8.751

[prev] [prev-tail] [front] [up]