[tail] [up]

Integrals 1 to 50

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

verified

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

size

149 150 274 295 273 322 381 1576 348 272

N.S.

1 1.01 1.84 1.98 1.83 2.16 2.56 10.58 2.34 1.83

time (sec)

N/A 0.374 0.083 0.351 0.035 0.086 0.499 0.152 0.181 4.210

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 122 205 227 209 244 279 970 247 197

N.S.

1 0.98 1.64 1.82 1.67 1.95 2.23 7.76 1.98 1.58

time (sec)

N/A 0.343 0.064 0.191 0.028 0.095 0.501 0.136 0.172 3.798

Problem 3

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

96 99 129 165 137 163 178 532 172 127

N.S.

1 1.03 1.34 1.72 1.43 1.70 1.85 5.54 1.79 1.32

time (sec)

N/A 0.308 0.058 0.158 0.025 0.091 0.346 0.129 0.196 3.581

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

84 85 96 78 83 98 92 245 85 67

N.S.

1 1.01 1.14 0.93 0.99 1.17 1.10 2.92 1.01 0.80

time (sec)

N/A 0.280 0.018 0.103 0.034 0.089 0.344 0.117 0.175 3.521

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 114 257 145 0 0 0 0 30 0

N.S.

1 1.00 2.25 1.27 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.469 0.174 0.345 0.000 0.000 0.000 0.000 0.204 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 89 102 114 99 182 663 243 223 115

N.S.

1 0.96 1.10 1.23 1.06 1.96 7.13 2.61 2.40 1.24

time (sec)

N/A 0.306 0.090 0.265 0.026 0.102 1.421 0.124 0.217 6.171

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 124 133 142 190 454 3216 809 693 427

N.S.

1 0.95 1.02 1.09 1.46 3.49 24.74 6.22 5.33 3.28

time (sec)

N/A 0.370 0.102 0.318 0.033 0.141 3.312 0.129 0.188 6.712

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 171 173 184 339 859 10946 1792 1565 418

N.S.

1 0.98 0.99 1.06 1.95 4.94 62.91 10.30 8.99 2.40

time (sec)

N/A 0.428 0.182 0.438 0.045 0.290 5.155 0.165 0.184 5.043

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

359 362 506 804 782 0 0 0 619 0

N.S.

1 1.01 1.41 2.24 2.18 0.00 0.00 0.00 1.72 0.00

time (sec)

N/A 1.210 0.566 0.293 0.204 0.000 0.000 0.000 0.203 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

257 270 319 590 524 0 0 0 400 0

N.S.

1 1.05 1.24 2.30 2.04 0.00 0.00 0.00 1.56 0.00

time (sec)

N/A 1.024 0.398 0.200 0.194 0.000 0.000 0.000 0.183 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 177 174 298 313 0 0 0 208 0

N.S.

1 1.11 1.09 1.86 1.96 0.00 0.00 0.00 1.30 0.00

time (sec)

N/A 0.847 0.360 0.147 0.207 0.000 0.000 0.000 0.203 0.000

Problem 12

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

size

188 188 1055 1087 0 0 0 0 55 0

N.S.

1 1.00 5.61 5.78 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.363 10.044 2.880 0.000 0.000 0.000 0.000 0.183 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

321 310 317 451 0 0 0 0 0 0

N.S.

1 0.97 0.99 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.694 2.973 0.413 0.000 0.000 0.000 0.000 0.194 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

480 450 470 592 0 0 0 0 0 0

N.S.

1 0.94 0.98 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.868 4.507 0.746 0.000 0.000 0.000 0.000 0.210 0.000

Problem 15

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

614 608 830 5093 0 0 0 0 1081 0

N.S.

1 0.99 1.35 8.29 0.00 0.00 0.00 0.00 1.76 0.00

time (sec)

N/A 1.490 1.240 28.289 0.000 0.000 0.000 0.000 0.187 0.000

Problem 16

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

387 403 591 3848 0 0 0 0 696 0

N.S.

1 1.04 1.53 9.94 0.00 0.00 0.00 0.00 1.80 0.00

time (sec)

N/A 1.102 0.767 14.828 0.000 0.000 0.000 0.000 0.185 0.000

Problem 17

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

244 259 331 6347 0 0 0 0 345 0

N.S.

1 1.06 1.36 26.01 0.00 0.00 0.00 0.00 1.41 0.00

time (sec)

N/A 0.847 0.671 2.789 0.000 0.000 0.000 0.000 0.180 0.000

Problem 18

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

size

272 272 2160 2160 0 0 0 0 80 0

N.S.

1 1.00 7.94 7.94 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.376 26.718 2.857 0.000 0.000 0.000 0.000 0.189 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 No No TBD TBD TBD TBD TBD TBD

size

517 487 1107 3154 0 0 0 0 0 0

N.S.

1 0.94 2.14 6.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.947 11.532 2.632 0.000 0.000 0.000 0.000 0.226 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

953 896 0 50477 0 0 0 0 0 0

N.S.

1 0.94 0.00 52.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.175 0.000 10.626 0.000 0.000 0.000 0.000 0.357 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 109 240 92 0 0 0 0 34 0

N.S.

1 1.63 3.58 1.37 0.00 0.00 0.00 0.00 0.51 0.00

time (sec)

N/A 0.657 0.207 0.222 0.000 0.000 0.000 0.000 0.178 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 108 272 127 144 0 0 0 47 0

N.S.

1 1.23 3.09 1.44 1.64 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 0.474 0.082 0.298 0.111 0.000 0.000 0.000 0.197 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 86 260 106 119 0 0 0 12 0

N.S.

1 1.00 3.02 1.23 1.38 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.406 0.062 0.291 0.026 0.000 0.000 0.000 0.177 0.000

Problem 24

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

154 160 254 242 240 519 2786 227 314 823

N.S.

1 1.04 1.65 1.57 1.56 3.37 18.09 1.47 2.04 5.34

time (sec)

N/A 0.527 0.136 0.497 0.114 0.147 7.477 7.467 0.188 4.696

Problem 25

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

158 140 170 199 171 401 3465 171 250 309

N.S.

1 0.89 1.08 1.26 1.08 2.54 21.93 1.08 1.58 1.96

time (sec)

N/A 0.423 0.098 0.369 0.113 0.101 6.063 1.100 0.188 3.940

Problem 26

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

117 103 104 92 95 249 753 133 118 242

N.S.

1 0.88 0.89 0.79 0.81 2.13 6.44 1.14 1.01 2.07

time (sec)

N/A 0.370 0.047 0.211 0.106 0.102 4.895 0.298 0.185 3.836

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 325 285 347 0 0 0 0 32 0

N.S.

1 1.00 0.88 1.07 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.804 17.327 0.276 0.000 0.000 0.000 0.000 0.189 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 168 261 155 172 634 0 269 506 727

N.S.

1 1.01 1.57 0.93 1.04 3.82 0.00 1.62 3.05 4.38

time (sec)

N/A 0.561 0.232 0.504 0.110 2.550 0.000 0.142 0.173 5.028

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 223 379 229 311 1639 0 362 1597 2016

N.S.

1 0.99 1.68 1.01 1.38 7.25 0.00 1.60 7.07 8.92

time (sec)

N/A 0.637 0.444 0.744 0.114 22.241 0.000 24.159 0.208 7.637

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

size

1085 1085 684 0 0 0 0 0 168 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.088 2.080 0.000 0.000 0.000 0.000 0.000 0.169 0.000

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 F(-1) 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 81 36 0 22 59 22

N.S.

1 1.00 1.10 1.00 4.05 1.80 0.00 1.10 2.95 1.10

time (sec)

N/A 0.214 48.764 0.056 0.197 0.094 0.000 0.167 0.183 3.359

Problem 32

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

20 20 22 20 323 47 0 22 695 22

N.S.

1 1.00 1.10 1.00 16.15 2.35 0.00 1.10 34.75 1.10

time (sec)

N/A 0.207 85.623 0.056 1.277 0.075 0.000 0.363 0.205 3.487

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 326 299 467 295 9282 0 346 369 1081

N.S.

1 1.09 1.00 1.56 0.98 30.94 0.00 1.15 1.23 3.60

time (sec)

N/A 0.753 0.145 0.374 0.119 0.995 0.000 11.459 0.177 3.633

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

250 297 333 363 248 3928 0 267 252 621

N.S.

1 1.19 1.33 1.45 0.99 15.71 0.00 1.07 1.01 2.48

time (sec)

N/A 0.665 0.075 0.233 0.116 0.898 0.000 0.843 0.184 3.527

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

523 519 515 182 0 0 0 0 32 0

N.S.

1 0.99 0.98 0.35 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 1.244 10.781 0.326 0.000 0.000 0.000 0.000 0.225 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

414 410 534 461 394 12984 0 554 20 2638

N.S.

1 0.99 1.29 1.11 0.95 31.36 0.00 1.34 0.05 6.37

time (sec)

N/A 1.059 0.343 0.814 0.113 137.992 0.000 15.723 200.017 3.925

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 300 160 247 246 0 0 0 68 0

N.S.

1 1.54 0.82 1.27 1.26 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 3.168 0.476 0.243 0.195 0.000 0.000 0.000 0.176 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 217 130 216 208 0 0 0 59 0

N.S.

1 1.36 0.81 1.35 1.30 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 1.389 0.353 0.074 0.207 0.000 0.000 0.000 0.182 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 146 96 185 166 0 0 0 47 0

N.S.

1 1.22 0.80 1.54 1.38 0.00 0.00 0.00 0.39 0.00

time (sec)

N/A 0.853 0.229 0.070 0.187 0.000 0.000 0.000 0.189 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 89 75 140 101 0 0 0 39 0

N.S.

1 1.14 0.96 1.79 1.29 0.00 0.00 0.00 0.50 0.00

time (sec)

N/A 0.488 0.137 0.061 0.234 0.000 0.000 0.000 0.186 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 75 74 180 159 0 0 0 40 0

N.S.

1 1.09 1.07 2.61 2.30 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 0.572 0.180 0.091 0.170 0.000 0.000 0.000 0.175 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 123 118 243 248 0 0 0 58 0

N.S.

1 1.05 1.01 2.08 2.12 0.00 0.00 0.00 0.50 0.00

time (sec)

N/A 0.901 0.301 0.098 0.192 0.000 0.000 0.000 0.161 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 185 158 273 291 0 0 0 123 0

N.S.

1 1.18 1.01 1.74 1.85 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 1.274 0.454 0.103 0.205 0.000 0.000 0.000 0.164 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 261 187 303 330 0 0 0 157 0

N.S.

1 1.36 0.97 1.58 1.72 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 1.733 0.600 0.104 0.205 0.000 0.000 0.000 0.165 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

460 459 558 564 0 0 0 0 56 0

N.S.

1 1.00 1.21 1.23 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 1.459 1.862 0.184 0.000 0.000 0.000 0.000 0.171 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

374 387 463 494 0 0 0 0 40 0

N.S.

1 1.03 1.24 1.32 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.925 1.648 0.066 0.000 0.000 0.000 0.000 0.183 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

318 329 432 433 0 0 0 0 31 0

N.S.

1 1.03 1.36 1.36 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.843 1.165 0.062 0.000 0.000 0.000 0.000 0.168 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

358 374 445 499 0 0 0 0 40 0

N.S.

1 1.04 1.24 1.39 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.357 1.499 0.092 0.000 0.000 0.000 0.000 0.183 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

413 429 479 577 0 0 0 0 56 0

N.S.

1 1.04 1.16 1.40 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 1.670 1.936 0.100 0.000 0.000 0.000 0.000 0.188 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

506 498 538 650 0 0 0 0 990 0

N.S.

1 0.98 1.06 1.28 0.00 0.00 0.00 0.00 1.96 0.00

time (sec)

N/A 1.558 2.624 0.117 0.000 0.000 0.000 0.000 0.190 0.000

[front] [up]