[next] [tail] [up]

Integrals 1 to 100

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 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

443 451 385 1949 0 1044 2166 507 1033 1678

N.S.

1 1.02 0.87 4.40 0.00 2.36 4.89 1.14 2.33 3.79

time (sec)

N/A 1.220 1.688 2.401 0.000 0.143 1.549 0.155 0.355 7.937

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

340 353 307 1160 0 846 1386 398 790 985

N.S.

1 1.04 0.90 3.41 0.00 2.49 4.08 1.17 2.32 2.90

time (sec)

N/A 0.835 1.115 2.492 0.000 0.132 1.413 0.153 0.330 7.390

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

243 257 238 655 0 676 887 304 579 544

N.S.

1 1.06 0.98 2.70 0.00 2.78 3.65 1.25 2.38 2.24

time (sec)

N/A 0.616 0.818 2.188 0.000 0.105 1.472 0.143 0.253 7.167

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 219 179 373 0 532 571 222 400 307

N.S.

1 1.12 0.92 1.91 0.00 2.73 2.93 1.14 2.05 1.57

time (sec)

N/A 0.539 0.513 2.087 0.000 0.101 1.125 0.145 0.241 6.768

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 264 233 330 0 1337 0 0 428 291

N.S.

1 1.18 1.04 1.48 0.00 6.00 0.00 0.00 1.92 1.30

time (sec)

N/A 0.815 0.781 2.088 0.000 2.402 0.000 0.000 0.292 6.583

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 237 230 571 0 1241 0 327 527 320

N.S.

1 1.18 1.15 2.86 0.00 6.20 0.00 1.64 2.64 1.60

time (sec)

N/A 0.745 0.667 2.204 0.000 0.878 0.000 0.172 0.609 6.783

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 269 243 1035 0 1375 0 626 1089 0

N.S.

1 1.19 1.07 4.56 0.00 6.06 0.00 2.76 4.80 0.00

time (sec)

N/A 0.822 0.900 2.246 0.000 1.120 0.000 0.200 0.414 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 228 199 1340 0 560 0 1007 1116 0

N.S.

1 1.12 0.98 6.60 0.00 2.76 0.00 4.96 5.50 0.00

time (sec)

N/A 0.641 0.557 2.516 0.000 0.723 0.000 0.147 0.734 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

287 310 248 2109 0 702 0 1618 1664 0

N.S.

1 1.08 0.86 7.35 0.00 2.45 0.00 5.64 5.80 0.00

time (sec)

N/A 0.860 0.880 2.662 0.000 4.649 0.000 0.163 3.347 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

387 408 320 3583 0 874 0 2352 1910 0

N.S.

1 1.05 0.83 9.26 0.00 2.26 0.00 6.08 4.94 0.00

time (sec)

N/A 1.170 1.246 3.394 0.000 10.540 0.000 0.183 40.972 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 369 304 955 0 678 0 305 579 0

N.S.

1 1.12 0.92 2.89 0.00 2.05 0.00 0.92 1.75 0.00

time (sec)

N/A 1.091 11.803 2.470 0.000 0.179 0.000 0.148 0.314 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 259 245 512 0 536 0 224 400 0

N.S.

1 1.10 1.04 2.17 0.00 2.27 0.00 0.95 1.69 0.00

time (sec)

N/A 0.773 10.902 2.502 0.000 0.114 0.000 0.145 0.273 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 173 181 291 0 418 0 164 252 0

N.S.

1 1.11 1.16 1.87 0.00 2.68 0.00 1.05 1.62 0.00

time (sec)

N/A 0.530 1.145 2.254 0.000 0.098 0.000 0.137 0.246 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 131 112 131 0 337 0 114 135 0

N.S.

1 1.15 0.98 1.15 0.00 2.96 0.00 1.00 1.18 0.00

time (sec)

N/A 0.428 0.321 2.269 0.000 0.100 0.000 0.140 0.243 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 162 476 308 0 947 0 0 202 0

N.S.

1 1.18 3.47 2.25 0.00 6.91 0.00 0.00 1.47 0.00

time (sec)

N/A 0.556 2.244 2.342 0.000 0.244 0.000 0.000 0.266 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 137 117 708 0 355 0 220 372 0

N.S.

1 1.16 0.99 6.00 0.00 3.01 0.00 1.86 3.15 0.00

time (sec)

N/A 0.524 10.151 2.470 0.000 0.219 0.000 0.145 0.352 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 211 162 1353 0 442 0 505 966 0

N.S.

1 1.14 0.88 7.31 0.00 2.39 0.00 2.73 5.22 0.00

time (sec)

N/A 0.745 10.169 2.598 0.000 0.366 0.000 0.143 0.389 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 307 210 2059 0 558 0 912 1316 0

N.S.

1 1.14 0.78 7.65 0.00 2.07 0.00 3.39 4.89 0.00

time (sec)

N/A 1.003 10.261 3.425 0.000 1.051 0.000 0.161 0.782 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

372 421 273 3471 0 702 0 1483 1694 0

N.S.

1 1.13 0.73 9.33 0.00 1.89 0.00 3.99 4.55 0.00

time (sec)

N/A 1.349 10.393 3.157 0.000 5.255 0.000 0.151 3.743 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

338 351 241 728 0 736 0 901 862 0

N.S.

1 1.04 0.71 2.15 0.00 2.18 0.00 2.67 2.55 0.00

time (sec)

N/A 1.428 0.998 2.771 0.000 0.276 0.000 0.400 20.056 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 252 181 505 0 564 0 539 548 0

N.S.

1 0.98 0.71 1.97 0.00 2.20 0.00 2.11 2.14 0.00

time (sec)

N/A 0.938 0.575 2.455 0.000 0.173 0.000 0.277 0.245 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 178 129 345 0 414 0 285 332 0

N.S.

1 1.12 0.81 2.17 0.00 2.60 0.00 1.79 2.09 0.00

time (sec)

N/A 0.582 0.394 2.421 0.000 0.132 0.000 0.196 0.241 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 124 110 212 0 326 0 185 149 0

N.S.

1 1.13 1.00 1.93 0.00 2.96 0.00 1.68 1.35 0.00

time (sec)

N/A 0.420 0.241 2.513 0.000 0.122 0.000 0.146 0.244 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 127 110 523 0 333 0 200 380 0

N.S.

1 1.13 0.98 4.67 0.00 2.97 0.00 1.79 3.39 0.00

time (sec)

N/A 0.486 0.237 2.646 0.000 0.167 0.000 0.164 0.283 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 185 131 920 0 436 0 395 932 0

N.S.

1 1.00 0.71 4.97 0.00 2.36 0.00 2.14 5.04 0.00

time (sec)

N/A 0.669 0.442 2.755 0.000 0.364 0.000 0.158 0.424 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

261 266 185 1567 0 594 0 703 1897 0

N.S.

1 1.02 0.71 6.00 0.00 2.28 0.00 2.69 7.27 0.00

time (sec)

N/A 1.177 0.598 2.999 0.000 0.964 0.000 0.179 0.603 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

370 362 246 2275 0 772 0 1133 2498 0

N.S.

1 0.98 0.66 6.15 0.00 2.09 0.00 3.06 6.75 0.00

time (sec)

N/A 1.788 1.012 3.921 0.000 4.054 0.000 0.208 1.730 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

434 446 385 1426 0 1044 2502 513 1033 0

N.S.

1 1.03 0.89 3.29 0.00 2.41 5.76 1.18 2.38 0.00

time (sec)

N/A 1.287 2.053 2.579 0.000 0.140 82.710 0.152 0.352 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

337 347 303 797 0 846 1637 405 790 0

N.S.

1 1.03 0.90 2.36 0.00 2.51 4.86 1.20 2.34 0.00

time (sec)

N/A 0.943 1.172 2.556 0.000 0.112 53.248 0.161 0.323 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 255 236 483 0 676 1093 310 579 0

N.S.

1 1.05 0.97 1.98 0.00 2.77 4.48 1.27 2.37 0.00

time (sec)

N/A 0.701 0.847 2.453 0.000 0.105 6.582 0.152 0.286 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 215 180 230 0 532 751 229 400 0

N.S.

1 1.16 0.97 1.24 0.00 2.86 4.04 1.23 2.15 0.00

time (sec)

N/A 0.561 0.566 2.443 0.000 0.097 4.133 0.146 0.270 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 257 232 607 0 1327 0 0 425 0

N.S.

1 1.17 1.06 2.77 0.00 6.06 0.00 0.00 1.94 0.00

time (sec)

N/A 0.890 0.796 2.519 0.000 2.393 0.000 0.000 0.352 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 240 213 1300 0 1221 0 339 507 0

N.S.

1 1.18 1.05 6.40 0.00 6.01 0.00 1.67 2.50 0.00

time (sec)

N/A 0.845 0.652 2.685 0.000 0.902 0.000 0.178 0.591 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 263 243 2438 0 1375 0 626 1090 0

N.S.

1 1.17 1.08 10.84 0.00 6.11 0.00 2.78 4.84 0.00

time (sec)

N/A 0.883 0.828 2.728 0.000 1.319 0.000 0.206 0.502 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 225 201 4330 0 558 0 1005 1116 0

N.S.

1 1.16 1.04 22.32 0.00 2.88 0.00 5.18 5.75 0.00

time (sec)

N/A 0.715 0.562 3.258 0.000 0.752 0.000 0.155 0.706 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 304 247 7421 0 704 0 1618 1662 0

N.S.

1 1.09 0.89 26.69 0.00 2.53 0.00 5.82 5.98 0.00

time (sec)

N/A 0.926 0.895 3.327 0.000 4.620 0.000 0.167 3.251 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

378 402 317 10575 0 872 0 2352 1910 0

N.S.

1 1.06 0.84 27.98 0.00 2.31 0.00 6.22 5.05 0.00

time (sec)

N/A 1.255 1.321 4.759 0.000 10.972 0.000 0.208 45.784 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

481 505 402 16883 0 1072 0 3251 40 0

N.S.

1 1.05 0.84 35.10 0.00 2.23 0.00 6.76 0.08 0.00

time (sec)

N/A 1.554 1.845 4.730 0.000 30.082 0.000 0.290 200.041 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

411 474 350 1192 0 928 0 399 40 0

N.S.

1 1.15 0.85 2.90 0.00 2.26 0.00 0.97 0.10 0.00

time (sec)

N/A 2.412 10.880 2.994 0.000 0.621 0.000 0.174 200.133 0.000

Problem 40

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

322 368 281 937 0 730 0 319 862 0

N.S.

1 1.14 0.87 2.91 0.00 2.27 0.00 0.99 2.68 0.00

time (sec)

N/A 1.540 10.789 2.954 0.000 0.308 0.000 0.172 5.976 0.000

Problem 41

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

234 261 208 705 0 550 0 271 580 0

N.S.

1 1.12 0.89 3.01 0.00 2.35 0.00 1.16 2.48 0.00

time (sec)

N/A 0.977 0.841 2.848 0.000 0.176 0.000 0.174 0.291 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 186 148 392 0 414 0 224 347 0

N.S.

1 1.18 0.94 2.48 0.00 2.62 0.00 1.42 2.20 0.00

time (sec)

N/A 0.591 0.353 3.129 0.000 0.132 0.000 0.159 0.278 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 228 538 1316 0 1277 0 0 558 0

N.S.

1 1.18 2.79 6.82 0.00 6.62 0.00 0.00 2.89 0.00

time (sec)

N/A 0.818 2.477 3.333 0.000 0.750 0.000 0.000 0.322 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 190 144 2006 0 446 0 0 1374 0

N.S.

1 1.08 0.82 11.40 0.00 2.53 0.00 0.00 7.81 0.00

time (sec)

N/A 0.690 10.186 3.869 0.000 0.436 0.000 0.000 0.492 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

279 275 179 3143 0 588 0 0 1897 0

N.S.

1 0.99 0.64 11.27 0.00 2.11 0.00 0.00 6.80 0.00

time (sec)

N/A 1.249 10.177 3.944 0.000 1.242 0.000 0.000 0.675 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

362 379 256 5038 0 768 0 0 2498 0

N.S.

1 1.05 0.71 13.92 0.00 2.12 0.00 0.00 6.90 0.00

time (sec)

N/A 1.939 10.183 4.745 0.000 4.925 0.000 0.000 1.919 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

483 491 326 8132 0 968 0 0 3131 0

N.S.

1 1.02 0.67 16.84 0.00 2.00 0.00 0.00 6.48 0.00

time (sec)

N/A 2.814 10.450 5.073 0.000 12.426 0.000 0.000 12.810 0.000

Problem 48

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

559 543 549 1895 0 1524 0 784 1615 0

N.S.

1 0.97 0.98 3.39 0.00 2.73 0.00 1.40 2.89 0.00

time (sec)

N/A 1.455 2.250 2.571 0.000 0.178 0.000 0.166 0.739 0.000

Problem 49

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

437 434 479 1080 0 1272 0 648 1308 0

N.S.

1 0.99 1.10 2.47 0.00 2.91 0.00 1.48 2.99 0.00

time (sec)

N/A 1.097 1.915 2.588 0.000 0.155 0.000 0.160 0.477 0.000

Problem 50

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

330 342 388 673 0 1046 0 526 1033 0

N.S.

1 1.04 1.18 2.04 0.00 3.17 0.00 1.59 3.13 0.00

time (sec)

N/A 0.817 1.448 2.514 0.000 0.129 0.000 0.173 0.378 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

259 302 295 327 0 844 0 415 790 0

N.S.

1 1.17 1.14 1.26 0.00 3.26 0.00 1.60 3.05 0.00

time (sec)

N/A 0.709 1.053 2.414 0.000 0.136 0.000 0.158 0.359 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

362 414 342 997 0 1873 0 0 770 0

N.S.

1 1.14 0.94 2.75 0.00 5.17 0.00 0.00 2.13 0.00

time (sec)

N/A 1.349 1.558 2.499 0.000 25.834 0.000 0.000 0.492 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

318 361 309 2076 0 1717 0 473 40 0

N.S.

1 1.14 0.97 6.53 0.00 5.40 0.00 1.49 0.13 0.00

time (sec)

N/A 1.190 1.649 2.829 0.000 8.349 0.000 0.187 200.185 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

307 342 287 3893 0 1569 0 746 40 0

N.S.

1 1.11 0.93 12.68 0.00 5.11 0.00 2.43 0.13 0.00

time (sec)

N/A 1.129 1.388 2.895 0.000 3.968 0.000 0.224 200.040 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 375 316 6850 0 1741 0 1195 1564 0

N.S.

1 1.12 0.94 20.39 0.00 5.18 0.00 3.56 4.65 0.00

time (sec)

N/A 1.252 1.592 4.543 0.000 4.900 0.000 0.270 7.947 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 426 358 11685 0 1917 0 1750 1822 0

N.S.

1 1.14 0.96 31.33 0.00 5.14 0.00 4.69 4.88 0.00

time (sec)

N/A 1.341 1.687 2.260 0.000 13.337 0.000 0.491 15.175 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 317 271 19539 0 872 0 2449 1904 0

N.S.

1 1.17 1.00 71.83 0.00 3.21 0.00 9.00 7.00 0.00

time (sec)

N/A 0.919 1.115 4.335 0.000 10.518 0.000 0.203 16.310 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

369 396 404 32291 0 1072 0 3388 40 0

N.S.

1 1.07 1.09 87.51 0.00 2.91 0.00 9.18 0.11 0.00

time (sec)

N/A 1.126 1.471 4.565 0.000 33.004 0.000 0.314 200.141 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

483 494 497 45106 0 1300 0 4452 40 0

N.S.

1 1.02 1.03 93.39 0.00 2.69 0.00 9.22 0.08 0.00

time (sec)

N/A 1.459 1.978 6.724 0.000 67.307 0.000 0.579 200.057 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

611 608 572 70736 0 1550 0 5681 40 0

N.S.

1 1.00 0.94 115.77 0.00 2.54 0.00 9.30 0.07 0.00

time (sec)

N/A 1.825 2.492 6.675 0.000 156.881 0.000 1.187 200.043 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

506 610 376 1802 0 1160 0 518 40 0

N.S.

1 1.21 0.74 3.56 0.00 2.29 0.00 1.02 0.08 0.00

time (sec)

N/A 3.622 1.775 2.925 0.000 1.829 0.000 0.190 200.048 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

403 483 319 1471 0 936 0 424 40 0

N.S.

1 1.20 0.79 3.65 0.00 2.32 0.00 1.05 0.10 0.00

time (sec)

N/A 2.439 1.352 3.052 0.000 0.872 0.000 0.186 200.051 0.000

Problem 63

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

295 358 230 1061 0 724 0 367 862 0

N.S.

1 1.21 0.78 3.60 0.00 2.45 0.00 1.24 2.92 0.00

time (sec)

N/A 1.542 1.129 3.122 0.000 0.401 0.000 0.173 1.116 0.000

Problem 64

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

183 257 186 570 0 554 0 302 597 0

N.S.

1 1.40 1.02 3.11 0.00 3.03 0.00 1.65 3.26 0.00

time (sec)

N/A 0.994 0.712 3.115 0.000 0.218 0.000 0.172 0.316 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 295 235 2473 0 1509 0 0 791 0

N.S.

1 1.17 0.93 9.77 0.00 5.96 0.00 0.00 3.13 0.00

time (sec)

N/A 1.287 0.641 3.622 0.000 2.760 0.000 0.000 0.407 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 299 241 3549 0 1562 0 0 1711 0

N.S.

1 1.11 0.90 13.19 0.00 5.81 0.00 0.00 6.36 0.00

time (sec)

N/A 1.270 0.601 4.392 0.000 2.408 0.000 0.000 0.539 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 269 194 5365 0 592 0 0 1969 0

N.S.

1 1.10 0.80 21.99 0.00 2.43 0.00 0.00 8.07 0.00

time (sec)

N/A 1.268 0.655 5.252 0.000 1.567 0.000 0.000 0.684 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

359 368 238 8322 0 758 0 0 2498 0

N.S.

1 1.03 0.66 23.18 0.00 2.11 0.00 0.00 6.96 0.00

time (sec)

N/A 1.979 0.985 6.664 0.000 5.900 0.000 0.000 1.782 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

471 492 315 13161 0 968 0 0 3131 0

N.S.

1 1.04 0.67 27.94 0.00 2.06 0.00 0.00 6.65 0.00

time (sec)

N/A 3.001 1.376 7.424 0.000 14.737 0.000 0.000 14.609 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

607 615 387 21017 0 1198 0 0 3796 0

N.S.

1 1.01 0.64 34.62 0.00 1.97 0.00 0.00 6.25 0.00

time (sec)

N/A 4.153 1.807 9.046 0.000 35.080 0.000 0.000 199.307 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

755 760 483 33770 0 1452 0 0 40 0

N.S.

1 1.01 0.64 44.73 0.00 1.92 0.00 0.00 0.05 0.00

time (sec)

N/A 5.628 2.843 10.821 0.000 82.460 0.000 0.000 200.050 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

339 374 377 1200 0 676 906 306 579 0

N.S.

1 1.10 1.11 3.54 0.00 1.99 2.67 0.90 1.71 0.00

time (sec)

N/A 1.046 11.180 2.634 0.000 0.242 1.170 0.147 0.280 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 264 307 692 0 530 631 224 400 0

N.S.

1 1.11 1.29 2.91 0.00 2.23 2.65 0.94 1.68 0.00

time (sec)

N/A 0.714 10.579 2.470 0.000 0.146 1.105 0.148 0.256 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 170 203 374 0 416 445 164 252 0

N.S.

1 1.10 1.31 2.41 0.00 2.68 2.87 1.06 1.63 0.00

time (sec)

N/A 0.510 1.066 2.223 0.000 0.120 1.311 0.151 0.237 0.000

Problem 75

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

116 135 136 186 0 338 335 120 135 144

N.S.

1 1.16 1.17 1.60 0.00 2.91 2.89 1.03 1.16 1.24

time (sec)

N/A 0.459 0.303 2.323 0.000 0.102 0.837 0.142 0.211 6.116

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 162 485 132 0 975 0 0 212 118

N.S.

1 1.18 3.54 0.96 0.00 7.12 0.00 0.00 1.55 0.86

time (sec)

N/A 0.489 2.267 2.157 0.000 0.262 0.000 0.000 0.232 6.117

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 143 728 201 0 354 0 227 372 180

N.S.

1 1.19 6.07 1.68 0.00 2.95 0.00 1.89 3.10 1.50

time (sec)

N/A 0.483 14.138 2.278 0.000 0.179 0.000 0.137 0.272 6.126

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 219 193 399 0 448 0 508 966 0

N.S.

1 1.12 0.99 2.05 0.00 2.30 0.00 2.61 4.95 0.00

time (sec)

N/A 0.675 10.137 2.334 0.000 0.556 0.000 0.137 0.357 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

279 314 256 733 0 562 0 914 1316 0

N.S.

1 1.13 0.92 2.63 0.00 2.01 0.00 3.28 4.72 0.00

time (sec)

N/A 0.948 10.187 2.805 0.000 1.186 0.000 0.146 0.701 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 274 277 514 0 758 0 228 816 0

N.S.

1 1.07 1.08 2.01 0.00 2.96 0.00 0.89 3.19 0.00

time (sec)

N/A 0.938 0.714 2.778 0.000 0.383 0.000 0.165 0.228 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 202 201 259 0 586 0 182 573 0

N.S.

1 1.13 1.13 1.46 0.00 3.29 0.00 1.02 3.22 0.00

time (sec)

N/A 0.596 0.444 2.763 0.000 0.171 0.000 0.157 0.219 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 139 130 131 0 443 0 0 300 0

N.S.

1 1.11 1.04 1.05 0.00 3.54 0.00 0.00 2.40 0.00

time (sec)

N/A 0.450 0.283 2.424 0.000 0.159 0.000 0.000 0.198 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 42 50 0 59 0 0 71 50

N.S.

1 1.00 0.81 0.96 0.00 1.13 0.00 0.00 1.37 0.96

time (sec)

N/A 0.303 0.040 2.461 0.000 0.128 0.000 0.000 0.204 5.871

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 142 131 136 0 454 0 0 763 0

N.S.

1 1.14 1.05 1.09 0.00 3.63 0.00 0.00 6.10 0.00

time (sec)

N/A 0.502 0.265 2.397 0.000 0.299 0.000 0.000 0.309 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 206 201 270 0 610 0 0 1302 0

N.S.

1 1.03 1.00 1.35 0.00 3.05 0.00 0.00 6.51 0.00

time (sec)

N/A 0.655 0.394 2.944 0.000 0.748 0.000 0.000 0.476 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

296 281 283 545 0 792 0 0 2075 0

N.S.

1 0.95 0.96 1.84 0.00 2.68 0.00 0.00 7.01 0.00

time (sec)

N/A 1.080 0.667 2.906 0.000 1.941 0.000 0.000 0.716 0.000

Problem 87

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

36 36 26 21 28 22 0 30 36 19

N.S.

1 1.00 0.72 0.58 0.78 0.61 0.00 0.83 1.00 0.53

time (sec)

N/A 0.290 0.130 1.461 0.031 0.083 0.000 0.115 0.220 5.806

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 278 244 1275 0 778 0 0 525 0

N.S.

1 1.08 0.95 4.96 0.00 3.03 0.00 0.00 2.04 0.00

time (sec)

N/A 0.969 0.707 2.557 0.000 0.564 0.000 0.000 0.253 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 203 185 738 0 608 0 0 370 0

N.S.

1 1.12 1.02 4.05 0.00 3.34 0.00 0.00 2.03 0.00

time (sec)

N/A 0.600 0.411 2.441 0.000 0.221 0.000 0.000 0.217 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 141 144 404 0 470 0 0 195 234

N.S.

1 1.11 1.13 3.18 0.00 3.70 0.00 0.00 1.54 1.84

time (sec)

N/A 0.452 0.260 2.088 0.000 0.180 0.000 0.000 0.211 6.086

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 39 53 0 65 0 0 59 53

N.S.

1 1.00 0.78 1.06 0.00 1.30 0.00 0.00 1.18 1.06

time (sec)

N/A 0.285 0.046 2.003 0.000 0.150 0.000 0.000 0.204 5.854

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 144 133 287 0 479 0 0 455 0

N.S.

1 1.13 1.05 2.26 0.00 3.77 0.00 0.00 3.58 0.00

time (sec)

N/A 0.494 0.358 1.951 0.000 0.380 0.000 0.000 0.271 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 207 190 564 0 644 0 0 772 0

N.S.

1 0.99 0.91 2.70 0.00 3.08 0.00 0.00 3.69 0.00

time (sec)

N/A 0.658 0.479 2.070 0.000 1.045 0.000 0.000 0.392 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

322 302 255 984 0 828 0 0 1256 0

N.S.

1 0.94 0.79 3.06 0.00 2.57 0.00 0.00 3.90 0.00

time (sec)

N/A 1.233 0.684 2.096 0.000 2.714 0.000 0.000 0.521 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

323 367 243 2622 0 756 0 0 558 0

N.S.

1 1.14 0.75 8.12 0.00 2.34 0.00 0.00 1.73 0.00

time (sec)

N/A 1.654 0.865 2.799 0.000 0.501 0.000 0.000 21.451 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 265 180 1548 0 580 0 0 352 0

N.S.

1 1.11 0.75 6.48 0.00 2.43 0.00 0.00 1.47 0.00

time (sec)

N/A 1.010 0.486 2.691 0.000 0.267 0.000 0.000 0.252 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 179 137 879 0 438 0 0 219 0

N.S.

1 1.12 0.86 5.49 0.00 2.74 0.00 0.00 1.37 0.00

time (sec)

N/A 0.581 0.310 2.280 0.000 0.147 0.000 0.000 0.222 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 125 113 485 0 349 0 0 104 0

N.S.

1 1.13 1.02 4.37 0.00 3.14 0.00 0.00 0.94 0.00

time (sec)

N/A 0.421 0.209 3.984 0.000 0.130 0.000 0.000 0.246 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 128 113 427 0 358 0 0 242 0

N.S.

1 1.15 1.02 3.85 0.00 3.23 0.00 0.00 2.18 0.00

time (sec)

N/A 0.527 0.207 1.622 0.000 0.215 0.000 0.000 0.288 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 187 143 645 0 468 0 0 562 0

N.S.

1 1.13 0.87 3.91 0.00 2.84 0.00 0.00 3.41 0.00

time (sec)

N/A 0.680 0.331 1.531 0.000 0.592 0.000 0.000 0.436 0.000

[next] [front] [up]