[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 B A A A B F(-1)

verified

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

size

175 167 119 162 312 158 226 192 163 0

N.S.

1 0.95 0.68 0.93 1.78 0.90 1.29 1.10 0.93 0.00

time (sec)

N/A 0.513 0.132 0.147 0.124 0.135 0.530 0.137 0.210 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 127 95 119 200 122 170 140 121 0

N.S.

1 0.97 0.73 0.91 1.53 0.93 1.30 1.07 0.92 0.00

time (sec)

N/A 0.357 0.075 0.113 0.131 0.125 0.279 0.145 0.219 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 79 67 80 100 72 95 76 76 0

N.S.

1 1.03 0.87 1.04 1.30 0.94 1.23 0.99 0.99 0.00

time (sec)

N/A 0.278 0.061 0.093 0.126 0.129 0.125 0.137 0.268 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 66 107 140 0 0 0 0 54 0

N.S.

1 0.78 1.26 1.65 0.00 0.00 0.00 0.00 0.64 0.00

time (sec)

N/A 0.341 0.154 0.677 0.000 0.000 0.000 0.000 0.279 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 122 220 189 0 0 0 0 148 0

N.S.

1 0.84 1.52 1.30 0.00 0.00 0.00 0.00 1.02 0.00

time (sec)

N/A 0.531 0.340 0.457 0.000 0.000 0.000 0.000 0.293 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

198 174 321 252 0 0 0 0 262 0

N.S.

1 0.88 1.62 1.27 0.00 0.00 0.00 0.00 1.32 0.00

time (sec)

N/A 0.663 0.471 0.541 0.000 0.000 0.000 0.000 0.294 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 351 241 384 730 323 529 449 279 0

N.S.

1 1.18 0.81 1.29 2.45 1.08 1.78 1.51 0.94 0.00

time (sec)

N/A 1.324 1.344 0.706 0.157 0.168 0.804 0.171 0.348 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 245 193 275 466 247 394 329 213 0

N.S.

1 1.12 0.88 1.26 2.13 1.13 1.80 1.50 0.97 0.00

time (sec)

N/A 0.953 1.208 0.322 0.160 0.149 0.438 0.162 0.339 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 141 138 173 234 146 230 185 145 0

N.S.

1 1.10 1.08 1.35 1.83 1.14 1.80 1.45 1.13 0.00

time (sec)

N/A 0.554 0.163 0.279 0.130 0.151 0.203 0.151 0.277 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 122 215 314 0 0 0 0 85 0

N.S.

1 0.70 1.24 1.80 0.00 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 0.531 0.571 0.306 0.000 0.000 0.000 0.000 0.275 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 197 401 423 0 0 0 0 233 0

N.S.

1 0.78 1.60 1.69 0.00 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 1.190 3.203 0.490 0.000 0.000 0.000 0.000 0.276 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

446 665 411 715 1389 535 978 841 423 0

N.S.

1 1.49 0.92 1.60 3.11 1.20 2.19 1.89 0.95 0.00

time (sec)

N/A 3.160 1.499 0.545 0.222 0.154 1.224 0.208 0.324 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 435 331 508 882 408 722 618 332 0

N.S.

1 1.32 1.00 1.54 2.67 1.24 2.19 1.87 1.01 0.00

time (sec)

N/A 1.631 1.284 0.415 0.192 0.126 0.655 0.192 0.249 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 236 240 313 447 248 418 355 238 0

N.S.

1 1.20 1.22 1.60 2.28 1.27 2.13 1.81 1.21 0.00

time (sec)

N/A 0.845 0.245 0.401 0.161 0.131 0.327 0.178 0.283 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

270 186 427 549 0 0 0 0 114 0

N.S.

1 0.69 1.58 2.03 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.717 0.635 0.441 0.000 0.000 0.000 0.000 0.270 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

431 321 769 804 0 0 0 0 312 0

N.S.

1 0.74 1.78 1.87 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 1.976 7.678 0.589 0.000 0.000 0.000 0.000 0.244 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 51 43 42 0 0 0 59 64 0

N.S.

1 0.76 0.64 0.63 0.00 0.00 0.00 0.88 0.96 0.00

time (sec)

N/A 0.336 0.297 0.167 0.000 0.000 0.000 0.139 0.236 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 40 34 35 0 0 0 44 46 0

N.S.

1 0.80 0.68 0.70 0.00 0.00 0.00 0.88 0.92 0.00

time (sec)

N/A 0.318 0.115 0.086 0.000 0.000 0.000 0.142 0.246 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 27 23 22 0 0 0 25 28 0

N.S.

1 0.93 0.79 0.76 0.00 0.00 0.00 0.86 0.97 0.00

time (sec)

N/A 0.294 0.072 0.079 0.000 0.000 0.000 0.130 0.267 0.000

Problem 20

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

20 20 22 20 25 24 22 24 27 22

N.S.

1 1.00 1.10 1.00 1.25 1.20 1.10 1.20 1.35 1.10

time (sec)

N/A 0.197 1.517 0.310 0.225 0.098 0.754 0.549 0.247 0.320

Problem 21

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

20 20 22 20 23 36 36 23 36 22

N.S.

1 1.00 1.10 1.00 1.15 1.80 1.80 1.15 1.80 1.10

time (sec)

N/A 0.202 7.095 0.597 0.250 0.106 0.979 2.088 0.269 0.325

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 79 83 107 0 0 0 169 64 0

N.S.

1 0.84 0.88 1.14 0.00 0.00 0.00 1.80 0.68 0.00

time (sec)

N/A 0.488 0.351 0.135 0.000 0.000 0.000 0.152 0.284 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 68 70 83 0 0 0 124 46 0

N.S.

1 0.88 0.91 1.08 0.00 0.00 0.00 1.61 0.60 0.00

time (sec)

N/A 0.445 0.224 0.093 0.000 0.000 0.000 0.161 0.245 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 53 55 61 0 0 0 73 28 0

N.S.

1 0.98 1.02 1.13 0.00 0.00 0.00 1.35 0.52 0.00

time (sec)

N/A 0.408 0.139 0.080 0.000 0.000 0.000 0.152 0.269 0.000

Problem 25

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

20 20 22 20 154 24 26 24 31 22

N.S.

1 1.00 1.10 1.00 7.70 1.20 1.30 1.20 1.55 1.10

time (sec)

N/A 0.328 4.464 0.305 0.480 0.118 0.866 0.596 0.248 0.331

Problem 26

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

20 20 22 20 201 36 41 23 42 22

N.S.

1 1.00 1.10 1.00 10.05 1.80 2.05 1.15 2.10 1.10

time (sec)

N/A 0.337 12.991 0.577 0.572 0.103 1.432 2.432 0.254 0.325

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 208 183 188 0 0 0 674 80 0

N.S.

1 0.77 0.68 0.70 0.00 0.00 0.00 2.51 0.30 0.00

time (sec)

N/A 0.607 1.293 0.122 0.000 0.000 0.000 0.162 0.270 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 158 139 142 0 0 0 396 58 0

N.S.

1 0.79 0.69 0.71 0.00 0.00 0.00 1.97 0.29 0.00

time (sec)

N/A 0.492 0.478 0.096 0.000 0.000 0.000 0.157 0.242 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 106 93 94 0 0 0 178 36 0

N.S.

1 0.85 0.74 0.75 0.00 0.00 0.00 1.42 0.29 0.00

time (sec)

N/A 0.420 0.159 0.082 0.000 0.000 0.000 0.150 0.253 0.000

Problem 30

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

24 24 26 24 29 39 36 28 40 26

N.S.

1 1.00 1.08 1.00 1.21 1.62 1.50 1.17 1.67 1.08

time (sec)

N/A 0.207 2.657 0.279 0.236 0.118 1.540 3.280 0.232 0.331

Problem 31

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

24 24 26 24 27 67 61 27 58 26

N.S.

1 1.00 1.08 1.00 1.12 2.79 2.54 1.12 2.42 1.08

time (sec)

N/A 0.214 31.639 0.822 0.249 0.125 2.742 177.321 0.218 0.341

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

303 243 461 468 0 0 0 2110 136 0

N.S.

1 0.80 1.52 1.54 0.00 0.00 0.00 6.96 0.45 0.00

time (sec)

N/A 0.741 1.711 0.128 0.000 0.000 0.000 0.264 0.258 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

235 193 233 354 0 0 0 1271 100 0

N.S.

1 0.82 0.99 1.51 0.00 0.00 0.00 5.41 0.43 0.00

time (sec)

N/A 0.749 0.792 0.118 0.000 0.000 0.000 0.235 0.268 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 139 122 238 0 0 0 610 64 0

N.S.

1 0.89 0.78 1.52 0.00 0.00 0.00 3.89 0.41 0.00

time (sec)

N/A 0.605 0.371 0.104 0.000 0.000 0.000 0.229 0.256 0.000

Problem 35

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

24 24 26 24 237 71 73 28 74 26

N.S.

1 1.00 1.08 1.00 9.88 2.96 3.04 1.17 3.08 1.08

time (sec)

N/A 0.437 26.206 0.292 0.645 0.111 3.586 8.326 0.259 0.334

Problem 36

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

verified

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

size

24 24 26 24 344 119 121 0 112 26

N.S.

1 1.00 1.08 1.00 14.33 4.96 5.04 0.00 4.67 1.08

time (sec)

N/A 0.440 57.709 1.316 0.919 0.101 14.611 0.000 0.290 0.326

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 190 157 203 0 0 270 0 150 0

N.S.

1 1.07 0.88 1.14 0.00 0.00 1.52 0.00 0.84 0.00

time (sec)

N/A 0.730 0.442 0.495 0.000 0.000 14.328 0.000 0.237 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 131 114 152 0 0 190 0 101 0

N.S.

1 1.07 0.93 1.25 0.00 0.00 1.56 0.00 0.83 0.00

time (sec)

N/A 0.546 0.300 0.410 0.000 0.000 1.383 0.000 0.257 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 68 71 98 0 0 97 0 51 0

N.S.

1 1.00 1.04 1.44 0.00 0.00 1.43 0.00 0.75 0.00

time (sec)

N/A 0.314 0.170 0.264 0.000 0.000 4.008 0.000 0.245 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 49 44 0 97 0 27 0

N.S.

1 1.00 1.00 1.96 1.76 0.00 3.88 0.00 1.08 0.00

time (sec)

N/A 0.219 0.019 0.249 0.133 0.000 3.104 0.000 0.223 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 89 93 62 0 0 0 80 0

N.S.

1 1.00 1.68 1.75 1.17 0.00 0.00 0.00 1.51 0.00

time (sec)

N/A 0.254 0.150 0.318 0.145 0.000 0.000 0.000 0.212 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 117 134 167 141 0 0 0 197 0

N.S.

1 1.04 1.20 1.49 1.26 0.00 0.00 0.00 1.76 0.00

time (sec)

N/A 0.374 0.176 0.331 0.143 0.000 0.000 0.000 0.226 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

168 181 176 244 0 0 0 0 355 0

N.S.

1 1.08 1.05 1.45 0.00 0.00 0.00 0.00 2.11 0.00

time (sec)

N/A 0.531 0.207 0.345 0.000 0.000 0.000 0.000 0.244 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 258 203 293 0 0 410 0 166 0

N.S.

1 1.20 0.94 1.36 0.00 0.00 1.91 0.00 0.77 0.00

time (sec)

N/A 0.889 1.496 0.442 0.000 0.000 2.683 0.000 0.234 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 120 129 179 0 0 0 0 82 0

N.S.

1 0.97 1.04 1.44 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.480 0.572 0.379 0.000 0.000 0.000 0.000 0.232 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 69 105 0 100 0 41 0

N.S.

1 1.00 1.00 2.76 4.20 0.00 4.00 0.00 1.64 0.00

time (sec)

N/A 0.214 0.025 0.327 0.132 0.000 3.267 0.000 0.260 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 113 167 269 0 0 0 0 142 0

N.S.

1 0.91 1.35 2.17 0.00 0.00 0.00 0.00 1.15 0.00

time (sec)

N/A 0.572 0.678 0.494 0.000 0.000 0.000 0.000 0.249 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 216 310 1687 0 0 0 0 361 0

N.S.

1 0.96 1.37 7.46 0.00 0.00 0.00 0.00 1.60 0.00

time (sec)

N/A 1.213 0.860 0.495 0.000 0.000 0.000 0.000 0.232 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 30 33 30 26 31 27 13 0

N.S.

1 1.00 0.88 0.97 0.88 0.76 0.91 0.79 0.38 0.00

time (sec)

N/A 0.238 0.006 0.006 0.125 0.134 0.568 0.127 0.222 0.000

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

13 13 13 12 11 11 17 11 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 1.31 0.85 0.85 0.85

time (sec)

N/A 0.200 0.008 0.083 0.116 0.092 0.373 0.125 0.263 0.371

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 278 266 689 0 0 0 0 150 0

N.S.

1 1.06 1.02 2.63 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.759 0.709 0.605 0.000 0.000 0.000 0.000 0.260 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 204 211 479 0 0 0 0 101 0

N.S.

1 1.10 1.14 2.59 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.560 0.441 0.381 0.000 0.000 0.000 0.000 0.223 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 116 133 280 0 0 0 0 51 0

N.S.

1 1.00 1.15 2.41 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.340 0.446 0.281 0.000 0.000 0.000 0.000 0.241 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 50 86 44 0 0 24 27 0

N.S.

1 1.00 1.02 1.76 0.90 0.00 0.00 0.49 0.55 0.00

time (sec)

N/A 0.215 0.081 0.164 0.145 0.000 0.000 0.183 0.255 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 77 177 62 0 0 0 80 0

N.S.

1 1.00 0.96 2.21 0.78 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.243 0.164 0.319 0.129 0.000 0.000 0.000 0.232 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 159 113 472 141 0 0 0 197 0

N.S.

1 1.03 0.73 3.06 0.92 0.00 0.00 0.00 1.28 0.00

time (sec)

N/A 0.382 0.214 0.413 0.141 0.000 0.000 0.000 0.279 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 238 154 2280 0 0 0 0 355 0

N.S.

1 1.06 0.68 10.13 0.00 0.00 0.00 0.00 1.58 0.00

time (sec)

N/A 0.544 0.241 0.501 0.000 0.000 0.000 0.000 0.253 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

296 331 328 987 0 0 0 0 166 0

N.S.

1 1.12 1.11 3.33 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.976 1.921 0.447 0.000 0.000 0.000 0.000 0.260 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 168 219 531 0 0 0 0 82 0

N.S.

1 0.88 1.14 2.77 0.00 0.00 0.00 0.00 0.43 0.00

time (sec)

N/A 0.547 1.013 0.335 0.000 0.000 0.000 0.000 0.254 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 64 142 105 0 0 38 41 0

N.S.

1 1.00 1.31 2.90 2.14 0.00 0.00 0.78 0.84 0.00

time (sec)

N/A 0.229 0.433 0.212 0.130 0.000 0.000 0.222 0.242 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

205 140 167 399 0 0 0 0 142 0

N.S.

1 0.68 0.81 1.95 0.00 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 0.617 0.769 0.359 0.000 0.000 0.000 0.000 0.312 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

321 270 322 2418 0 0 0 0 361 0

N.S.

1 0.84 1.00 7.53 0.00 0.00 0.00 0.00 1.12 0.00

time (sec)

N/A 1.349 1.213 0.437 0.000 0.000 0.000 0.000 0.232 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 365 138 533 0 0 0 0 53 0

N.S.

1 1.04 0.39 1.52 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.460 0.301 0.799 0.000 0.000 0.000 0.000 0.238 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 169 87 260 0 0 0 0 23 0

N.S.

1 0.79 0.40 1.21 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.887 0.171 0.466 0.000 0.000 0.000 0.000 0.227 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 42 52 69 0 0 14 16 0

N.S.

1 1.00 1.00 1.24 1.64 0.00 0.00 0.33 0.38 0.00

time (sec)

N/A 0.241 0.056 0.309 0.132 0.000 0.000 0.185 0.246 0.000

Problem 66

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

236 152 181 278 0 0 0 0 52 0

N.S.

1 0.64 0.77 1.18 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.754 0.234 0.553 0.000 0.000 0.000 0.000 0.280 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

387 292 216 673 0 0 0 0 68 0

N.S.

1 0.75 0.56 1.74 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 1.672 0.621 0.818 0.000 0.000 0.000 0.000 0.216 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

430 204 197 319 0 0 0 525 94 0

N.S.

1 0.47 0.46 0.74 0.00 0.00 0.00 1.22 0.22 0.00

time (sec)

N/A 0.582 0.824 0.677 0.000 0.000 0.000 0.534 0.225 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

294 152 151 244 0 0 0 285 61 0

N.S.

1 0.52 0.51 0.83 0.00 0.00 0.00 0.97 0.21 0.00

time (sec)

N/A 0.480 0.514 0.217 0.000 0.000 0.000 0.442 0.259 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 101 94 170 0 0 0 110 27 0

N.S.

1 0.60 0.56 1.01 0.00 0.00 0.00 0.65 0.16 0.00

time (sec)

N/A 0.421 0.320 0.200 0.000 0.000 0.000 0.337 0.234 0.000

Problem 71

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

size

46 51 46 57 0 57 0 0 22 0

N.S.

1 1.11 1.00 1.24 0.00 1.24 0.00 0.00 0.48 0.00

time (sec)

N/A 0.235 0.184 0.187 0.000 0.115 0.000 0.000 0.234 0.000

Problem 72

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

26 26 28 24 26 81 27 26 88 26

N.S.

1 1.00 1.08 0.92 1.00 3.12 1.04 1.00 3.38 1.00

time (sec)

N/A 0.231 9.441 0.431 0.356 0.106 3.416 0.207 0.281 0.317

Problem 73

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

26 26 28 24 26 108 27 26 129 26

N.S.

1 1.00 1.08 0.92 1.00 4.15 1.04 1.00 4.96 1.00

time (sec)

N/A 0.237 6.436 1.724 0.308 0.110 8.011 0.237 0.245 0.307

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

428 238 343 717 0 0 0 1706 136 0

N.S.

1 0.56 0.80 1.68 0.00 0.00 0.00 3.99 0.32 0.00

time (sec)

N/A 0.750 0.804 0.623 0.000 0.000 0.000 1.058 0.257 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

287 186 231 501 0 0 0 926 89 0

N.S.

1 0.65 0.80 1.75 0.00 0.00 0.00 3.23 0.31 0.00

time (sec)

N/A 0.600 0.515 0.319 0.000 0.000 0.000 0.919 0.238 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 130 118 279 0 0 0 348 41 0

N.S.

1 0.80 0.73 1.72 0.00 0.00 0.00 2.15 0.25 0.00

time (sec)

N/A 0.730 0.348 0.247 0.000 0.000 0.000 0.680 0.245 0.000

Problem 77

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

46 46 46 59 38 70 0 0 27 0

N.S.

1 1.00 1.00 1.28 0.83 1.52 0.00 0.00 0.59 0.00

time (sec)

N/A 0.240 0.211 0.103 0.216 0.113 0.000 0.000 0.237 0.000

Problem 78

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

26 26 28 24 239 133 29 26 144 26

N.S.

1 1.00 1.08 0.92 9.19 5.12 1.12 1.00 5.54 1.00

time (sec)

N/A 0.418 16.069 0.461 0.758 0.111 12.520 0.313 0.257 0.328

Problem 79

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

26 26 28 24 317 178 29 26 216 26

N.S.

1 1.00 1.08 0.92 12.19 6.85 1.12 1.00 8.31 1.00

time (sec)

N/A 0.400 17.416 2.282 0.924 0.133 27.216 0.355 0.248 0.325

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

317 317 261 440 430 322 598 475 494 0

N.S.

1 1.00 0.82 1.39 1.36 1.02 1.89 1.50 1.56 0.00

time (sec)

N/A 0.742 0.176 0.195 0.120 0.145 1.163 0.142 0.245 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 226 188 305 297 230 394 318 338 0

N.S.

1 1.00 0.84 1.36 1.32 1.02 1.75 1.41 1.50 0.00

time (sec)

N/A 0.595 0.148 0.144 0.121 0.198 0.627 0.142 0.243 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 152 126 194 186 152 245 192 208 0

N.S.

1 1.01 0.84 1.29 1.24 1.01 1.63 1.28 1.39 0.00

time (sec)

N/A 0.397 0.103 0.141 0.158 0.136 0.358 0.138 0.239 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 84 91 100 94 83 114 91 104 0

N.S.

1 1.04 1.12 1.23 1.16 1.02 1.41 1.12 1.28 0.00

time (sec)

N/A 0.290 0.055 0.122 0.123 0.140 0.224 0.133 0.255 0.000

Problem 84

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

31 31 31 32 31 32 29 31 31 29

N.S.

1 1.00 1.00 1.03 1.00 1.03 0.94 1.00 1.00 0.94

time (sec)

N/A 0.185 0.006 0.005 0.134 0.110 0.067 0.114 0.246 0.398

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

541 541 843 234 0 0 0 0 46 0

N.S.

1 1.00 1.56 0.43 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 1.504 1.201 10.564 0.000 0.000 0.000 0.000 0.269 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

569 569 445 702 700 555 994 826 487 0

N.S.

1 1.00 0.78 1.23 1.23 0.98 1.75 1.45 0.86 0.00

time (sec)

N/A 1.387 0.272 0.845 0.166 0.138 0.948 0.170 0.270 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

335 335 291 443 438 349 600 491 324 0

N.S.

1 1.00 0.87 1.32 1.31 1.04 1.79 1.47 0.97 0.00

time (sec)

N/A 0.902 0.214 0.519 0.142 0.135 0.533 0.159 0.256 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 156 166 221 222 177 284 232 184 0

N.S.

1 1.00 1.06 1.42 1.42 1.13 1.82 1.49 1.18 0.00

time (sec)

N/A 0.482 0.116 0.452 0.128 0.128 0.295 0.153 0.251 0.000

Problem 89

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

size

47 52 76 74 73 65 87 75 75 96

N.S.

1 1.11 1.62 1.57 1.55 1.38 1.85 1.60 1.60 2.04

time (sec)

N/A 0.321 0.026 0.000 0.118 0.127 0.120 0.127 0.246 0.463

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

821 821 0 0 0 0 0 0 74 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 1.852 0.000 0.000 0.000 0.000 0.000 0.000 0.264 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

388 388 254 311 0 0 0 635 57 0

N.S.

1 1.00 0.65 0.80 0.00 0.00 0.00 1.64 0.15 0.00

time (sec)

N/A 1.011 0.448 0.181 0.000 0.000 0.000 0.167 0.262 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

180 180 125 152 0 0 0 229 33 0

N.S.

1 1.00 0.69 0.84 0.00 0.00 0.00 1.27 0.18 0.00

time (sec)

N/A 0.539 0.163 0.151 0.000 0.000 0.000 0.155 0.253 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 50 46 49 0 0 0 50 12 0

N.S.

1 0.93 0.85 0.91 0.00 0.00 0.00 0.93 0.22 0.00

time (sec)

N/A 0.390 0.010 0.046 0.000 0.000 0.000 0.130 0.246 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

20 20 22 20 22 29 17 22 31 22

N.S.

1 1.00 1.10 1.00 1.10 1.45 0.85 1.10 1.55 1.10

time (sec)

N/A 0.223 0.654 1.053 0.214 0.095 3.101 0.404 0.288 0.319

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

20 20 22 20 22 53 19 22 59 22

N.S.

1 1.00 1.10 1.00 1.10 2.65 0.95 1.10 2.95 1.10

time (sec)

N/A 0.206 3.332 4.570 0.210 0.092 96.612 6.498 0.315 0.316

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

497 497 359 796 0 0 0 2213 99 0

N.S.

1 1.00 0.72 1.60 0.00 0.00 0.00 4.45 0.20 0.00

time (sec)

N/A 1.121 1.842 0.384 0.000 0.000 0.000 0.240 0.253 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

248 248 190 375 0 0 0 860 61 0

N.S.

1 1.00 0.77 1.51 0.00 0.00 0.00 3.47 0.25 0.00

time (sec)

N/A 0.721 0.825 0.210 0.000 0.000 0.000 0.200 0.253 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 81 72 74 0 0 0 193 26 0

N.S.

1 0.94 0.84 0.86 0.00 0.00 0.00 2.24 0.30 0.00

time (sec)

N/A 0.646 0.142 0.006 0.000 0.000 0.000 0.142 0.249 0.000

Problem 99

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

20 20 22 20 319 57 19 22 64 22

N.S.

1 1.00 1.10 1.00 15.95 2.85 0.95 1.10 3.20 1.10

time (sec)

N/A 0.221 34.800 1.228 2.183 0.120 39.741 0.810 0.260 0.323

Problem 100

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) F(-2) N/A N/A

verified

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

size

20 20 22 20 438 98 0 0 115 22

N.S.

1 1.00 1.10 1.00 21.90 4.90 0.00 0.00 5.75 1.10

time (sec)

N/A 0.222 71.276 4.392 3.021 0.121 0.000 0.000 0.356 0.335

[next] [front] [up]