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

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B A A A B F F(-2)

verified

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

size

51 51 52 93 58 54 102 301 -1 0

N.S.

1 1.00 1.02 1.82 1.14 1.06 2.00 5.90 -0.02 0.00

time (sec)

N/A 0.020 0.015 0.030 0.364 0.347 4.081 0.023 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A F A

verified

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

size

17 17 17 16 15 15 12 16 -1 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.71 0.94 -0.06 0.88

time (sec)

N/A 0.017 0.005 0.063 0.342 0.339 0.086 0.003 0.000 1.680

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F A B A A F F F F(-1)

verified

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

size

69 0 106 251 4 49 0 0 -1 0

N.S.

1 0.00 1.54 3.64 0.06 0.71 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.095 0.654 0.578 0.957 26.499 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A B A B F B F B B F(-1)

verified

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

size

97 332 188 426 0 402 0 313 666 0

N.S.

1 3.42 1.94 4.39 0.00 4.14 0.00 3.23 6.87 0.00

time (sec)

N/A 0.487 0.294 0.065 0.000 0.363 0.000 0.055 1.573 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A C C C F A F(-2) F F F(-2)

verified

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

size

45 289 98 312 0 33 0 0 -1 0

N.S.

1 6.42 2.18 6.93 0.00 0.73 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.315 26.761 0.404 0.000 0.399 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A F B F A F F(-2)

verified

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

size

56 56 74 64 0 88 0 104 -1 0

N.S.

1 1.00 1.32 1.14 0.00 1.57 0.00 1.86 -0.02 0.00

time (sec)

N/A 0.044 0.076 0.060 0.000 0.397 0.000 0.018 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B B F B F F(-2)

verified

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

size

15 15 15 12 27 30 0 47 -1 0

N.S.

1 1.00 1.00 0.80 1.80 2.00 0.00 3.13 -0.07 0.00

time (sec)

N/A 0.019 0.012 0.108 0.284 0.379 0.000 0.011 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

137 137 340 1604 0 0 0 975 -1 0

N.S.

1 1.00 2.48 11.71 0.00 0.00 0.00 7.12 -0.01 0.00

time (sec)

N/A 0.129 2.596 0.464 0.000 0.000 0.000 0.049 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B A A A F B B F(-2)

verified

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

size

41 41 87 42 60 32 0 138 60 0

N.S.

1 1.00 2.12 1.02 1.46 0.78 0.00 3.37 1.46 0.00

time (sec)

N/A 0.016 0.736 0.073 0.364 0.345 0.000 0.030 0.417 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A A A F A

verified

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

size

44 62 38 0 0 28 56 65 -1 38

N.S.

1 1.41 0.86 0.00 0.00 0.64 1.27 1.48 -0.02 0.86

time (sec)

N/A 0.438 0.115 0.014 0.000 0.365 0.416 0.009 0.000 2.219

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A F(-1) F F F(-1)

verified

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

size

68 68 64 0 0 43 0 0 -1 0

N.S.

1 1.00 0.94 0.00 0.00 0.63 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.088 0.038 0.012 0.000 0.326 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

141 269 307 439 0 191 0 481 661 0

N.S.

1 1.91 2.18 3.11 0.00 1.35 0.00 3.41 4.69 0.00

time (sec)

N/A 0.490 0.298 0.061 0.000 0.345 0.000 0.016 1.373 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

152 286 2180 0 0 200 0 490 -1 0

N.S.

1 1.88 14.34 0.00 0.00 1.32 0.00 3.22 -0.01 0.00

time (sec)

N/A 0.286 3.003 0.095 0.000 0.377 0.000 0.038 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A F A F F(-2)

verified

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

size

45 51 44 0 0 63 0 60 -1 0

N.S.

1 1.13 0.98 0.00 0.00 1.40 0.00 1.33 -0.02 0.00

time (sec)

N/A 0.075 0.030 180.000 0.000 0.353 0.000 0.013 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B F F B F(-1) A F F(-1)

verified

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

size

34 34 76 0 0 62 0 44 -1 0

N.S.

1 1.00 2.24 0.00 0.00 1.82 0.00 1.29 -0.03 0.00

time (sec)

N/A 0.022 0.076 0.011 0.000 0.338 0.000 0.015 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F A B C A F C

verified

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

size

22 22 22 0 18 56 78 32 -1 71

N.S.

1 1.00 1.00 0.00 0.82 2.55 3.55 1.45 -0.05 3.23

time (sec)

N/A 0.012 0.020 0.076 0.357 0.338 19.107 0.012 0.000 20.311

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B F F B F(-1) A F F(-1)

verified

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

size

32 32 89 0 0 58 0 52 -1 0

N.S.

1 1.00 2.78 0.00 0.00 1.81 0.00 1.62 -0.03 0.00

time (sec)

N/A 0.024 0.058 0.008 0.000 0.347 0.000 0.011 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A A F F(-2)

verified

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

size

43 43 43 89 41 32 34 67 -1 0

N.S.

1 1.00 1.00 2.07 0.95 0.74 0.79 1.56 -0.02 0.00

time (sec)

N/A 0.028 0.017 0.033 0.340 0.411 2.390 0.006 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B B

verified

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

size

28 28 28 21 34 34 48 41 174 51

N.S.

1 1.00 1.00 0.75 1.21 1.21 1.71 1.46 6.21 1.82

time (sec)

N/A 0.006 0.016 0.125 0.263 0.328 0.580 0.002 0.135 2.454

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F A A A A F A

verified

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

size

26 26 26 0 22 22 20 25 -1 22

N.S.

1 1.00 1.00 0.00 0.85 0.85 0.77 0.96 -0.04 0.85

time (sec)

N/A 0.022 0.015 0.014 0.340 0.348 11.549 0.004 0.000 3.853

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B F F B F A F F(-1)

verified

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

size

38 38 85 0 0 138 0 51 -1 0

N.S.

1 1.00 2.24 0.00 0.00 3.63 0.00 1.34 -0.03 0.00

time (sec)

N/A 0.032 0.054 0.231 0.000 0.344 0.000 0.009 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F B F A F F(-1)

verified

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

size

70 94 88 0 0 110 0 65 -1 0

N.S.

1 1.34 1.26 0.00 0.00 1.57 0.00 0.93 -0.01 0.00

time (sec)

N/A 0.081 0.063 0.526 0.000 0.356 0.000 0.016 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A F(-1) F F F(-1)

verified

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

size

58 58 58 0 0 48 0 0 -1 0

N.S.

1 1.00 1.00 0.00 0.00 0.83 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.087 0.025 0.054 0.000 0.345 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

55 55 41 37 36 35 31 39 27 36

N.S.

1 1.00 0.75 0.67 0.65 0.64 0.56 0.71 0.49 0.65

time (sec)

N/A 0.033 0.015 0.022 0.254 0.331 3.579 0.002 0.340 7.394

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F A A A A F A

verified

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

size

26 26 26 0 22 22 20 25 -1 22

N.S.

1 1.00 1.00 0.00 0.85 0.85 0.77 0.96 -0.04 0.85

time (sec)

N/A 0.019 0.014 0.007 0.379 0.336 11.745 0.003 0.000 7.544

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A F A F F(-1)

verified

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

size

78 78 119 0 0 115 0 162 -1 0

N.S.

1 1.00 1.53 0.00 0.00 1.47 0.00 2.08 -0.01 0.00

time (sec)

N/A 0.168 0.041 0.012 0.000 0.340 0.000 0.019 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A F B F F(-1)

verified

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

size

39 39 25 35 35 39 0 86 -1 0

N.S.

1 1.00 0.64 0.90 0.90 1.00 0.00 2.21 -0.03 0.00

time (sec)

N/A 0.029 0.021 0.028 0.395 0.346 0.000 0.006 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A B A F A

verified

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

size

17 17 17 54 15 23 29 26 -1 28

N.S.

1 1.00 1.00 3.18 0.88 1.35 1.71 1.53 -0.06 1.65

time (sec)

N/A 0.017 0.011 0.108 0.345 0.357 0.556 0.004 0.000 2.156

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A F F A F B F F(-1)

verified

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

size

57 57 77 0 0 81 0 130 -1 0

N.S.

1 1.00 1.35 0.00 0.00 1.42 0.00 2.28 -0.02 0.00

time (sec)

N/A 0.049 0.044 0.115 0.000 0.356 0.000 0.006 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

45 45 45 0 0 69 0 133 37 0

N.S.

1 1.00 1.00 0.00 0.00 1.53 0.00 2.96 0.82 0.00

time (sec)

N/A 0.026 0.024 0.066 0.000 0.355 0.000 0.008 0.030 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A B F A

verified

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

size

29 29 33 56 22 47 19 65 -1 21

N.S.

1 1.00 1.14 1.93 0.76 1.62 0.66 2.24 -0.03 0.72

time (sec)

N/A 0.028 0.019 0.115 0.357 0.361 4.534 0.007 0.000 5.785

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A F B F F(-1)

verified

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

size

21 21 21 20 19 22 0 47 -1 0

N.S.

1 1.00 1.00 0.95 0.90 1.05 0.00 2.24 -0.05 0.00

time (sec)

N/A 0.026 0.010 0.050 0.345 0.344 0.000 0.006 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A A F F(-2)

verified

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

size

34 34 27 119 27 27 29 33 -1 0

N.S.

1 1.00 0.79 3.50 0.79 0.79 0.85 0.97 -0.03 0.00

time (sec)

N/A 0.021 0.013 0.037 0.347 0.348 1.396 0.002 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A F A

verified

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

size

33 33 21 29 29 33 26 63 -1 29

N.S.

1 1.00 0.64 0.88 0.88 1.00 0.79 1.91 -0.03 0.88

time (sec)

N/A 0.026 0.018 0.025 0.367 0.331 2.709 0.006 0.000 4.324

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A A F F(-2)

verified

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

size

25 25 35 97 15 15 22 22 -1 0

N.S.

1 1.00 1.40 3.88 0.60 0.60 0.88 0.88 -0.04 0.00

time (sec)

N/A 0.017 0.030 0.389 0.281 0.347 15.612 0.009 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A F A

verified

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

size

34 34 40 39 25 41 41 54 -1 25

N.S.

1 1.00 1.18 1.15 0.74 1.21 1.21 1.59 -0.03 0.74

time (sec)

N/A 0.021 0.013 0.023 0.346 0.342 2.283 0.002 0.000 3.979

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A C A A B B B B B

verified

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

size

16 16 46 14 24 29 46 37 13 36

N.S.

1 1.00 2.88 0.88 1.50 1.81 2.88 2.31 0.81 2.25

time (sec)

N/A 0.012 0.037 0.039 0.342 0.339 8.562 0.002 0.206 10.705

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F B F F F F(-2)

verified

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

size

23 23 23 112 0 42 0 0 -1 0

N.S.

1 1.00 1.00 4.87 0.00 1.83 0.00 0.00 -0.04 0.00

time (sec)

N/A 0.019 0.223 0.185 0.000 0.366 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C F A F F F F(-2)

verified

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

size

23 23 23 112 0 18 0 0 -1 0

N.S.

1 1.00 1.00 4.87 0.00 0.78 0.00 0.00 -0.04 0.00

time (sec)

N/A 0.019 0.201 0.136 0.000 0.369 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B B B B A B B

verified

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

size

22 22 39 54 82 93 105 55 55 61

N.S.

1 1.00 1.77 2.45 3.73 4.23 4.77 2.50 2.50 2.77

time (sec)

N/A 0.044 0.033 0.214 0.384 0.357 0.671 0.014 0.381 3.529

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A B F F B F B F F(-2)

verified

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

size

42 42 87 0 0 146 0 132 -1 0

N.S.

1 1.00 2.07 0.00 0.00 3.48 0.00 3.14 -0.02 0.00

time (sec)

N/A 0.095 0.061 0.040 0.000 0.348 0.000 0.019 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A B A B F B F B F F(-2)

verified

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

size

28 59 45 91 0 54 0 116 -1 0

N.S.

1 2.11 1.61 3.25 0.00 1.93 0.00 4.14 -0.04 0.00

time (sec)

N/A 0.115 0.026 0.154 0.000 0.370 0.000 0.037 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A B B F A F F(-2)

verified

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

size

34 34 55 37 565 186 0 67 -1 0

N.S.

1 1.00 1.62 1.09 16.62 5.47 0.00 1.97 -0.03 0.00

time (sec)

N/A 0.028 0.044 0.071 0.431 0.348 0.000 0.012 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B F B F(-2) B F F(-2)

verified

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

size

39 50 65 67 0 63 0 88 -1 0

N.S.

1 1.28 1.67 1.72 0.00 1.62 0.00 2.26 -0.03 0.00

time (sec)

N/A 0.025 0.059 0.261 0.000 0.389 0.000 0.017 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A F A F F F(-1) F F F F(-2)

verified

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

size

337 0 552 0 0 0 0 0 -1 0

N.S.

1 0.00 1.64 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.495 9.263 0.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A C A A A F B A

verified

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

size

77 77 58 1134 67 52 87 0 78 77

N.S.

1 1.00 0.75 14.73 0.87 0.68 1.13 0.00 1.01 1.00

time (sec)

N/A 0.132 0.016 2.349 0.350 0.362 0.517 0.000 0.257 2.428

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

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

verified

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

size

120 120 95 508 0 287 0 128 413 0

N.S.

1 1.00 0.79 4.23 0.00 2.39 0.00 1.07 3.44 0.00

time (sec)

N/A 0.083 0.092 0.062 0.000 0.366 0.000 0.006 1.086 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A A A A A A B A

verified

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

size

31 37 31 28 26 22 29 40 40 27

N.S.

1 1.19 1.00 0.90 0.84 0.71 0.94 1.29 1.29 0.87

time (sec)

N/A 0.006 0.068 0.011 0.397 0.362 42.899 0.007 0.797 41.171

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B F B F A F F(-1)

verified

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

size

29 29 29 138 0 60 0 41 -1 0

N.S.

1 1.00 1.00 4.76 0.00 2.07 0.00 1.41 -0.03 0.00

time (sec)

N/A 0.016 0.019 0.072 0.000 0.348 0.000 0.013 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad Mathics

grade

A A A B F B F(-1) A B F(-1)

verified

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

size

106 106 106 210 0 164 0 149 455 0

N.S.

1 1.00 1.00 1.98 0.00 1.55 0.00 1.41 4.29 0.00

time (sec)

N/A 0.070 0.161 0.046 0.000 0.367 0.000 0.028 1.160 0.000

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