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

Integrals 101 to 180

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 A A A A A A B F(-1)

verified

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

size

147 172 85 65 138 88 83 83 154 0

N.S.

1 1.17 0.58 0.44 0.94 0.60 0.56 0.56 1.05 0.00

time (sec)

N/A 0.408 0.913 3.146 0.114 0.081 0.456 0.119 0.233 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 120 75 55 104 78 70 73 122 0

N.S.

1 1.14 0.71 0.52 0.99 0.74 0.67 0.70 1.16 0.00

time (sec)

N/A 0.274 0.600 1.876 0.108 0.068 0.400 0.113 0.195 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 208 228 501 0 542 0 0 229 0

N.S.

1 1.06 1.16 2.54 0.00 2.75 0.00 0.00 1.16 0.00

time (sec)

N/A 0.653 0.549 5.009 0.000 0.096 0.000 0.000 0.509 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 248 416 604 0 574 0 0 425 0

N.S.

1 1.01 1.69 2.46 0.00 2.33 0.00 0.00 1.73 0.00

time (sec)

N/A 0.788 0.900 5.679 0.000 0.101 0.000 0.000 0.238 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 234 572 483 0 618 0 0 698 0

N.S.

1 1.05 2.57 2.17 0.00 2.77 0.00 0.00 3.13 0.00

time (sec)

N/A 0.594 1.236 6.499 0.000 0.092 0.000 0.000 0.279 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

254 304 115 95 235 118 124 113 250 0

N.S.

1 1.20 0.45 0.37 0.93 0.46 0.49 0.44 0.98 0.00

time (sec)

N/A 0.881 2.253 2.365 0.117 0.076 0.726 0.136 0.425 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

212 252 105 85 201 108 110 103 218 0

N.S.

1 1.19 0.50 0.40 0.95 0.51 0.52 0.49 1.03 0.00

time (sec)

N/A 0.624 1.617 2.490 0.112 0.081 0.652 0.131 0.324 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 200 95 75 167 98 95 93 186 0

N.S.

1 1.18 0.56 0.44 0.98 0.58 0.56 0.55 1.09 0.00

time (sec)

N/A 0.448 1.138 2.438 0.110 0.070 0.604 0.123 0.256 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 148 85 65 133 88 83 83 154 0

N.S.

1 1.16 0.66 0.51 1.04 0.69 0.65 0.65 1.20 0.00

time (sec)

N/A 0.300 1.052 1.912 0.107 0.068 0.481 0.126 0.217 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 240 238 508 0 565 0 0 261 0

N.S.

1 1.02 1.01 2.15 0.00 2.39 0.00 0.00 1.11 0.00

time (sec)

N/A 0.765 0.849 4.756 0.000 0.122 0.000 0.000 0.560 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

288 276 433 613 0 616 0 0 457 0

N.S.

1 0.96 1.50 2.13 0.00 2.14 0.00 0.00 1.59 0.00

time (sec)

N/A 0.884 1.069 5.754 0.000 0.106 0.000 0.000 0.293 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 288 616 614 0 644 0 0 833 0

N.S.

1 0.98 2.09 2.08 0.00 2.18 0.00 0.00 2.82 0.00

time (sec)

N/A 0.931 1.359 7.458 0.000 0.152 0.000 0.000 0.331 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 220 85 65 148 88 83 83 154 0

N.S.

1 1.19 0.46 0.35 0.80 0.48 0.45 0.45 0.83 0.00

time (sec)

N/A 0.760 0.920 2.394 0.114 0.069 0.479 0.117 0.221 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 168 75 55 114 78 70 73 122 0

N.S.

1 1.17 0.52 0.38 0.80 0.55 0.49 0.51 0.85 0.00

time (sec)

N/A 0.514 0.670 2.474 0.115 0.068 0.421 0.154 0.204 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 116 65 45 80 68 56 63 90 0

N.S.

1 1.15 0.64 0.45 0.79 0.67 0.55 0.62 0.89 0.00

time (sec)

N/A 0.348 0.479 2.448 0.106 0.068 0.387 0.120 0.200 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 64 55 35 46 58 42 53 58 0

N.S.

1 1.08 0.93 0.59 0.78 0.98 0.71 0.90 0.98 0.00

time (sec)

N/A 0.218 0.274 1.892 0.108 0.078 0.384 0.114 0.201 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 154 135 443 0 454 0 0 34 0

N.S.

1 1.04 0.91 2.99 0.00 3.07 0.00 0.00 0.23 0.00

time (sec)

N/A 0.421 0.396 4.323 0.000 0.081 0.000 0.000 0.298 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 194 230 473 0 526 0 0 46 0

N.S.

1 1.03 1.22 2.52 0.00 2.80 0.00 0.00 0.24 0.00

time (sec)

N/A 0.533 0.571 4.724 0.000 0.086 0.000 0.000 0.215 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 234 396 483 0 618 0 0 56 0

N.S.

1 1.05 1.78 2.17 0.00 2.77 0.00 0.00 0.25 0.00

time (sec)

N/A 0.635 0.941 5.017 0.000 0.092 0.000 0.000 0.230 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 192 85 65 148 112 0 82 247 0

N.S.

1 1.16 0.51 0.39 0.89 0.67 0.00 0.49 1.49 0.00

time (sec)

N/A 0.617 1.435 2.313 0.125 0.074 0.000 0.121 0.209 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 137 75 55 114 102 0 72 215 0

N.S.

1 1.10 0.60 0.44 0.92 0.82 0.00 0.58 1.73 0.00

time (sec)

N/A 0.433 0.906 2.667 0.115 0.072 0.000 0.117 0.206 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 90 65 45 80 92 0 62 183 0

N.S.

1 1.10 0.79 0.55 0.98 1.12 0.00 0.76 2.23 0.00

time (sec)

N/A 0.286 0.811 2.620 0.110 0.073 0.000 0.138 0.208 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 55 35 46 82 0 53 151 87

N.S.

1 1.00 1.22 0.78 1.02 1.82 0.00 1.18 3.36 1.93

time (sec)

N/A 0.195 0.477 1.983 0.116 0.110 0.000 0.120 0.199 0.257

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 182 199 461 0 527 0 0 44 0

N.S.

1 1.03 1.13 2.62 0.00 2.99 0.00 0.00 0.25 0.00

time (sec)

N/A 0.516 0.524 5.027 0.000 0.086 0.000 0.000 0.284 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

211 222 414 490 0 577 0 0 56 0

N.S.

1 1.05 1.96 2.32 0.00 2.73 0.00 0.00 0.27 0.00

time (sec)

N/A 0.628 0.980 5.183 0.000 0.088 0.000 0.000 0.225 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 262 607 493 0 678 0 0 66 0

N.S.

1 1.07 2.47 2.00 0.00 2.76 0.00 0.00 0.27 0.00

time (sec)

N/A 0.755 1.680 5.533 0.000 0.102 0.000 0.000 0.231 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 163 85 65 253 132 0 81 337 0

N.S.

1 1.11 0.58 0.44 1.72 0.90 0.00 0.55 2.29 0.00

time (sec)

N/A 0.527 1.667 2.305 0.125 0.074 0.000 0.127 0.227 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 116 75 55 219 122 0 72 305 0

N.S.

1 1.10 0.71 0.52 2.09 1.16 0.00 0.69 2.90 0.00

time (sec)

N/A 0.371 1.093 2.480 0.116 0.088 0.000 0.115 0.214 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 71 65 45 185 112 0 61 273 0

N.S.

1 1.04 0.96 0.66 2.72 1.65 0.00 0.90 4.01 0.00

time (sec)

N/A 0.264 0.902 2.502 0.113 0.072 0.000 0.121 0.202 0.000

Problem 130

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

47 47 33 30 59 51 0 29 114 29

N.S.

1 1.00 0.70 0.64 1.26 1.09 0.00 0.62 2.43 0.62

time (sec)

N/A 0.188 0.531 1.803 0.028 0.072 0.000 0.135 0.185 0.101

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 212 209 471 0 605 0 0 56 0

N.S.

1 1.07 1.05 2.37 0.00 3.04 0.00 0.00 0.28 0.00

time (sec)

N/A 0.620 0.877 4.582 0.000 0.087 0.000 0.000 0.314 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

234 250 416 493 0 668 0 0 66 0

N.S.

1 1.07 1.78 2.11 0.00 2.85 0.00 0.00 0.28 0.00

time (sec)

N/A 0.751 1.623 4.968 0.000 0.098 0.000 0.000 0.231 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 290 605 511 0 738 0 0 76 0

N.S.

1 1.08 2.25 1.90 0.00 2.74 0.00 0.00 0.28 0.00

time (sec)

N/A 0.875 1.879 5.096 0.000 0.102 0.000 0.000 0.230 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 196 90 65 143 88 82 83 154 187

N.S.

1 1.18 0.54 0.39 0.86 0.53 0.49 0.50 0.93 1.13

time (sec)

N/A 0.572 1.024 2.583 0.113 0.071 0.420 0.132 0.231 16.537

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

436 383 459 645 0 1269 1544 627 27 1299

N.S.

1 0.88 1.05 1.48 0.00 2.91 3.54 1.44 0.06 2.98

time (sec)

N/A 0.967 8.938 2.418 0.000 0.242 0.819 0.133 200.031 17.449

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 167 174 197 0 465 384 204 557 320

N.S.

1 0.95 0.99 1.13 0.00 2.66 2.19 1.17 3.18 1.83

time (sec)

N/A 0.353 1.805 1.513 0.000 0.093 0.562 0.123 0.281 15.905

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

431 491 539 1547 0 0 0 0 27 0

N.S.

1 1.14 1.25 3.59 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 0.900 0.819 2.731 0.000 0.000 0.000 0.000 200.027 0.000

Problem 138

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 No TBD TBD TBD TBD TBD TBD

size

488 503 1691 4691 0 0 0 0 27 0

N.S.

1 1.03 3.47 9.61 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 0.687 3.319 2.876 0.000 0.000 0.000 0.000 200.033 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 247 431 231 0 380 0 378 25 0

N.S.

1 1.13 1.97 1.05 0.00 1.74 0.00 1.73 0.11 0.00

time (sec)

N/A 0.561 1.194 4.497 0.000 0.097 0.000 0.241 200.030 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

564 428 829 1200 0 2179 5942 1132 27 0

N.S.

1 0.76 1.47 2.13 0.00 3.86 10.54 2.01 0.05 0.00

time (sec)

N/A 1.060 12.005 2.426 0.000 0.615 0.885 0.349 200.025 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 210 293 398 0 839 1360 403 1037 0

N.S.

1 0.89 1.24 1.69 0.00 3.56 5.76 1.71 4.39 0.00

time (sec)

N/A 0.395 4.423 1.660 0.000 0.123 0.637 0.196 1.086 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

678 684 1472 1326 0 0 0 0 27 0

N.S.

1 1.01 2.17 1.96 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 2.246 3.117 2.963 0.000 0.000 0.000 0.000 200.030 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

730 716 2854 7856 0 0 0 0 27 0

N.S.

1 0.98 3.91 10.76 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.700 5.916 3.028 0.000 0.000 0.000 0.000 200.025 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

669 693 4727 16309 0 0 0 0 27 0

N.S.

1 1.04 7.07 24.38 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.128 18.304 3.820 0.000 0.000 0.000 0.000 200.030 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

266 285 582 241 0 434 0 480 25 0

N.S.

1 1.07 2.19 0.91 0.00 1.63 0.00 1.80 0.09 0.00

time (sec)

N/A 0.639 1.792 4.444 0.000 0.118 0.000 0.185 200.027 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 99 75 325 0 161 0 171 95 0

N.S.

1 1.01 0.77 3.32 0.00 1.64 0.00 1.74 0.97 0.00

time (sec)

N/A 0.477 0.252 3.240 0.000 0.137 0.000 0.123 0.383 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

717 754 618 837 0 1583 1787 818 27 0

N.S.

1 1.05 0.86 1.17 0.00 2.21 2.49 1.14 0.04 0.00

time (sec)

N/A 2.439 7.778 2.767 0.000 0.567 0.985 0.208 200.017 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

316 337 254 286 0 637 641 296 27 0

N.S.

1 1.07 0.80 0.91 0.00 2.02 2.03 0.94 0.09 0.00

time (sec)

N/A 0.873 2.138 2.415 0.000 0.192 0.748 0.147 200.025 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 121 98 86 0 227 226 93 231 0

N.S.

1 1.04 0.84 0.74 0.00 1.96 1.95 0.80 1.99 0.00

time (sec)

N/A 0.295 0.680 1.547 0.000 0.098 0.359 0.152 0.155 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

374 374 218 761 0 11287 0 0 27 0

N.S.

1 1.00 0.58 2.03 0.00 30.18 0.00 0.00 0.07 0.00

time (sec)

N/A 0.615 0.478 2.918 0.000 3.743 0.000 0.000 200.024 0.000

Problem 151

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 No No Yes TBD TBD TBD TBD TBD TBD

size

787 764 1377 2108 0 0 0 0 27 0

N.S.

1 0.97 1.75 2.68 0.00 0.00 0.00 0.00 0.03 0.00

time (sec)

N/A 1.452 17.219 3.017 0.000 0.000 0.000 0.000 200.026 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

233 247 431 231 0 376 0 378 25 0

N.S.

1 1.06 1.85 0.99 0.00 1.61 0.00 1.62 0.11 0.00

time (sec)

N/A 0.522 1.080 4.457 0.000 0.116 0.000 0.173 200.023 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

649 709 771 1136 0 3143 0 1093 27 0

N.S.

1 1.09 1.19 1.75 0.00 4.84 0.00 1.68 0.04 0.00

time (sec)

N/A 2.950 9.510 3.072 0.000 0.968 0.000 0.171 200.018 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

309 339 291 435 0 1305 0 399 27 0

N.S.

1 1.10 0.94 1.41 0.00 4.22 0.00 1.29 0.09 0.00

time (sec)

N/A 0.800 2.549 2.539 0.000 0.566 0.000 0.158 200.022 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 111 106 201 0 429 0 118 574 143

N.S.

1 1.03 0.98 1.86 0.00 3.97 0.00 1.09 5.31 1.32

time (sec)

N/A 0.277 1.011 1.671 0.000 0.281 0.000 0.128 0.161 16.132

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

666 0 806 1906 0 0 0 0 154 0

N.S.

1 0.00 1.21 2.86 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 1.861 2.982 0.000 0.000 0.000 0.000 164.289 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 237 416 231 0 366 0 295 25 0

N.S.

1 1.06 1.87 1.04 0.00 1.64 0.00 1.32 0.11 0.00

time (sec)

N/A 0.504 1.044 4.823 0.000 0.109 0.000 0.169 200.025 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 109 80 55 219 122 0 72 305 0

N.S.

1 1.04 0.76 0.52 2.09 1.16 0.00 0.69 2.90 0.00

time (sec)

N/A 0.377 1.175 2.641 0.110 0.080 0.000 0.159 0.167 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

440 466 392 1129 0 1581 0 579 2663 0

N.S.

1 1.06 0.89 2.57 0.00 3.59 0.00 1.32 6.05 0.00

time (sec)

N/A 0.870 4.030 2.538 0.000 1.785 0.000 0.152 0.334 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 131 147 176 0 286 0 234 793 175

N.S.

1 0.99 1.11 1.33 0.00 2.17 0.00 1.77 6.01 1.33

time (sec)

N/A 0.277 1.485 1.608 0.000 1.285 0.000 0.149 0.203 15.417

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 227 219 471 1099 380 0 122 25 0

N.S.

1 1.10 1.06 2.29 5.33 1.84 0.00 0.59 0.12 0.00

time (sec)

N/A 0.480 0.969 4.488 0.150 0.143 0.000 0.142 200.026 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 265 426 241 0 436 0 304 25 0

N.S.

1 1.08 1.73 0.98 0.00 1.77 0.00 1.24 0.10 0.00

time (sec)

N/A 0.586 1.315 4.692 0.000 0.109 0.000 0.206 200.023 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 51 53 144 0 154 0 205 48 0

N.S.

1 1.00 1.04 2.82 0.00 3.02 0.00 4.02 0.94 0.00

time (sec)

N/A 0.221 0.248 4.398 0.000 0.091 0.000 0.143 0.146 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

700 1432 670 905 0 0 0 0 27 0

N.S.

1 2.05 0.96 1.29 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.766 5.933 8.181 0.000 0.000 0.000 0.000 200.027 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

652 650 390 395 0 0 0 0 27 0

N.S.

1 1.00 0.60 0.61 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.606 2.624 8.135 0.000 0.000 0.000 0.000 200.025 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1520 1838 1884 0 0 0 0 0 0 0

N.S.

1 1.21 1.24 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 10.175 4.544 0.000 0.000 0.000 0.000 0.000 0.523 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

578 668 742 0 0 0 0 0 0 0

N.S.

1 1.16 1.28 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.408 2.970 0.000 0.000 0.000 0.000 0.000 0.268 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 236 409 0 0 0 0 0 0 0

N.S.

1 1.18 2.04 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.393 1.399 0.000 0.000 0.000 0.000 0.000 0.178 0.000

Problem 169

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

85 122 126 0 0 0 0 0 243 0

N.S.

1 1.44 1.48 0.00 0.00 0.00 0.00 0.00 2.86 0.00

time (sec)

N/A 0.225 0.113 0.000 0.000 0.000 0.000 0.000 0.149 0.000

Problem 170

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

527 0 0 0 0 0 0 0 27 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.167 0.000

Problem 171

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

1127 0 0 0 0 0 0 0 54 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.210 0.000

Problem 172

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

525 0 0 0 0 0 0 0 27 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.157 0.000

Problem 173

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

541 0 0 0 0 0 0 0 24 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.153 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

337 0 311 0 0 0 0 0 26 0

N.S.

1 0.00 0.92 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.000 1.532 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 175

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

201 0 0 0 0 0 0 0 26 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.150 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 0 0 0 0 0 0 0 23 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 0 84 0 0 0 0 0 25 0

N.S.

1 0.00 1.58 0.00 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 0.000 0.294 0.000 0.000 0.000 0.000 0.000 0.154 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

412 0 0 0 0 0 0 0 24 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.153 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 0 170 0 0 0 0 0 23 0

N.S.

1 0.00 0.96 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.000 0.705 0.000 0.000 0.000 0.000 0.000 0.147 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 162 0 0 0 0 0 21 0

N.S.

1 1.00 2.84 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.182 0.311 0.000 0.000 0.000 0.000 0.000 0.148 0.000

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