2.2.6 Integrals 501 to 600

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 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 22 22 20 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 1.00 1.10 1.10

time (sec)

N/A 0.703 60.430 0.124 0.325 0.262 0.363 0.280 2.334

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

206 206 310 0 0 3825 0 0 0

N.S.

1 1.00 1.50 0.00 0.00 18.57 0.00 0.00 0.00

time (sec)

N/A 0.682 4.856 0.000 0.000 0.333 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 205 232 0 2227 0 0 0

N.S.

1 1.00 1.71 1.93 0.00 18.56 0.00 0.00 0.00

time (sec)

N/A 0.376 3.162 8.926 0.000 0.288 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 60 29 47 90 511 0 102 107

N.S.

1 1.22 0.59 0.96 1.84 10.43 0.00 2.08 2.18

time (sec)

N/A 0.227 0.002 6.353 0.279 0.256 0.000 0.289 0.091

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 214 22 19 22 22

N.S.

1 1.00 1.10 1.00 10.70 1.10 0.95 1.10 1.10

time (sec)

N/A 0.461 49.821 0.254 0.393 0.245 0.573 2.065 2.309

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 215 22 20 22 22

N.S.

1 1.00 1.10 1.00 10.75 1.10 1.00 1.10 1.10

time (sec)

N/A 0.518 32.903 0.247 0.404 0.256 0.398 2.812 2.350

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

18 18 20 18 20 20 19 20 22

N.S.

1 1.00 1.11 1.00 1.11 1.11 1.06 1.11 1.22

time (sec)

N/A 0.587 67.847 0.151 0.324 0.258 0.359 0.270 2.379

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 262 565 417 352 3394 0 0 0

N.S.

1 1.09 2.35 1.74 1.47 14.14 0.00 0.00 0.00

time (sec)

N/A 0.699 6.512 3.828 0.216 0.298 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 388 266 243 2562 0 0 0

N.S.

1 1.00 2.62 1.80 1.64 17.31 0.00 0.00 0.00

time (sec)

N/A 0.487 2.954 2.622 0.231 0.270 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 85 170 145 1578 0 0 0

N.S.

1 1.00 0.89 1.79 1.53 16.61 0.00 0.00 0.00

time (sec)

N/A 0.332 0.464 1.844 0.225 0.287 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 29 34 25 91 379 0 93 78

N.S.

1 1.04 1.21 0.89 3.25 13.54 0.00 3.32 2.79

time (sec)

N/A 0.215 0.018 1.244 0.275 0.256 0.000 0.268 2.491

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

18 18 20 18 167 20 17 20 22

N.S.

1 1.00 1.11 1.00 9.28 1.11 0.94 1.11 1.22

time (sec)

N/A 0.403 55.269 0.252 0.354 0.246 0.566 0.413 2.380

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

18 18 20 18 170 20 19 20 22

N.S.

1 1.00 1.11 1.00 9.44 1.11 1.06 1.11 1.22

time (sec)

N/A 0.430 23.517 0.257 0.362 0.254 0.406 0.505 2.293

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 22 22 20 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 1.00 1.10 1.10

time (sec)

N/A 0.747 60.007 0.124 0.333 0.252 0.359 0.277 2.286

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

317 346 466 0 0 5356 0 0 0

N.S.

1 1.09 1.47 0.00 0.00 16.90 0.00 0.00 0.00

time (sec)

N/A 1.326 6.438 0.000 0.000 0.334 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

197 197 341 0 0 3804 0 0 0

N.S.

1 1.00 1.73 0.00 0.00 19.31 0.00 0.00 0.00

time (sec)

N/A 0.748 6.336 0.000 0.000 0.321 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 139 148 166 1694 0 0 0

N.S.

1 1.00 1.28 1.36 1.52 15.54 0.00 0.00 0.00

time (sec)

N/A 0.383 1.368 5.888 0.306 0.283 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 52 86 43 106 709 0 110 111

N.S.

1 1.06 1.76 0.88 2.16 14.47 0.00 2.24 2.27

time (sec)

N/A 0.220 0.009 3.900 0.202 0.260 0.000 0.312 0.089

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 226 22 19 22 22

N.S.

1 1.00 1.10 1.00 11.30 1.10 0.95 1.10 1.10

time (sec)

N/A 0.475 69.138 0.267 0.378 0.248 0.564 2.356 2.336

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 226 22 20 3 22

N.S.

1 1.00 1.10 1.00 11.30 1.10 1.00 0.15 1.10

time (sec)

N/A 0.527 43.819 0.186 0.393 0.251 0.406 20.102 2.432

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 22 22 20 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 1.00 1.10 1.10

time (sec)

N/A 0.701 167.592 0.119 0.325 0.253 0.360 0.286 2.371

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 311 274 445 381 6764 0 0 0

N.S.

1 1.30 1.14 1.85 1.59 28.18 0.00 0.00 0.00

time (sec)

N/A 1.233 3.337 29.302 0.226 0.328 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 197 192 299 273 4779 0 0 0

N.S.

1 1.32 1.29 2.01 1.83 32.07 0.00 0.00 0.00

time (sec)

N/A 0.764 3.064 21.848 0.220 0.313 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 119 106 197 164 3025 0 0 0

N.S.

1 1.31 1.16 2.16 1.80 33.24 0.00 0.00 0.00

time (sec)

N/A 0.470 0.749 15.865 0.222 0.302 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

43 41 61 43 102 774 0 96 96

N.S.

1 0.95 1.42 1.00 2.37 18.00 0.00 2.23 2.23

time (sec)

N/A 0.231 0.006 11.704 0.276 0.258 0.000 0.278 0.091

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 208 22 19 22 22

N.S.

1 1.00 1.10 1.00 10.40 1.10 0.95 1.10 1.10

time (sec)

N/A 0.277 51.986 0.261 0.358 0.257 0.575 0.532 2.250

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

20 20 22 20 206 22 20 22 22

N.S.

1 1.00 1.10 1.00 10.30 1.10 1.00 1.10 1.10

time (sec)

N/A 0.276 38.386 0.257 0.373 0.247 0.401 0.641 2.271

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 100 77 0 0 0 0 0 0

N.S.

1 1.15 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.402 0.389 0.000 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 72 142 0 0 0 0 0 0

N.S.

1 1.12 2.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 2.332 0.000 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 72 56 0 0 0 0 0 0

N.S.

1 1.12 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 0.262 0.000 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 109 250 0 0 0 0 0

N.S.

1 1.00 2.95 6.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.236 1.286 0.261 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 37 37 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.237 0.278 0.000 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 68 57 0 0 0 0 0 0

N.S.

1 1.06 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 72 57 0 0 0 0 0 0

N.S.

1 1.12 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 96 69 0 0 0 0 0 0

N.S.

1 1.10 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.395 0.361 0.000 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 116 69 0 0 0 0 0 0

N.S.

1 1.08 0.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.517 0.418 0.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

84 92 65 0 0 0 0 0 0

N.S.

1 1.10 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.418 0.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

84 88 57 0 0 0 0 0 0

N.S.

1 1.05 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.411 0.300 0.000 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 57 46 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 0.235 0.000 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 100 250 0 0 0 0 0

N.S.

1 1.00 1.75 4.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.313 1.400 0.287 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

84 92 71 0 0 0 0 0 0

N.S.

1 1.10 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.407 0.322 0.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

84 92 125 0 0 0 0 0 0

N.S.

1 1.10 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.404 3.289 0.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 120 93 0 0 0 0 0 0

N.S.

1 1.12 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.506 0.421 0.000 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 134 103 0 0 0 0 0 0

N.S.

1 1.11 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.494 0.360 0.000 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 143 0 0 0 0 0 0

N.S.

1 1.08 1.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 3.954 0.000 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 77 0 0 0 0 0 0

N.S.

1 1.08 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.395 0.284 0.000 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 115 229 0 0 0 0 0

N.S.

1 1.00 1.62 3.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.316 1.665 0.232 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 71 56 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.313 0.277 0.000 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 102 66 0 0 0 0 0 0

N.S.

1 1.04 0.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.394 0.296 0.000 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 67 0 0 0 0 0 0

N.S.

1 1.08 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.357 0.000 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 130 89 0 0 0 0 0 0

N.S.

1 1.07 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 0.339 0.000 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 130 83 0 0 0 0 0 0

N.S.

1 1.07 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.548 0.550 0.000 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 75 0 0 0 0 0 0

N.S.

1 1.08 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.422 0.351 0.000 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 102 70 0 0 0 0 0 0

N.S.

1 1.04 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.419 0.288 0.000 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 71 56 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 0.243 0.000 0.000 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 100 229 0 0 0 0 0

N.S.

1 1.00 1.41 3.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 0.898 0.285 0.000 0.000 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 67 0 0 0 0 0 0

N.S.

1 1.08 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.419 0.457 0.000 0.000 0.000 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 111 0 0 0 0 0 0

N.S.

1 1.08 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.414 3.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 134 103 0 0 0 0 0 0

N.S.

1 1.11 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.524 0.495 0.000 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 42 35 53 0 0 35

N.S.

1 1.00 1.00 3.23 2.69 4.08 0.00 0.00 2.69

time (sec)

N/A 0.319 0.111 0.655 0.310 0.249 0.000 0.000 2.288

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 84 23 0 69 95 0 0 0

N.S.

1 2.71 0.74 0.00 2.23 3.06 0.00 0.00 0.00

time (sec)

N/A 0.442 0.107 0.000 0.335 0.262 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

50 114 29 0 103 253 0 0 0

N.S.

1 2.28 0.58 0.00 2.06 5.06 0.00 0.00 0.00

time (sec)

N/A 0.529 0.140 0.000 0.301 0.259 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 35 42 54 55 0 0 23

N.S.

1 1.00 2.69 3.23 4.15 4.23 0.00 0.00 1.77

time (sec)

N/A 0.357 0.106 0.640 0.299 0.245 0.000 0.000 2.234

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 74 21 0 109 97 0 0 0

N.S.

1 2.39 0.68 0.00 3.52 3.13 0.00 0.00 0.00

time (sec)

N/A 0.432 0.085 0.000 0.300 0.252 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

50 99 44 0 163 259 0 0 0

N.S.

1 1.98 0.88 0.00 3.26 5.18 0.00 0.00 0.00

time (sec)

N/A 0.542 0.287 0.000 0.308 0.266 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 60 50 122 167 585 87 178

N.S.

1 1.00 1.15 0.96 2.35 3.21 11.25 1.67 3.42

time (sec)

N/A 0.329 0.159 0.687 0.278 0.266 30.481 0.277 2.556

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 62 52 119 174 586 88 177

N.S.

1 1.00 1.17 0.98 2.25 3.28 11.06 1.66 3.34

time (sec)

N/A 0.332 0.233 0.714 0.297 0.258 30.303 0.275 0.342

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 56 104 0 289 840 60 198

N.S.

1 1.00 0.98 1.82 0.00 5.07 14.74 1.05 3.47

time (sec)

N/A 0.335 0.091 0.372 0.000 0.265 16.661 0.263 2.513

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 56 109 0 299 840 62 199

N.S.

1 1.00 0.95 1.85 0.00 5.07 14.24 1.05 3.37

time (sec)

N/A 0.334 0.125 0.413 0.000 0.277 15.822 0.259 2.486

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 58 62 134 0 96 103

N.S.

1 1.00 1.00 2.32 2.48 5.36 0.00 3.84 4.12

time (sec)

N/A 0.268 0.295 0.621 0.409 0.261 0.000 0.301 2.427

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 55 0 129 0 100 105

N.S.

1 1.00 1.00 2.20 0.00 5.16 0.00 4.00 4.20

time (sec)

N/A 0.278 0.115 0.556 0.000 0.274 0.000 0.281 2.427

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 63 59 0 249 0 53 636

N.S.

1 1.00 1.02 0.95 0.00 4.02 0.00 0.85 10.26

time (sec)

N/A 0.456 0.205 0.510 0.000 0.482 0.000 0.267 7.579

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 71 77 58 141 172 0 90 539

N.S.

1 1.22 1.33 1.00 2.43 2.97 0.00 1.55 9.29

time (sec)

N/A 0.467 1.195 0.680 0.284 0.467 0.000 0.286 4.291

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 24 39 64 70 238 41 56

N.S.

1 1.00 1.26 2.05 3.37 3.68 12.53 2.16 2.95

time (sec)

N/A 0.253 0.015 0.206 0.272 0.268 3.320 0.252 2.290

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 17 9 14 17 41 14 14

N.S.

1 1.00 2.12 1.12 1.75 2.12 5.12 1.75 1.75

time (sec)

N/A 0.287 0.022 0.251 0.191 0.246 0.449 0.242 0.046

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 9 14 17 12 14 14

N.S.

1 1.00 2.25 1.12 1.75 2.12 1.50 1.75 1.75

time (sec)

N/A 0.289 0.035 0.243 0.196 0.257 0.369 0.245 0.049

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 24 39 102 70 61 38 56

N.S.

1 1.00 1.26 2.05 5.37 3.68 3.21 2.00 2.95

time (sec)

N/A 0.248 0.061 0.540 0.287 0.263 1.042 0.255 0.119

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 127 84 0 598 0 71 704

N.S.

1 1.07 1.72 1.14 0.00 8.08 0.00 0.96 9.51

time (sec)

N/A 0.625 0.626 0.605 0.000 0.476 0.000 0.259 8.066

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 87 106 86 158 401 0 109 613

N.S.

1 1.26 1.54 1.25 2.29 5.81 0.00 1.58 8.88

time (sec)

N/A 0.646 1.624 0.720 0.295 0.480 0.000 0.270 4.577

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 9 9 8 23 9

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.89 2.56 1.00

time (sec)

N/A 0.143 0.036 0.238 0.189 0.257 0.081 0.259 2.321

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 36 37 46 42 78 74 39

N.S.

1 1.00 0.97 1.00 1.24 1.14 2.11 2.00 1.05

time (sec)

N/A 0.197 0.051 0.999 0.196 0.256 0.086 0.263 2.320

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 51 63 48 69 97 66 134 53

N.S.

1 1.46 1.80 1.37 1.97 2.77 1.89 3.83 1.51

time (sec)

N/A 0.209 0.117 5.914 0.195 0.259 0.116 0.262 0.101

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 75 87 90 103 168 265 208 143

N.S.

1 1.04 1.21 1.25 1.43 2.33 3.68 2.89 1.99

time (sec)

N/A 0.281 0.101 24.436 0.202 0.264 0.188 0.274 2.316

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 83 133 102 191 298 172 344 117

N.S.

1 1.36 2.18 1.67 3.13 4.89 2.82 5.64 1.92

time (sec)

N/A 0.250 0.201 180.655 0.210 0.248 0.249 0.266 0.137

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 47 46 39 0 148 105 35 35

N.S.

1 1.24 1.21 1.03 0.00 3.89 2.76 0.92 0.92

time (sec)

N/A 0.212 0.027 0.655 0.000 0.265 2.106 0.254 0.106

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 27 29 62 604 26 22

N.S.

1 1.00 1.00 1.59 1.71 3.65 35.53 1.53 1.29

time (sec)

N/A 0.185 0.029 5.051 0.228 0.249 136.944 0.259 2.281

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 85 96 146 0 1495 0 88 157

N.S.

1 1.10 1.25 1.90 0.00 19.42 0.00 1.14 2.04

time (sec)

N/A 0.313 0.359 32.794 0.000 0.286 0.000 0.260 2.336

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 64 46 498 527 0 53 47

N.S.

1 1.00 0.96 0.69 7.43 7.87 0.00 0.79 0.70

time (sec)

N/A 0.282 0.098 137.481 0.225 0.256 0.000 0.271 2.428

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 136 147 462 0 6874 0 236 354

N.S.

1 1.21 1.31 4.12 0.00 61.38 0.00 2.11 3.16

time (sec)

N/A 0.433 0.663 0.288 0.000 0.352 0.000 0.266 2.407

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 206 33 0 57 0 0 0

N.S.

1 1.00 3.17 0.51 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.276 0.514 0.986 0.000 0.078 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 92 171 0 101 0 0 0

N.S.

1 1.00 0.89 1.66 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.383 0.418 0.809 0.000 0.086 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 193 42 0 274 0 0 0

N.S.

1 1.00 1.87 0.41 0.00 2.66 0.00 0.00 0.00

time (sec)

N/A 0.388 0.588 0.912 0.000 0.086 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 81 97 0 29 0 0 0

N.S.

1 1.00 1.25 1.49 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.268 0.085 0.650 0.000 0.079 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 148 33 0 222 0 0 0

N.S.

1 1.00 1.32 0.29 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.411 0.372 0.587 0.000 0.087 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 133 37 0 679 0 0 0

N.S.

1 1.00 1.15 0.32 0.00 5.85 0.00 0.00 0.00

time (sec)

N/A 0.376 0.425 0.629 0.000 0.097 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 45 12 23 21 29 56 11

N.S.

1 1.00 1.96 0.52 1.00 0.91 1.26 2.43 0.48

time (sec)

N/A 0.164 0.007 0.343 0.190 0.247 0.090 0.254 0.061

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 25 18 88 43 44 17 17

N.S.

1 1.00 0.96 0.69 3.38 1.65 1.69 0.65 0.65

time (sec)

N/A 0.195 0.138 1.276 0.199 0.243 0.116 0.254 0.070

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 25 18 146 64 83 17 17

N.S.

1 1.00 0.96 0.69 5.62 2.46 3.19 0.65 0.65

time (sec)

N/A 0.193 0.208 6.512 0.206 0.237 0.163 0.257 0.074

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 24 27 18 34 36 17 17

N.S.

1 1.00 0.92 1.04 0.69 1.31 1.38 0.65 0.65

time (sec)

N/A 0.200 0.077 0.741 0.200 0.247 0.127 0.261 2.404

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 18 17 23 34 17 17

N.S.

1 1.00 1.00 0.75 0.71 0.96 1.42 0.71 0.71

time (sec)

N/A 0.198 0.174 0.667 0.195 0.254 0.296 0.267 0.073