[tail] [up]

Integrals 1 to 49

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

verified

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

size

748 0 386 21948887 0 4793 0 0 32 0

N.S.

1 0.00 0.52 29343.43 0.00 6.41 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 1.834 6.445 0.000 0.792 0.000 0.000 0.204 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

676 703 329 17247074 0 4685 0 0 32 0

N.S.

1 1.04 0.49 25513.42 0.00 6.93 0.00 0.00 0.05 0.00

time (sec)

N/A 28.659 0.618 2.954 0.000 0.667 0.000 0.000 0.215 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

601 665 252 17767879 0 4660 0 0 30 0

N.S.

1 1.11 0.42 29563.86 0.00 7.75 0.00 0.00 0.05 0.00

time (sec)

N/A 28.197 0.191 2.306 0.000 0.586 0.000 0.000 0.286 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

574 637 228 17246911 0 4547 0 0 23 0

N.S.

1 1.11 0.40 30046.88 0.00 7.92 0.00 0.00 0.04 0.00

time (sec)

N/A 27.953 0.076 1.787 0.000 0.363 0.000 0.000 0.241 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

571 0 223 0 0 9127 0 0 30 0

N.S.

1 0.00 0.39 0.00 0.00 15.98 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 0.608 180.000 0.000 0.666 0.000 0.000 0.250 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

612 0 261 0 0 9245 0 0 32 0

N.S.

1 0.00 0.43 0.00 0.00 15.11 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 0.764 180.000 0.000 0.856 0.000 0.000 0.251 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

690 0 289 0 0 9449 0 0 33 0

N.S.

1 0.00 0.42 0.00 0.00 13.69 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 1.181 180.000 0.000 0.967 0.000 0.000 200.023 0.000

Problem 8

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

size

548 531 456 9581348 0 10457 0 0 54 0

N.S.

1 0.97 0.83 17484.21 0.00 19.08 0.00 0.00 0.10 0.00

time (sec)

N/A 1.209 6.088 0.773 0.000 1.112 0.000 0.000 0.254 0.000

Problem 9

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

size

495 481 283 7491919 0 10089 0 0 54 0

N.S.

1 0.97 0.57 15135.19 0.00 20.38 0.00 0.00 0.11 0.00

time (sec)

N/A 0.949 1.571 0.621 0.000 0.930 0.000 0.000 0.277 0.000

Problem 10

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

size

383 375 252 9581103 0 10337 0 0 54 0

N.S.

1 0.98 0.66 25015.93 0.00 26.99 0.00 0.00 0.14 0.00

time (sec)

N/A 0.843 0.585 0.879 0.000 0.961 0.000 0.000 0.218 0.000

Problem 11

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

size

352 347 228 7492224 0 9961 0 0 54 0

N.S.

1 0.99 0.65 21284.73 0.00 28.30 0.00 0.00 0.15 0.00

time (sec)

N/A 0.679 0.159 0.741 0.000 0.902 0.000 0.000 0.213 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

294 292 173 0 0 5045 0 0 52 0

N.S.

1 0.99 0.59 0.00 0.00 17.16 0.00 0.00 0.18 0.00

time (sec)

N/A 0.543 0.065 180.000 0.000 0.646 0.000 0.000 0.203 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 296 173 7300256 0 4891 0 0 203 0

N.S.

1 0.99 0.58 24497.50 0.00 16.41 0.00 0.00 0.68 0.00

time (sec)

N/A 0.491 0.072 0.366 0.000 0.602 0.000 0.000 0.309 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

350 345 223 0 0 20629 0 0 52 0

N.S.

1 0.99 0.64 0.00 0.00 58.94 0.00 0.00 0.15 0.00

time (sec)

N/A 0.837 0.284 180.000 0.000 2.078 0.000 0.000 0.237 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

395 387 264 0 0 20213 0 0 33 0

N.S.

1 0.98 0.67 0.00 0.00 51.17 0.00 0.00 0.08 0.00

time (sec)

N/A 0.884 0.991 180.000 0.000 1.972 0.000 0.000 200.016 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

500 486 315 0 0 20934 0 0 33 0

N.S.

1 0.97 0.63 0.00 0.00 41.87 0.00 0.00 0.07 0.00

time (sec)

N/A 0.957 3.601 180.000 0.000 2.276 0.000 0.000 200.020 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1190 1158 2476 13068421 0 40569 0 0 96 0

N.S.

1 0.97 2.08 10981.87 0.00 34.09 0.00 0.00 0.08 0.00

time (sec)

N/A 4.866 9.181 1.642 0.000 8.842 0.000 0.000 0.164 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

864 847 2272 13067695 0 39731 0 0 96 0

N.S.

1 0.98 2.63 15124.65 0.00 45.98 0.00 0.00 0.11 0.00

time (sec)

N/A 3.081 7.071 1.440 0.000 4.287 0.000 0.000 0.161 0.000

Problem 19

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

size

686 678 2339 13067312 0 19371 0 0 753 0

N.S.

1 0.99 3.41 19048.56 0.00 28.24 0.00 0.00 1.10 0.00

time (sec)

N/A 2.873 6.814 1.656 0.000 2.734 0.000 0.000 0.200 0.000

Problem 20

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

size

638 719 328 11848772 0 19326 0 0 96 0

N.S.

1 1.13 0.51 18571.74 0.00 30.29 0.00 0.00 0.15 0.00

time (sec)

N/A 1.239 3.279 1.449 0.000 2.599 0.000 0.000 0.201 0.000

Problem 21

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

size

635 715 318 13067197 0 19368 0 0 94 0

N.S.

1 1.13 0.50 20578.26 0.00 30.50 0.00 0.00 0.15 0.00

time (sec)

N/A 1.024 2.972 0.969 0.000 2.694 0.000 0.000 0.165 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

750 739 450 0 0 78455 0 0 94 0

N.S.

1 0.99 0.60 0.00 0.00 104.61 0.00 0.00 0.13 0.00

time (sec)

N/A 3.074 3.018 180.000 0.000 12.723 0.000 0.000 0.187 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

829 815 506 0 0 78559 0 0 96 0

N.S.

1 0.98 0.61 0.00 0.00 94.76 0.00 0.00 0.12 0.00

time (sec)

N/A 3.157 4.843 180.000 0.000 12.278 0.000 0.000 4.422 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1007 984 786 0 0 79413 0 0 33 0

N.S.

1 0.98 0.78 0.00 0.00 78.86 0.00 0.00 0.03 0.00

time (sec)

N/A 3.273 6.137 180.000 0.000 13.407 0.000 0.000 200.033 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

270 279 290 455 0 1405 0 0 0 0

N.S.

1 1.03 1.07 1.69 0.00 5.20 0.00 0.00 0.00 0.00

time (sec)

N/A 0.639 3.749 0.401 0.000 2.904 0.000 0.000 0.813 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 211 208 318 0 1199 0 0 1106 0

N.S.

1 1.01 1.00 1.52 0.00 5.74 0.00 0.00 5.29 0.00

time (sec)

N/A 0.529 1.223 0.197 0.000 2.159 0.000 0.000 0.568 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 173 180 217 0 1057 0 0 716 0

N.S.

1 0.97 1.01 1.21 0.00 5.91 0.00 0.00 4.00 0.00

time (sec)

N/A 0.431 0.203 0.150 0.000 1.553 0.000 0.000 0.455 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 193 192 0 0 2517 0 0 32 0

N.S.

1 0.95 0.95 0.00 0.00 12.40 0.00 0.00 0.16 0.00

time (sec)

N/A 0.519 0.652 0.000 0.000 0.520 0.000 0.000 0.192 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

435 409 187 0 0 1186 0 0 35 0

N.S.

1 0.94 0.43 0.00 0.00 2.73 0.00 0.00 0.08 0.00

time (sec)

N/A 0.656 0.876 0.000 0.000 1.627 0.000 0.000 200.015 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

743 760 595 1945 0 0 0 0 34 0

N.S.

1 1.02 0.80 2.62 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 1.265 15.808 0.937 0.000 0.000 0.000 0.000 0.165 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

660 694 428 1497 0 0 0 0 25 0

N.S.

1 1.05 0.65 2.27 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.871 11.374 0.547 0.000 0.000 0.000 0.000 0.161 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

699 724 1258 0 0 0 0 0 34 0

N.S.

1 1.04 1.80 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 1.030 17.798 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 33

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

size

804 906 1590 0 0 0 0 0 35 0

N.S.

1 1.13 1.98 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.627 19.492 0.000 0.000 0.000 0.000 0.000 200.013 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 181 173 232 0 1226 0 0 58 0

N.S.

1 0.99 0.95 1.27 0.00 6.74 0.00 0.00 0.32 0.00

time (sec)

N/A 0.479 1.853 0.221 0.000 1.098 0.000 0.000 0.265 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 136 136 153 0 993 0 0 58 0

N.S.

1 0.96 0.96 1.09 0.00 7.04 0.00 0.00 0.41 0.00

time (sec)

N/A 0.411 0.159 0.207 0.000 0.874 0.000 0.000 0.231 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 79 79 102 0 299 0 0 56 0

N.S.

1 1.00 1.00 1.29 0.00 3.78 0.00 0.00 0.71 0.00

time (sec)

N/A 0.305 0.079 0.322 0.000 0.252 0.000 0.000 0.252 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 138 139 0 0 1015 0 0 33 0

N.S.

1 0.97 0.98 0.00 0.00 7.15 0.00 0.00 0.23 0.00

time (sec)

N/A 0.459 0.595 0.000 0.000 0.849 0.000 0.000 200.019 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

249 235 188 0 0 1350 0 0 35 0

N.S.

1 0.94 0.76 0.00 0.00 5.42 0.00 0.00 0.14 0.00

time (sec)

N/A 0.507 2.686 0.000 0.000 1.126 0.000 0.000 200.016 0.000

Problem 39

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

size

662 675 533 646 0 0 0 0 58 0

N.S.

1 1.02 0.81 0.98 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.840 10.297 1.072 0.000 0.000 0.000 0.000 0.171 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

436 447 311 402 0 0 0 0 58 0

N.S.

1 1.03 0.71 0.92 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.632 2.513 0.934 0.000 0.000 0.000 0.000 0.179 0.000

Problem 41

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

size

436 446 235 231 0 0 0 0 50 0

N.S.

1 1.02 0.54 0.53 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.577 10.660 0.586 0.000 0.000 0.000 0.000 0.159 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

707 725 683 0 0 0 0 0 58 0

N.S.

1 1.03 0.97 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.115 17.075 0.000 0.000 0.000 0.000 0.000 0.520 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

235 234 274 684 0 3773 0 0 100 0

N.S.

1 1.00 1.17 2.91 0.00 16.06 0.00 0.00 0.43 0.00

time (sec)

N/A 0.605 5.235 0.726 0.000 2.253 0.000 0.000 0.213 0.000

Problem 44

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

159 159 206 509 0 1095 0 0 803 0

N.S.

1 1.00 1.30 3.20 0.00 6.89 0.00 0.00 5.05 0.00

time (sec)

N/A 0.455 4.770 0.230 0.000 0.466 0.000 0.000 0.369 0.000

Problem 45

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

154 152 155 456 0 1077 0 0 100 0

N.S.

1 0.99 1.01 2.96 0.00 6.99 0.00 0.00 0.65 0.00

time (sec)

N/A 0.418 1.839 0.189 0.000 0.446 0.000 0.000 0.389 0.000

Problem 46

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

155 155 156 406 0 1099 0 0 98 0

N.S.

1 1.00 1.01 2.62 0.00 7.09 0.00 0.00 0.63 0.00

time (sec)

N/A 0.386 1.984 0.186 0.000 0.437 0.000 0.000 0.372 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

280 271 278 0 0 3951 0 0 98 0

N.S.

1 0.97 0.99 0.00 0.00 14.11 0.00 0.00 0.35 0.00

time (sec)

N/A 0.555 2.345 0.000 0.000 2.347 0.000 0.000 0.257 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

477 454 555 0 0 5189 0 0 100 0

N.S.

1 0.95 1.16 0.00 0.00 10.88 0.00 0.00 0.21 0.00

time (sec)

N/A 0.680 6.057 0.000 0.000 3.236 0.000 0.000 0.264 0.000

Problem 49

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

size

803 824 825 3598 0 0 0 0 100 0

N.S.

1 1.03 1.03 4.48 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 1.414 15.575 0.960 0.000 0.000 0.000 0.000 0.212 0.000

[front] [up]