[prev] [prev-tail] [tail] [up]

Integrals 401 to 493

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 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

435 0 1310 925 0 2534 0 0 21 0

N.S.

1 0.00 3.01 2.13 0.00 5.83 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 1.592 1.638 0.000 11.136 0.000 0.000 200.031 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

512 0 1323 1210 0 6035 0 0 21 0

N.S.

1 0.00 2.58 2.36 0.00 11.79 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 1.560 2.095 0.000 107.948 0.000 0.000 200.025 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

596 0 1211 1843 0 0 0 0 21 0

N.S.

1 0.00 2.03 3.09 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 0.000 1.549 2.396 0.000 0.000 0.000 0.000 200.032 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

668 0 1993 1598 0 0 0 0 21 0

N.S.

1 0.00 2.98 2.39 0.00 0.00 0.00 0.00 0.03 0.00

time (sec)

N/A 0.000 2.421 2.956 0.000 0.000 0.000 0.000 200.027 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

213 213 141 222 0 167 180 0 159 0

N.S.

1 1.00 0.66 1.04 0.00 0.78 0.85 0.00 0.75 0.00

time (sec)

N/A 0.930 10.135 2.559 0.000 0.085 1.827 0.000 0.218 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 167 121 186 0 115 129 0 106 0

N.S.

1 1.03 0.75 1.15 0.00 0.71 0.80 0.00 0.65 0.00

time (sec)

N/A 0.641 10.075 1.592 0.000 0.100 1.397 0.000 0.184 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 123 77 154 0 91 82 0 52 0

N.S.

1 1.00 0.63 1.25 0.00 0.74 0.67 0.00 0.42 0.00

time (sec)

N/A 0.514 0.011 0.681 0.000 0.100 0.848 0.000 0.180 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 72 64 0 26 37 0 22 38

N.S.

1 1.00 1.36 1.21 0.00 0.49 0.70 0.00 0.42 0.72

time (sec)

N/A 0.272 10.031 0.290 0.000 0.078 0.402 0.000 0.164 17.192

Problem 409

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

72 72 91 97 0 0 0 0 38 0

N.S.

1 1.00 1.26 1.35 0.00 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 0.344 10.160 0.467 0.000 0.000 0.000 0.000 0.177 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 280 508 523 0 0 0 0 62 0

N.S.

1 0.94 1.70 1.75 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 1.247 10.725 0.651 0.000 0.000 0.000 0.000 0.192 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

425 417 321 961 0 0 0 0 86 0

N.S.

1 0.98 0.76 2.26 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 2.090 10.958 1.090 0.000 0.000 0.000 0.000 0.500 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

563 566 458 1420 0 0 0 0 110 0

N.S.

1 1.01 0.81 2.52 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 3.191 11.401 1.594 0.000 0.000 0.000 0.000 0.651 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 252 143 278 0 271 0 0 391 0

N.S.

1 1.12 0.63 1.23 0.00 1.20 0.00 0.00 1.73 0.00

time (sec)

N/A 0.998 10.112 1.854 0.000 0.097 0.000 0.000 0.241 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 209 126 233 0 171 0 0 277 0

N.S.

1 1.17 0.71 1.31 0.00 0.96 0.00 0.00 1.56 0.00

time (sec)

N/A 0.747 10.078 1.082 0.000 0.092 0.000 0.000 0.199 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 158 100 199 0 120 82 0 72 0

N.S.

1 1.01 0.64 1.28 0.00 0.77 0.53 0.00 0.46 0.00

time (sec)

N/A 0.596 0.016 0.743 0.000 0.091 3.094 0.000 0.194 0.000

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 56 90 0 66 37 0 32 38

N.S.

1 1.00 0.73 1.17 0.00 0.86 0.48 0.00 0.42 0.49

time (sec)

N/A 0.308 5.153 0.302 0.000 0.087 0.463 0.000 0.169 17.175

Problem 417

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

278 266 285 431 0 0 0 0 60 0

N.S.

1 0.96 1.03 1.55 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.981 10.381 0.472 0.000 0.000 0.000 0.000 0.438 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

420 604 332 865 0 0 0 0 101 0

N.S.

1 1.44 0.79 2.06 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 1.726 10.645 0.691 0.000 0.000 0.000 0.000 0.604 0.000

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

562 1066 461 1324 0 0 0 0 142 0

N.S.

1 1.90 0.82 2.36 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 3.291 11.101 1.205 0.000 0.000 0.000 0.000 0.876 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

713 1700 602 1797 0 0 0 0 183 0

N.S.

1 2.38 0.84 2.52 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 5.701 11.548 1.563 0.000 0.000 0.000 0.000 1.229 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

386 386 180 286 0 204 214 0 223 0

N.S.

1 1.00 0.47 0.74 0.00 0.53 0.55 0.00 0.58 0.00

time (sec)

N/A 1.221 10.197 3.940 0.000 0.083 2.166 0.000 0.221 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

329 322 140 235 0 166 173 0 148 0

N.S.

1 0.98 0.43 0.71 0.00 0.50 0.53 0.00 0.45 0.00

time (sec)

N/A 0.885 10.102 2.575 0.000 0.076 1.674 0.000 0.199 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

264 272 120 200 0 114 124 0 99 0

N.S.

1 1.03 0.45 0.76 0.00 0.43 0.47 0.00 0.38 0.00

time (sec)

N/A 0.608 10.068 1.801 0.000 0.078 1.304 0.000 0.188 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 228 77 169 0 89 78 0 48 0

N.S.

1 1.00 0.34 0.74 0.00 0.39 0.34 0.00 0.21 0.00

time (sec)

N/A 0.509 0.009 0.677 0.000 0.076 0.793 0.000 0.166 0.000

Problem 425

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

size

336 360 95 107 0 0 0 0 35 0

N.S.

1 1.07 0.28 0.32 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.869 10.147 0.487 0.000 0.000 0.000 0.000 0.178 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

581 569 522 556 0 0 0 0 59 0

N.S.

1 0.98 0.90 0.96 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 1.786 10.597 0.661 0.000 0.000 0.000 0.000 0.190 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

729 700 332 1018 0 0 0 0 83 0

N.S.

1 0.96 0.46 1.40 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.802 10.884 1.099 0.000 0.000 0.000 0.000 0.775 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 125 78 160 0 87 73 0 56 0

N.S.

1 1.00 0.62 1.28 0.00 0.70 0.58 0.00 0.45 0.00

time (sec)

N/A 0.493 10.037 0.711 0.000 0.077 0.858 0.000 0.184 0.000

Problem 429

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

73 73 92 99 0 0 0 0 41 0

N.S.

1 1.00 1.26 1.36 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.359 10.168 0.486 0.000 0.000 0.000 0.000 0.185 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

237 236 80 175 0 97 83 0 51 0

N.S.

1 1.00 0.34 0.74 0.00 0.41 0.35 0.00 0.22 0.00

time (sec)

N/A 0.480 10.038 0.746 0.000 0.070 0.812 0.000 0.186 0.000

Problem 431

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

size

345 369 98 110 0 0 0 0 38 0

N.S.

1 1.07 0.28 0.32 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.810 10.151 0.471 0.000 0.000 0.000 0.000 0.185 0.000

Problem 432

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

40 40 40 79 0 0 0 0 37 0

N.S.

1 1.00 1.00 1.98 0.00 0.00 0.00 0.00 0.92 0.00

time (sec)

N/A 0.318 10.135 0.587 0.000 0.000 0.000 0.000 0.180 0.000

Problem 433

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

size

299 338 50 86 0 0 0 0 35 0

N.S.

1 1.13 0.17 0.29 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.832 10.110 0.718 0.000 0.000 0.000 0.000 0.171 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 59 78 0 0 0 0 38 0

N.S.

1 1.00 1.48 1.95 0.00 0.00 0.00 0.00 0.95 0.00

time (sec)

N/A 0.268 10.136 0.487 0.000 0.000 0.000 0.000 0.179 0.000

Problem 435

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

size

300 318 65 86 0 0 0 0 35 0

N.S.

1 1.06 0.22 0.29 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.794 10.122 0.484 0.000 0.000 0.000 0.000 0.175 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

567 0 0 0 0 0 0 0 261 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.626 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

499 0 0 0 0 0 0 0 177 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.429 0.000

Problem 438

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

458 519 0 0 0 0 0 0 29 0

N.S.

1 1.13 0.00 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 1.996 0.000 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

490 0 0 0 0 0 0 0 40 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.451 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

382 0 0 0 0 0 0 0 51 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.710 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

506 0 0 0 0 0 0 0 1641 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3.24 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 2.198 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

623 0 0 0 0 0 0 0 73 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 2.925 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

716 0 0 0 0 0 0 0 559 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.78 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.100 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

634 0 0 0 0 0 0 0 441 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.70 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.815 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

580 0 0 0 0 0 0 0 327 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.680 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

597 0 0 0 0 0 0 0 719 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.148 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

598 0 0 0 0 0 0 0 111 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.402 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

639 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 5.315 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

580 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 4.788 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

714 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 31.604 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

518 0 0 0 0 0 0 0 300 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.671 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

465 0 0 0 0 0 0 0 68 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.300 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 0 0 0 0 0 0 0 30 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.209 0.000

Problem 454

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

137 134 0 0 0 0 0 0 46 0

N.S.

1 0.98 0.00 0.00 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 0.549 0.000 0.000 0.000 0.000 0.000 0.000 0.220 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

337 0 0 0 0 0 0 0 70 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

464 0 0 0 0 0 0 0 94 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.273 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

570 0 0 0 0 0 0 0 118 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 2.069 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

627 0 0 0 0 0 0 0 1062 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1.69 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 3.644 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

538 0 0 0 0 0 0 0 828 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1.54 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 3.083 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

369 0 0 0 0 0 0 0 353 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.96 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.376 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 0 0 0 0 0 0 0 137 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.79 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.307 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

390 0 0 0 0 0 0 0 68 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.048 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

464 0 0 0 0 0 0 0 109 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 1.176 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

584 0 0 0 0 0 0 0 150 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 3.453 0.000

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

719 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 21.640 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

531 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 13.774 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

404 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 9.108 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

411 0 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 7.751 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

438 0 0 0 0 0 0 0 52 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 2.713 0.000

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

525 0 0 0 0 0 0 0 94 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 2.776 0.000

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

657 0 0 0 0 0 0 0 152 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 10.812 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

793 0 0 0 0 0 0 0 210 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 170.021 0.000

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

172 0 0 0 0 0 0 0 28 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.249 0.000

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

321 299 106 0 0 0 88 0 0 0

N.S.

1 0.93 0.33 0.00 0.00 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.989 0.111 0.000 0.000 0.000 24.095 0.000 0.238 0.000

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 134 75 0 0 0 53 0 929 0

N.S.

1 0.94 0.52 0.00 0.00 0.00 0.37 0.00 6.50 0.00

time (sec)

N/A 0.430 0.070 0.000 0.000 0.000 6.845 0.000 0.225 0.000

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 44 0 0 0 22 0 94 41

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.50 0.00 2.14 0.93

time (sec)

N/A 0.259 0.026 0.000 0.000 0.000 1.009 0.000 0.205 17.775

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 136 0 0 0 0 0 0 21 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.458 0.000 0.000 0.000 0.000 0.000 0.000 0.221 0.000

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 0 0 0 0 0 0 0 32 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.320 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 0 0 0 0 0 0 0 43 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.346 0.000

Problem 480

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

19 19 21 19 21 21 0 21 1249 21

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.00 1.11 65.74 1.11

time (sec)

N/A 0.251 0.148 0.085 0.072 0.099 0.000 0.224 0.292 17.256

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 218 136 0 0 0 167 0 0 0

N.S.

1 1.15 0.72 0.00 0.00 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.788 0.579 0.000 0.000 0.000 58.616 0.000 0.229 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 158 106 0 0 0 119 0 1509 0

N.S.

1 1.11 0.75 0.00 0.00 0.00 0.84 0.00 10.63 0.00

time (sec)

N/A 0.558 0.558 0.000 0.000 0.000 32.908 0.000 0.200 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 96 75 0 0 0 75 0 535 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.78 0.00 5.57 0.00

time (sec)

N/A 0.366 0.435 0.000 0.000 0.000 16.156 0.000 0.194 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 44 44 0 0 0 34 0 94 41

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.77 0.00 2.14 0.93

time (sec)

N/A 0.267 0.056 0.000 0.000 0.000 3.515 0.000 0.190 17.132

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 123 0 0 0 0 0 0 21 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.483 0.000 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 189 0 0 0 0 0 0 32 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.628 0.000 0.000 0.000 0.000 0.000 0.000 0.261 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 122 86 75 0 0 129 0 0 0

N.S.

1 1.03 0.73 0.64 0.00 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.566 0.856 2.564 0.000 0.000 51.945 0.000 0.209 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 94 65 56 0 0 94 0 1320 0

N.S.

1 1.19 0.82 0.71 0.00 0.00 1.19 0.00 16.71 0.00

time (sec)

N/A 0.429 0.807 1.280 0.000 0.000 28.031 0.000 0.183 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 42 37 0 0 61 0 484 0

N.S.

1 1.00 1.00 0.88 0.00 0.00 1.45 0.00 11.52 0.00

time (sec)

N/A 0.288 0.550 0.651 0.000 0.000 13.809 0.000 0.181 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 17 0 0 29 0 90 15

N.S.

1 1.00 1.00 0.94 0.00 0.00 1.61 0.00 5.00 0.83

time (sec)

N/A 0.235 0.048 0.229 0.000 0.000 3.083 0.000 0.181 0.076

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 0 0 0 0 0 0 21 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.341 0.000 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.450 0.000 0.000 0.000 0.000 0.000 0.000 0.217 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 101 0 0 0 0 0 0 31 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.464 0.000 0.000 0.000 0.000 0.000 0.000 0.230 0.000

[prev] [prev-tail] [front] [up]