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

verified

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

size

59 57 81 59 70 67 63 442 58 52

N.S.

1 0.97 1.37 1.00 1.19 1.14 1.07 7.49 0.98 0.88

time (sec)

N/A 0.339 0.017 0.228 0.029 0.088 0.417 0.121 0.178 3.779

Problem 2

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

57 57 62 58 55 69 68 403 65 53

N.S.

1 1.00 1.09 1.02 0.96 1.21 1.19 7.07 1.14 0.93

time (sec)

N/A 0.348 0.016 0.213 0.030 0.080 0.365 0.122 0.169 3.752

Problem 3

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

48 47 70 50 61 58 53 296 48 43

N.S.

1 0.98 1.46 1.04 1.27 1.21 1.10 6.17 1.00 0.90

time (sec)

N/A 0.332 0.016 0.200 0.024 0.072 0.306 0.122 0.164 3.754

Problem 4

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

46 47 51 50 44 58 58 258 56 44

N.S.

1 1.02 1.11 1.09 0.96 1.26 1.26 5.61 1.22 0.96

time (sec)

N/A 0.364 0.015 0.190 0.031 0.087 0.278 0.121 0.159 3.666

Problem 5

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

37 37 59 40 50 48 42 148 37 35

N.S.

1 1.00 1.59 1.08 1.35 1.30 1.14 4.00 1.00 0.95

time (sec)

N/A 0.331 0.014 0.203 0.030 0.076 0.236 0.118 0.156 3.636

Problem 6

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

30 30 30 29 30 42 27 156 35 27

N.S.

1 1.00 1.00 0.97 1.00 1.40 0.90 5.20 1.17 0.90

time (sec)

N/A 0.245 0.003 0.174 0.024 0.079 0.128 0.116 0.168 3.672

Problem 7

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

size

26 26 24 28 0 0 0 0 17 0

N.S.

1 1.00 0.92 1.08 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.315 0.016 0.217 0.000 0.000 0.000 0.000 0.168 0.000

Problem 8

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

36 38 39 42 39 47 41 94 45 33

N.S.

1 1.06 1.08 1.17 1.08 1.31 1.14 2.61 1.25 0.92

time (sec)

N/A 0.269 0.015 0.154 0.031 0.084 0.283 0.120 0.172 3.674

Problem 9

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

37 34 59 39 45 43 36 135 33 46

N.S.

1 0.92 1.59 1.05 1.22 1.16 0.97 3.65 0.89 1.24

time (sec)

N/A 0.337 0.015 0.187 0.029 0.071 0.233 0.118 0.170 3.748

Problem 10

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

54 52 59 56 49 59 70 251 64 46

N.S.

1 0.96 1.09 1.04 0.91 1.09 1.30 4.65 1.19 0.85

time (sec)

N/A 0.245 0.016 0.175 0.024 0.092 0.377 0.117 0.166 3.731

Problem 11

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

48 46 70 43 60 52 46 292 43 59

N.S.

1 0.96 1.46 0.90 1.25 1.08 0.96 6.08 0.90 1.23

time (sec)

N/A 0.258 0.016 0.190 0.025 0.080 0.293 0.132 0.172 3.992

Problem 12

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

65 62 70 64 61 70 80 397 73 71

N.S.

1 0.95 1.08 0.98 0.94 1.08 1.23 6.11 1.12 1.09

time (sec)

N/A 0.250 0.016 0.210 0.026 0.092 0.526 0.126 0.172 3.819

Problem 13

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

145 204 164 182 215 193 211 889 180 171

N.S.

1 1.41 1.13 1.26 1.48 1.33 1.46 6.13 1.24 1.18

time (sec)

N/A 1.319 0.042 0.588 0.034 0.087 0.520 0.139 0.177 3.971

Problem 14

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

size

162 199 161 229 0 0 0 0 173 0

N.S.

1 1.23 0.99 1.41 0.00 0.00 0.00 0.00 1.07 0.00

time (sec)

N/A 1.308 0.314 0.783 0.000 0.000 0.000 0.000 0.182 0.000

Problem 15

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

113 137 132 143 189 160 168 603 143 134

N.S.

1 1.21 1.17 1.27 1.67 1.42 1.49 5.34 1.27 1.19

time (sec)

N/A 0.964 0.040 0.520 0.036 0.085 0.418 0.140 0.170 3.937

Problem 16

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

size

130 142 122 201 0 0 0 0 132 0

N.S.

1 1.09 0.94 1.55 0.00 0.00 0.00 0.00 1.02 0.00

time (sec)

N/A 1.395 0.184 0.710 0.000 0.000 0.000 0.000 0.174 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 78 90 106 158 122 114 301 106 89

N.S.

1 1.04 1.20 1.41 2.11 1.63 1.52 4.01 1.41 1.19

time (sec)

N/A 0.694 0.082 0.464 0.032 0.087 0.308 0.128 0.174 3.846

Problem 18

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

size

74 88 82 115 0 0 0 0 56 0

N.S.

1 1.19 1.11 1.55 0.00 0.00 0.00 0.00 0.76 0.00

time (sec)

N/A 0.724 0.131 0.694 0.000 0.000 0.000 0.000 0.178 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 143 151 630 0 0 0 0 37 0

N.S.

1 1.22 1.29 5.38 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 0.801 0.396 5.319 0.000 0.000 0.000 0.000 0.179 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 77 94 195 0 0 0 0 90 0

N.S.

1 1.08 1.32 2.75 0.00 0.00 0.00 0.00 1.27 0.00

time (sec)

N/A 0.497 0.101 0.533 0.000 0.000 0.000 0.000 0.183 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 77 101 134 151 135 126 278 126 246

N.S.

1 0.96 1.26 1.68 1.89 1.69 1.58 3.48 1.58 3.08

time (sec)

N/A 0.526 0.048 0.332 0.033 0.118 0.358 0.127 0.176 4.211

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 119 145 247 0 0 0 0 149 0

N.S.

1 0.92 1.12 1.90 0.00 0.00 0.00 0.00 1.15 0.00

time (sec)

N/A 0.803 0.242 0.550 0.000 0.000 0.000 0.000 0.177 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 136 164 171 224 173 184 612 163 303

N.S.

1 1.16 1.40 1.46 1.91 1.48 1.57 5.23 1.39 2.59

time (sec)

N/A 0.929 0.045 0.346 0.036 0.103 0.472 0.126 0.174 4.499

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 499 305 803 0 0 0 0 357 0

N.S.

1 2.02 1.23 3.25 0.00 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 3.527 0.476 9.291 0.000 0.000 0.000 0.000 0.176 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 365 383 1070 0 0 0 0 341 0

N.S.

1 1.39 1.46 4.08 0.00 0.00 0.00 0.00 1.30 0.00

time (sec)

N/A 2.898 0.507 12.007 0.000 0.000 0.000 0.000 0.170 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 290 245 667 0 0 0 0 268 0

N.S.

1 1.57 1.32 3.61 0.00 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 3.065 0.334 8.063 0.000 0.000 0.000 0.000 0.170 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 216 250 973 0 0 0 0 259 0

N.S.

1 1.10 1.27 4.94 0.00 0.00 0.00 0.00 1.31 0.00

time (sec)

N/A 1.964 0.368 10.256 0.000 0.000 0.000 0.000 0.179 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 138 161 488 0 0 0 0 185 0

N.S.

1 1.12 1.31 3.97 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 0.965 0.240 6.592 0.000 0.000 0.000 0.000 0.187 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 123 161 230 0 0 0 0 77 0

N.S.

1 1.14 1.49 2.13 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.735 0.207 1.191 0.000 0.000 0.000 0.000 0.196 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 212 315 1304 0 0 0 0 57 0

N.S.

1 1.15 1.71 7.09 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 1.772 0.472 6.395 0.000 0.000 0.000 0.000 0.172 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 115 196 1329 0 0 0 0 140 0

N.S.

1 1.13 1.92 13.03 0.00 0.00 0.00 0.00 1.37 0.00

time (sec)

N/A 1.307 0.238 9.424 0.000 0.000 0.000 0.000 0.172 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 119 192 4599 0 0 0 0 240 0

N.S.

1 0.97 1.56 37.39 0.00 0.00 0.00 0.00 1.95 0.00

time (sec)

N/A 1.099 0.186 8.773 0.000 0.000 0.000 0.000 0.188 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

200 197 323 1581 0 0 0 0 303 0

N.S.

1 0.98 1.62 7.90 0.00 0.00 0.00 0.00 1.52 0.00

time (sec)

N/A 1.926 0.644 12.881 0.000 0.000 0.000 0.000 0.194 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 242 295 1136 0 0 0 0 307 0

N.S.

1 1.29 1.58 6.07 0.00 0.00 0.00 0.00 1.64 0.00

time (sec)

N/A 1.838 0.437 9.128 0.000 0.000 0.000 0.000 0.176 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 142 128 107 134 296 0 0 101 0

N.S.

1 1.15 1.03 0.86 1.08 2.39 0.00 0.00 0.81 0.00

time (sec)

N/A 0.521 0.072 1.166 0.112 0.116 0.000 0.000 0.161 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 123 115 93 118 255 0 0 91 0

N.S.

1 1.16 1.08 0.88 1.11 2.41 0.00 0.00 0.86 0.00

time (sec)

N/A 0.479 0.058 0.372 0.112 0.105 0.000 0.000 0.171 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 119 114 89 119 223 0 0 83 0

N.S.

1 1.12 1.08 0.84 1.12 2.10 0.00 0.00 0.78 0.00

time (sec)

N/A 0.422 0.052 0.394 0.106 0.107 0.000 0.000 0.179 0.000

Problem 38

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

85 92 98 68 103 211 0 88 73 0

N.S.

1 1.08 1.15 0.80 1.21 2.48 0.00 1.04 0.86 0.00

time (sec)

N/A 0.411 0.031 0.416 0.111 0.097 0.000 0.113 0.190 0.000

Problem 39

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

85 95 99 69 94 208 0 93 75 0

N.S.

1 1.12 1.16 0.81 1.11 2.45 0.00 1.09 0.88 0.00

time (sec)

N/A 0.335 0.050 0.507 0.107 0.120 0.000 0.152 0.211 0.000

Problem 40

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

107 120 107 93 101 231 0 117 92 0

N.S.

1 1.12 1.00 0.87 0.94 2.16 0.00 1.09 0.86 0.00

time (sec)

N/A 0.390 0.061 0.462 0.109 0.103 0.000 0.140 0.184 0.000

Problem 41

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

107 122 108 93 112 242 0 117 109 0

N.S.

1 1.14 1.01 0.87 1.05 2.26 0.00 1.09 1.02 0.00

time (sec)

N/A 0.317 0.053 0.389 0.108 0.113 0.000 0.153 0.174 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 142 122 107 130 259 0 135 118 0

N.S.

1 1.14 0.98 0.86 1.04 2.07 0.00 1.08 0.94 0.00

time (sec)

N/A 0.302 0.064 0.394 0.107 0.109 0.000 0.170 0.182 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 379 44 15 18 209 18

N.S.

1 1.00 1.12 1.00 23.69 2.75 0.94 1.12 13.06 1.12

time (sec)

N/A 0.198 2.890 0.336 2.222 0.094 5.263 0.169 0.219 3.988

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 218 30 15 18 159 18

N.S.

1 1.00 1.12 1.00 13.62 1.88 0.94 1.12 9.94 1.12

time (sec)

N/A 0.198 1.763 0.288 1.148 0.099 2.844 0.146 0.197 4.086

Problem 45

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 59 0 0 0 0 0 111 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 1.54 0.00

time (sec)

N/A 0.233 0.060 0.000 0.000 0.000 0.000 0.000 0.167 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 14 18 20 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.88 1.12 1.25 1.12

time (sec)

N/A 0.215 0.201 0.602 0.080 0.074 1.313 0.132 0.167 3.740

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 116 32 15 18 34 18

N.S.

1 1.00 1.12 1.00 7.25 2.00 0.94 1.12 2.12 1.12

time (sec)

N/A 0.203 0.428 0.569 0.129 0.080 9.552 0.139 0.169 3.648

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.176 0.316 0.358 0.153 0.095 1.723 0.144 0.174 3.623

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 16 18 18 0 18 20 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.00 1.12 1.25 1.12

time (sec)

N/A 0.197 0.249 0.553 0.181 0.093 0.000 0.169 0.185 3.633

Problem 50

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

54 53 78 56 69 64 58 78 54 69

N.S.

1 0.98 1.44 1.04 1.28 1.19 1.07 1.44 1.00 1.28

time (sec)

N/A 0.252 0.030 0.303 0.025 0.071 6.084 0.131 0.173 3.878

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 49 53 45 46 62 85 57 58 61

N.S.

1 1.02 1.10 0.94 0.96 1.29 1.77 1.19 1.21 1.27

time (sec)

N/A 0.241 0.025 0.325 0.027 0.077 4.398 0.120 0.168 3.643

Problem 52

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

43 43 67 46 58 54 48 181 43 60

N.S.

1 1.00 1.56 1.07 1.35 1.26 1.12 4.21 1.00 1.40

time (sec)

N/A 0.218 0.025 0.275 0.030 0.085 3.067 0.131 0.164 3.749

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 37 42 37 37 50 71 188 43 52

N.S.

1 0.88 1.00 0.88 0.88 1.19 1.69 4.48 1.02 1.24

time (sec)

N/A 0.202 0.015 0.217 0.029 0.088 2.644 0.126 0.167 3.539

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 36 28 126 0 0 0 0 19 0

N.S.

1 1.20 0.93 4.20 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.246 0.022 0.162 0.000 0.000 0.000 0.000 0.175 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 42 45 47 41 55 80 51 54 55

N.S.

1 1.05 1.12 1.18 1.02 1.38 2.00 1.28 1.35 1.38

time (sec)

N/A 0.221 0.023 0.135 0.026 0.085 4.302 0.118 0.169 3.677

Problem 56

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

41 38 65 45 51 49 41 67 39 52

N.S.

1 0.93 1.59 1.10 1.24 1.20 1.00 1.63 0.95 1.27

time (sec)

N/A 0.284 0.023 0.192 0.030 0.074 2.932 0.119 0.168 3.889

Problem 57

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

56 54 61 63 51 65 97 65 68 67

N.S.

1 0.96 1.09 1.12 0.91 1.16 1.73 1.16 1.21 1.20

time (sec)

N/A 0.401 0.022 0.225 0.028 0.091 7.712 0.122 0.171 3.768

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 74 93 53 69 197 185 73 88 72

N.S.

1 1.14 1.43 0.82 1.06 3.03 2.85 1.12 1.35 1.11

time (sec)

N/A 0.381 0.028 0.441 0.103 0.097 4.471 0.192 0.165 3.848

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 70 91 51 66 186 670 75 84 70

N.S.

1 1.11 1.44 0.81 1.05 2.95 10.63 1.19 1.33 1.11

time (sec)

N/A 0.387 0.025 0.349 0.103 0.094 2.928 0.157 0.174 3.832

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 57 37 55 160 702 83 71 55

N.S.

1 1.00 1.30 0.84 1.25 3.64 15.95 1.89 1.61 1.25

time (sec)

N/A 0.290 0.016 0.209 0.105 0.093 2.211 0.118 0.177 3.540

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 55 75 42 61 157 1374 79 70 62

N.S.

1 1.20 1.63 0.91 1.33 3.41 29.87 1.72 1.52 1.35

time (sec)

N/A 0.304 0.025 0.198 0.110 0.099 3.944 0.143 0.165 3.744

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 69 91 51 65 181 1904 95 89 71

N.S.

1 1.10 1.44 0.81 1.03 2.87 30.22 1.51 1.41 1.13

time (sec)

N/A 0.313 0.030 0.296 0.105 0.091 5.297 0.142 0.167 3.845

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 71 91 51 66 187 1948 91 98 71

N.S.

1 1.13 1.44 0.81 1.05 2.97 30.92 1.44 1.56 1.13

time (sec)

N/A 0.359 0.031 0.353 0.110 0.087 6.924 0.168 0.169 3.884

Problem 64

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

125 153 146 163 217 176 206 175 159 335

N.S.

1 1.22 1.17 1.30 1.74 1.41 1.65 1.40 1.27 2.68

time (sec)

N/A 1.025 0.053 0.732 0.035 0.080 7.684 0.175 0.165 4.408

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 162 132 380 0 0 0 0 151 0

N.S.

1 1.11 0.90 2.60 0.00 0.00 0.00 0.00 1.03 0.00

time (sec)

N/A 0.957 0.199 1.010 0.000 0.000 0.000 0.000 0.168 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 92 106 121 186 138 163 361 120 275

N.S.

1 1.01 1.16 1.33 2.04 1.52 1.79 3.97 1.32 3.02

time (sec)

N/A 0.549 0.038 0.664 0.034 0.075 4.514 0.154 0.156 4.147

Problem 67

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

size

94 104 99 134 0 0 0 0 68 0

N.S.

1 1.11 1.05 1.43 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.566 0.120 1.056 0.000 0.000 0.000 0.000 0.167 0.000

Problem 68

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

137 163 181 0 0 0 0 0 41 0

N.S.

1 1.19 1.32 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 0.852 0.299 0.000 0.000 0.000 0.000 0.000 0.169 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 91 119 820 0 0 0 0 105 0

N.S.

1 1.05 1.37 9.43 0.00 0.00 0.00 0.00 1.21 0.00

time (sec)

N/A 0.579 0.112 0.856 0.000 0.000 0.000 0.000 0.169 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 87 111 152 175 151 175 0 140 278

N.S.

1 0.99 1.26 1.73 1.99 1.72 1.99 0.00 1.59 3.16

time (sec)

N/A 0.637 0.060 0.526 0.035 0.087 6.564 0.000 0.167 3.964

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1173 1173 0 0 0 0 0 0 227 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 2.624 0.000 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1129 1129 0 0 0 0 0 0 205 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

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

Problem 73

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

958 958 566 0 0 0 0 0 91 0

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 2.665 1.813 0.000 0.000 0.000 0.000 0.000 0.164 0.000

Problem 74

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

942 942 566 0 0 0 0 0 95 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 1.724 2.317 0.000 0.000 0.000 0.000 0.000 0.164 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1102 1102 0 0 0 0 0 0 119 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

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

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1176 1176 0 0 0 0 0 0 128 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.362 0.000 0.000 0.000 0.000 0.000 0.000 0.176 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 158 185 798 0 0 0 0 211 0

N.S.

1 1.12 1.31 5.66 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 1.085 0.332 1.177 0.000 0.000 0.000 0.000 0.169 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 143 213 265 0 0 0 0 93 0

N.S.

1 1.07 1.59 1.98 0.00 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 0.827 0.201 1.674 0.000 0.000 0.000 0.000 0.175 0.000

Problem 79

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

207 240 371 0 0 0 0 0 63 0

N.S.

1 1.16 1.79 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 1.316 0.326 0.000 0.000 0.000 0.000 0.000 0.175 0.000

Problem 80

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

125 133 222 0 0 0 0 0 161 0

N.S.

1 1.06 1.78 0.00 0.00 0.00 0.00 0.00 1.29 0.00

time (sec)

N/A 1.412 0.302 0.000 0.000 0.000 0.000 0.000 0.170 0.000

Problem 81

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

139 137 218 0 0 0 0 0 270 0

N.S.

1 0.99 1.57 0.00 0.00 0.00 0.00 0.00 1.94 0.00

time (sec)

N/A 1.690 0.202 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 356 241 256 316 434 0 0 246 0

N.S.

1 1.39 0.94 1.00 1.23 1.69 0.00 0.00 0.96 0.00

time (sec)

N/A 0.722 0.122 4.388 0.122 0.115 0.000 0.000 0.179 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 350 240 248 310 376 0 0 243 0

N.S.

1 1.36 0.93 0.96 1.21 1.46 0.00 0.00 0.95 0.00

time (sec)

N/A 0.634 0.083 0.385 0.114 0.108 0.000 0.000 0.181 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 328 227 240 301 385 0 0 228 0

N.S.

1 1.36 0.94 1.00 1.25 1.60 0.00 0.00 0.95 0.00

time (sec)

N/A 0.610 0.068 0.408 0.122 0.108 0.000 0.000 0.173 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 320 227 242 296 354 0 493 226 0

N.S.

1 1.41 1.00 1.07 1.30 1.56 0.00 2.17 1.00 0.00

time (sec)

N/A 0.586 0.051 0.417 0.111 0.105 0.000 0.134 0.173 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

228 324 268 246 296 388 0 505 244 0

N.S.

1 1.42 1.18 1.08 1.30 1.70 0.00 2.21 1.07 0.00

time (sec)

N/A 0.586 0.092 0.395 0.112 0.102 0.000 0.295 0.172 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 326 268 238 277 421 0 516 254 0

N.S.

1 1.35 1.11 0.99 1.15 1.75 0.00 2.14 1.05 0.00

time (sec)

N/A 0.575 0.101 0.391 0.112 0.100 0.000 0.468 0.177 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 351 275 250 298 460 0 532 281 0

N.S.

1 1.37 1.07 0.97 1.16 1.79 0.00 2.07 1.09 0.00

time (sec)

N/A 0.629 0.083 0.428 0.112 0.107 0.000 1.587 0.178 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 349 281 250 297 447 0 519 284 0

N.S.

1 1.36 1.09 0.97 1.16 1.74 0.00 2.02 1.11 0.00

time (sec)

N/A 0.616 0.092 0.407 0.117 0.120 0.000 5.070 0.176 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

6274 5360 0 0 0 0 0 0 260 0

N.S.

1 0.85 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 12.418 0.000 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

6127 5216 0 0 0 0 0 0 257 0

N.S.

1 0.85 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 11.694 0.000 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

6281 5171 0 0 0 0 0 0 282 0

N.S.

1 0.82 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 11.441 0.000 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

6464 5305 0 0 0 0 0 0 295 0

N.S.

1 0.82 0.00 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 10.211 0.000 0.000 0.000 0.000 0.000 0.000 0.189 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 413 50 17 20 133 20

N.S.

1 1.00 1.11 1.00 22.94 2.78 0.94 1.11 7.39 1.11

time (sec)

N/A 0.189 1.476 0.085 2.477 0.082 52.964 0.190 0.169 3.289

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 236 34 17 20 88 20

N.S.

1 1.00 1.11 1.00 13.11 1.89 0.94 1.11 4.89 1.11

time (sec)

N/A 0.203 0.942 0.079 1.296 0.084 38.196 0.166 0.167 3.336

Problem 96

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

74 74 64 0 0 0 0 0 45 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 0.244 0.062 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 20 20 15 20 22 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.22 1.11

time (sec)

N/A 0.205 0.316 0.073 0.085 0.076 45.029 0.143 0.174 3.469

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 134 36 0 20 38 20

N.S.

1 1.00 1.11 1.00 7.44 2.00 0.00 1.11 2.11 1.11

time (sec)

N/A 0.200 0.332 0.073 0.157 0.079 0.000 0.158 0.166 3.489

Problem 99

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

54 53 78 56 69 64 0 78 54 69

N.S.

1 0.98 1.44 1.04 1.28 1.19 0.00 1.44 1.00 1.28

time (sec)

N/A 0.243 0.027 0.612 0.029 0.088 0.000 0.132 0.161 3.817

Problem 100

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

48 49 53 45 46 62 0 57 79 61

N.S.

1 1.02 1.10 0.94 0.96 1.29 0.00 1.19 1.65 1.27

time (sec)

N/A 0.237 0.029 0.477 0.029 0.082 0.000 0.123 0.162 3.390

[next] [front] [up]