[tail] [up]

Integrals 1 to 70

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 A A B B A B B

verified

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

size

12 12 12 15 19 30 37 15 14 12

N.S.

1 1.00 1.00 1.25 1.58 2.50 3.08 1.25 1.17 1.00

time (sec)

N/A 0.153 0.003 0.036 0.026 0.076 0.944 0.152 0.191 0.105

Problem 2

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

11 11 11 12 13 19 0 13 19 11

N.S.

1 1.00 1.00 1.09 1.18 1.73 0.00 1.18 1.73 1.00

time (sec)

N/A 0.175 0.018 0.115 0.025 0.066 0.000 0.130 0.190 16.243

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 75 38 46 72 0 92 41 36

N.S.

1 1.00 2.21 1.12 1.35 2.12 0.00 2.71 1.21 1.06

time (sec)

N/A 0.228 0.015 0.114 0.032 0.079 0.000 0.160 0.199 0.069

Problem 4

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

27 24 35 23 25 45 0 25 31 21

N.S.

1 0.89 1.30 0.85 0.93 1.67 0.00 0.93 1.15 0.78

time (sec)

N/A 0.187 0.012 0.143 0.029 0.069 0.000 0.170 0.197 15.635

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 60 113 50 71 112 0 138 58 59

N.S.

1 1.09 2.05 0.91 1.29 2.04 0.00 2.51 1.05 1.07

time (sec)

N/A 0.314 0.015 0.184 0.026 0.074 0.000 0.164 0.198 0.102

Problem 6

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

42 36 56 33 35 64 0 35 41 38

N.S.

1 0.86 1.33 0.79 0.83 1.52 0.00 0.83 0.98 0.90

time (sec)

N/A 0.195 0.015 0.175 0.025 0.065 0.000 0.137 0.198 15.929

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 86 151 60 91 155 0 182 74 78

N.S.

1 1.13 1.99 0.79 1.20 2.04 0.00 2.39 0.97 1.03

time (sec)

N/A 0.406 0.020 0.231 0.026 0.082 0.000 0.152 0.211 0.138

Problem 8

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

55 44 77 43 45 87 0 45 51 41

N.S.

1 0.80 1.40 0.78 0.82 1.58 0.00 0.82 0.93 0.75

time (sec)

N/A 0.199 0.018 0.226 0.031 0.067 0.000 0.152 0.188 16.481

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 91 63 160 0 120 0 0 18 0

N.S.

1 1.01 0.70 1.78 0.00 1.33 0.00 0.00 0.20 0.00

time (sec)

N/A 0.409 0.149 0.167 0.000 0.086 0.000 0.000 0.205 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 50 88 0 88 0 0 18 0

N.S.

1 1.00 0.75 1.31 0.00 1.31 0.00 0.00 0.27 0.00

time (sec)

N/A 0.303 0.068 0.082 0.000 0.090 0.000 0.000 0.193 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 63 49 132 0 72 0 0 16 0

N.S.

1 1.00 0.78 2.10 0.00 1.14 0.00 0.00 0.25 0.00

time (sec)

N/A 0.305 0.045 0.072 0.000 0.081 0.000 0.000 0.191 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 40 69 0 51 0 0 9 61

N.S.

1 1.00 0.98 1.68 0.00 1.24 0.00 0.00 0.22 1.49

time (sec)

N/A 0.225 0.031 0.116 0.000 0.082 0.000 0.000 0.191 14.897

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 40 91 0 55 0 0 18 0

N.S.

1 1.00 0.98 2.22 0.00 1.34 0.00 0.00 0.44 0.00

time (sec)

N/A 0.231 0.035 0.153 0.000 0.081 0.000 0.000 0.195 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 53 88 0 68 0 0 18 0

N.S.

1 1.00 0.79 1.31 0.00 1.01 0.00 0.00 0.27 0.00

time (sec)

N/A 0.308 0.046 0.089 0.000 0.082 0.000 0.000 0.197 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 60 142 0 85 0 0 18 0

N.S.

1 1.00 0.90 2.12 0.00 1.27 0.00 0.00 0.27 0.00

time (sec)

N/A 0.303 0.084 0.080 0.000 0.082 0.000 0.000 0.194 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 95 65 104 0 81 0 0 18 0

N.S.

1 1.06 0.72 1.16 0.00 0.90 0.00 0.00 0.20 0.00

time (sec)

N/A 0.396 0.120 0.070 0.000 0.088 0.000 0.000 0.194 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 105 67 248 0 150 0 0 24 0

N.S.

1 1.02 0.65 2.41 0.00 1.46 0.00 0.00 0.23 0.00

time (sec)

N/A 0.468 0.154 0.841 0.000 0.078 0.000 0.000 0.197 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 55 137 0 105 0 0 24 0

N.S.

1 1.00 0.73 1.83 0.00 1.40 0.00 0.00 0.32 0.00

time (sec)

N/A 0.334 0.141 0.306 0.000 0.083 0.000 0.000 0.198 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 71 54 223 0 83 0 0 20 0

N.S.

1 1.00 0.76 3.14 0.00 1.17 0.00 0.00 0.28 0.00

time (sec)

N/A 0.329 0.092 0.197 0.000 0.084 0.000 0.000 0.197 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 42 120 0 55 0 0 12 63

N.S.

1 1.00 0.98 2.79 0.00 1.28 0.00 0.00 0.28 1.47

time (sec)

N/A 0.233 0.031 0.229 0.000 0.075 0.000 0.000 0.191 15.184

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 42 243 0 62 0 0 24 0

N.S.

1 1.00 0.98 5.65 0.00 1.44 0.00 0.00 0.56 0.00

time (sec)

N/A 0.232 0.034 0.296 0.000 0.074 0.000 0.000 0.196 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 63 142 0 85 0 0 24 0

N.S.

1 1.00 0.82 1.84 0.00 1.10 0.00 0.00 0.31 0.00

time (sec)

N/A 0.325 0.067 0.252 0.000 0.079 0.000 0.000 0.182 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 60 257 0 96 0 0 24 0

N.S.

1 1.00 0.78 3.34 0.00 1.25 0.00 0.00 0.31 0.00

time (sec)

N/A 0.327 0.108 0.388 0.000 0.085 0.000 0.000 0.184 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 113 70 158 0 98 0 0 24 0

N.S.

1 1.08 0.67 1.50 0.00 0.93 0.00 0.00 0.23 0.00

time (sec)

N/A 0.439 0.109 0.474 0.000 0.084 0.000 0.000 0.177 0.000

Problem 25

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

51 51 54 0 0 0 0 0 10 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.237 0.068 0.000 0.000 0.000 0.000 0.000 0.181 0.000

Problem 26

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

51 51 51 0 0 0 0 0 10 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.256 0.044 0.000 0.000 0.000 0.000 0.000 0.190 0.000

Problem 27

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

53 53 51 0 0 0 0 0 10 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.251 0.043 0.000 0.000 0.000 0.000 0.000 0.197 0.000

Problem 28

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

53 53 51 0 0 0 0 0 10 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.263 0.043 0.000 0.000 0.000 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 F F F F F(-1)

verified

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

size

53 53 51 0 0 0 0 0 10 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.258 0.042 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 30

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

53 53 68 0 0 0 0 0 10 0

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.271 0.089 0.000 0.000 0.000 0.000 0.000 0.195 0.000

Problem 31

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

54 54 57 0 0 0 0 0 14 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.254 0.052 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 32

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

54 54 59 0 0 0 0 0 14 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.276 0.066 0.000 0.000 0.000 0.000 0.000 0.192 0.000

Problem 33

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

56 56 59 0 0 0 0 0 14 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.266 0.058 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 34

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

56 56 59 0 0 0 0 0 14 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.277 0.060 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 35

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

56 56 59 0 0 0 0 0 14 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.285 0.062 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 36

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

56 56 76 0 0 0 0 0 14 0

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.297 0.125 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 37

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

69 69 59 0 0 0 0 0 10 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.266 0.086 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 38

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

72 72 65 0 0 0 0 0 14 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.284 0.087 0.000 0.000 0.000 0.000 0.000 0.202 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 66 92 44 1669 93 0 129 38 0

N.S.

1 1.32 1.84 0.88 33.38 1.86 0.00 2.58 0.76 0.00

time (sec)

N/A 0.206 0.200 0.317 0.198 0.074 0.000 0.164 0.198 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 45 72 36 869 69 0 100 30 0

N.S.

1 1.25 2.00 1.00 24.14 1.92 0.00 2.78 0.83 0.00

time (sec)

N/A 0.194 0.201 0.151 0.160 0.112 0.000 0.165 0.195 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 24 51 25 300 44 0 69 21 0

N.S.

1 1.09 2.32 1.14 13.64 2.00 0.00 3.14 0.95 0.00

time (sec)

N/A 0.185 0.087 0.104 0.147 0.074 0.000 0.127 0.182 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

5 5 15 18 35 19 0 12 5 0

N.S.

1 1.00 3.00 3.60 7.00 3.80 0.00 2.40 1.00 0.00

time (sec)

N/A 0.176 0.005 0.071 0.157 0.073 0.000 0.167 0.167 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 14 12 13 10 4 12 11 6 12

N.S.

1 1.17 1.00 1.08 0.83 0.33 1.00 0.92 0.50 1.00

time (sec)

N/A 0.180 0.017 0.072 0.117 0.067 0.216 0.162 0.171 15.385

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 33 23 19 11 11 29 44 14 0

N.S.

1 1.14 0.79 0.66 0.38 0.38 1.00 1.52 0.48 0.00

time (sec)

N/A 0.186 0.028 0.086 0.140 0.071 0.367 0.126 0.163 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 54 31 27 17 17 46 61 22 0

N.S.

1 1.26 0.72 0.63 0.40 0.40 1.07 1.42 0.51 0.00

time (sec)

N/A 0.193 0.035 0.121 0.142 0.072 1.266 0.136 0.173 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 75 37 33 23 21 61 78 30 0

N.S.

1 1.32 0.65 0.58 0.40 0.37 1.07 1.37 0.53 0.00

time (sec)

N/A 0.206 0.046 0.129 0.147 0.070 9.539 0.153 0.167 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 100 61 52 2183 106 0 164 43 0

N.S.

1 1.19 0.73 0.62 25.99 1.26 0.00 1.95 0.51 0.00

time (sec)

N/A 0.233 0.261 0.227 2.199 0.085 0.000 0.161 0.165 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 76 51 40 1113 80 0 106 35 0

N.S.

1 1.17 0.78 0.62 17.12 1.23 0.00 1.63 0.54 0.00

time (sec)

N/A 0.218 0.176 0.145 0.300 0.080 0.000 0.153 0.175 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 52 39 28 318 49 0 72 24 0

N.S.

1 1.13 0.85 0.61 6.91 1.07 0.00 1.57 0.52 0.00

time (sec)

N/A 0.205 0.072 0.104 0.178 0.078 0.000 0.120 0.177 0.000

Problem 50

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

26 28 17 20 24 64 0 13 8 0

N.S.

1 1.08 0.65 0.77 0.92 2.46 0.00 0.50 0.31 0.00

time (sec)

N/A 0.195 0.006 0.065 0.152 0.084 0.000 0.172 0.162 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 16 14 18 13 22 14 34 12 15

N.S.

1 1.14 1.00 1.29 0.93 1.57 1.00 2.43 0.86 1.07

time (sec)

N/A 0.189 0.018 0.057 0.112 0.068 0.288 0.161 0.162 14.904

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 46 27 33 0 29 32 52 21 0

N.S.

1 1.28 0.75 0.92 0.00 0.81 0.89 1.44 0.58 0.00

time (sec)

N/A 0.198 0.031 0.074 0.000 0.073 0.428 0.166 0.170 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 75 36 37 0 37 51 66 29 0

N.S.

1 1.36 0.65 0.67 0.00 0.67 0.93 1.20 0.53 0.00

time (sec)

N/A 0.213 0.040 0.095 0.000 0.072 1.473 0.159 0.168 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 104 42 43 0 43 68 76 37 0

N.S.

1 1.41 0.57 0.58 0.00 0.58 0.92 1.03 0.50 0.00

time (sec)

N/A 0.232 0.055 0.103 0.000 0.076 12.337 0.128 0.169 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 121 58 185 0 161 0 0 16 0

N.S.

1 0.98 0.47 1.50 0.00 1.31 0.00 0.00 0.13 0.00

time (sec)

N/A 0.655 0.149 0.925 0.000 0.084 0.000 0.000 0.160 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 86 46 103 0 99 0 0 14 0

N.S.

1 1.21 0.65 1.45 0.00 1.39 0.00 0.00 0.20 0.00

time (sec)

N/A 0.455 0.099 0.372 0.000 0.087 0.000 0.000 0.163 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 61 46 155 0 64 0 0 11 0

N.S.

1 1.27 0.96 3.23 0.00 1.33 0.00 0.00 0.23 0.00

time (sec)

N/A 0.373 0.042 0.145 0.000 0.075 0.000 0.000 0.172 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 65 38 93 0 68 0 0 16 0

N.S.

1 1.30 0.76 1.86 0.00 1.36 0.00 0.00 0.32 0.00

time (sec)

N/A 0.368 0.050 0.166 0.000 0.081 0.000 0.000 0.165 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 88 52 178 0 84 0 0 16 0

N.S.

1 1.11 0.66 2.25 0.00 1.06 0.00 0.00 0.20 0.00

time (sec)

N/A 0.444 0.082 0.463 0.000 0.087 0.000 0.000 0.166 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 125 63 117 0 88 0 0 16 0

N.S.

1 1.02 0.51 0.95 0.00 0.72 0.00 0.00 0.13 0.00

time (sec)

N/A 0.631 0.122 1.016 0.000 0.098 0.000 0.000 0.161 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

164 66 59 61 66 118 0 69 51 603

N.S.

1 0.40 0.36 0.37 0.40 0.72 0.00 0.42 0.31 3.68

time (sec)

N/A 0.275 0.070 0.588 0.117 0.083 0.000 0.178 0.173 19.962

Problem 62

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

118 54 47 49 48 88 0 35 39 121

N.S.

1 0.46 0.40 0.42 0.41 0.75 0.00 0.30 0.33 1.03

time (sec)

N/A 0.264 0.050 0.266 0.111 0.087 0.000 0.147 0.171 17.665

Problem 63

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

62 36 33 35 30 52 0 23 25 44

N.S.

1 0.58 0.53 0.56 0.48 0.84 0.00 0.37 0.40 0.71

time (sec)

N/A 0.253 0.031 0.106 0.115 0.072 0.000 0.142 0.169 15.969

Problem 64

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

16 16 16 18 9 24 0 9 10 7

N.S.

1 1.00 1.00 1.12 0.56 1.50 0.00 0.56 0.62 0.44

time (sec)

N/A 0.228 0.020 0.067 0.114 0.066 0.000 0.130 0.170 15.119

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 29 25 24 25 46 0 0 15 0

N.S.

1 0.81 0.69 0.67 0.69 1.28 0.00 0.00 0.42 0.00

time (sec)

N/A 0.222 0.040 0.081 0.108 0.075 0.000 0.000 0.175 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 62 38 42 58 61 0 0 33 0

N.S.

1 0.72 0.44 0.49 0.67 0.71 0.00 0.00 0.38 0.00

time (sec)

N/A 0.336 0.055 0.172 0.115 0.084 0.000 0.000 0.182 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 92 55 54 88 73 0 0 49 0

N.S.

1 0.70 0.42 0.41 0.67 0.55 0.00 0.00 0.37 0.00

time (sec)

N/A 0.463 0.098 0.423 0.120 0.081 0.000 0.000 0.174 0.000

Problem 68

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

80 80 71 0 0 0 0 0 18 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.376 0.121 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 69

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

82 82 73 0 0 0 0 0 21 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.357 0.072 0.000 0.000 0.000 0.000 0.000 0.181 0.000

Problem 70

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

91 91 77 0 0 0 0 0 19 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.363 0.364 0.000 0.000 0.000 0.000 0.000 0.195 0.000

[front] [up]