Integrals 701 to 800

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 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

316 323 276 1384 0 377 0 0 234 378

N.S.

1 1.02 0.87 4.38 0.00 1.19 0.00 0.00 0.74 1.20

time (sec)

N/A 2.261 6.446 38.266 0.000 0.146 0.000 0.000 0.186 2.711

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

325 335 268 1424 0 410 0 0 236 658

N.S.

1 1.03 0.82 4.38 0.00 1.26 0.00 0.00 0.73 2.02

time (sec)

N/A 2.286 10.485 37.038 0.000 0.142 0.000 0.000 0.198 3.755

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

377 369 284 1494 0 451 0 0 245 685

N.S.

1 0.98 0.75 3.96 0.00 1.20 0.00 0.00 0.65 1.82

time (sec)

N/A 2.473 10.811 39.377 0.000 0.129 0.000 0.000 0.189 3.894

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 329 360 1554 0 0 0 0 65 0

N.S.

1 1.10 1.20 5.20 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 2.715 4.517 34.506 0.000 0.000 0.000 0.000 0.170 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 265 291 1244 0 0 0 0 65 0

N.S.

1 1.11 1.22 5.21 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 2.035 3.850 34.448 0.000 0.000 0.000 0.000 0.174 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 199 244 948 0 0 0 0 63 0

N.S.

1 1.10 1.35 5.24 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 1.511 3.526 8.375 0.000 0.000 0.000 0.000 0.167 0.000

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 141 198 722 0 0 0 0 57 0

N.S.

1 1.08 1.52 5.55 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 1.063 2.717 6.188 0.000 0.000 0.000 0.000 0.166 0.000

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 90 127 259 0 0 0 0 64 0

N.S.

1 1.06 1.49 3.05 0.00 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.711 1.241 6.331 0.000 0.000 0.000 0.000 0.168 0.000

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 112 205 378 0 0 0 0 60 0

N.S.

1 1.00 1.83 3.38 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 1.031 3.439 4.302 0.000 0.000 0.000 0.000 0.165 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 151 219 436 0 0 0 0 69 0

N.S.

1 1.08 1.56 3.11 0.00 0.00 0.00 0.00 0.49 0.00

time (sec)

N/A 1.433 6.862 6.518 0.000 0.000 0.000 0.000 0.170 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 224 295 759 0 0 0 0 71 0

N.S.

1 1.09 1.43 3.68 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 1.981 5.219 8.898 0.000 0.000 0.000 0.000 0.166 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

270 293 338 955 0 0 0 0 71 0

N.S.

1 1.09 1.25 3.54 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 2.723 4.875 12.178 0.000 0.000 0.000 0.000 0.168 0.000

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

344 372 427 1293 0 0 0 0 71 0

N.S.

1 1.08 1.24 3.76 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 3.375 5.426 14.431 0.000 0.000 0.000 0.000 0.187 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

370 356 354 1337 0 0 0 0 97 0

N.S.

1 0.96 0.96 3.61 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 2.620 5.090 28.785 0.000 0.000 0.000 0.000 0.170 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

292 283 301 1102 0 0 0 0 95 0

N.S.

1 0.97 1.03 3.77 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 1.936 3.441 7.599 0.000 0.000 0.000 0.000 0.170 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 214 280 834 0 0 0 0 89 0

N.S.

1 0.99 1.29 3.84 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 1.370 4.055 7.790 0.000 0.000 0.000 0.000 0.170 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 204 271 804 0 0 0 0 96 0

N.S.

1 0.95 1.27 3.76 0.00 0.00 0.00 0.00 0.45 0.00

time (sec)

N/A 1.383 3.123 5.563 0.000 0.000 0.000 0.000 0.168 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

270 249 306 870 0 0 0 0 92 0

N.S.

1 0.92 1.13 3.22 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 1.910 5.033 6.210 0.000 0.000 0.000 0.000 0.176 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 316 332 992 0 0 0 0 101 0

N.S.

1 0.94 0.99 2.95 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 2.606 6.460 7.912 0.000 0.000 0.000 0.000 0.197 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

427 403 492 1326 0 0 0 0 103 0

N.S.

1 0.94 1.15 3.11 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 3.366 7.443 7.809 0.000 0.000 0.000 0.000 0.266 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

433 436 428 2240 0 0 0 0 129 0

N.S.

1 1.01 0.99 5.17 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 2.988 6.179 140.910 0.000 0.000 0.000 0.000 0.256 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 351 368 1966 0 0 0 0 127 0

N.S.

1 1.02 1.07 5.70 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 2.307 5.863 9.502 0.000 0.000 0.000 0.000 0.258 0.000

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

348 345 364 1934 0 0 0 0 121 0

N.S.

1 0.99 1.05 5.56 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 2.255 4.579 7.879 0.000 0.000 0.000 0.000 0.167 0.000

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 342 366 1846 0 0 0 0 128 0

N.S.

1 0.99 1.06 5.35 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 2.245 5.557 7.536 0.000 0.000 0.000 0.000 0.192 0.000

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

417 401 425 1994 0 0 0 0 124 0

N.S.

1 0.96 1.02 4.78 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 2.978 6.369 8.472 0.000 0.000 0.000 0.000 0.178 0.000

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

494 483 543 2113 0 0 0 0 133 0

N.S.

1 0.98 1.10 4.28 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 3.936 7.827 10.359 0.000 0.000 0.000 0.000 0.172 0.000

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 557 1220 1457 0 0 0 0 55 0

N.S.

1 1.01 2.21 2.63 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 2.732 6.979 16.700 0.000 0.000 0.000 0.000 0.203 0.000

Problem 728

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

size

455 453 1169 918 0 0 0 0 61 0

N.S.

1 1.00 2.57 2.02 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.057 19.340 19.046 0.000 0.000 0.000 0.000 0.177 0.000

Problem 729

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

size

439 449 1166 915 0 0 0 0 55 0

N.S.

1 1.02 2.66 2.08 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.016 21.410 14.316 0.000 0.000 0.000 0.000 0.216 0.000

Problem 730

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

size

394 395 315 732 0 0 0 0 63 0

N.S.

1 1.00 0.80 1.86 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 1.567 10.294 37.249 0.000 0.000 0.000 0.000 0.173 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 354 1288 1436 0 0 0 0 63 0

N.S.

1 1.03 3.73 4.16 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 1.449 6.885 38.565 0.000 0.000 0.000 0.000 0.168 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

415 432 1373 0 0 0 0 0 63 0

N.S.

1 1.04 3.31 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 1.964 6.978 180.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

638 641 1270 2186 0 0 0 0 120 0

N.S.

1 1.00 1.99 3.43 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 3.481 7.737 28.106 0.000 0.000 0.000 0.000 0.244 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 556 1221 1560 0 0 0 0 120 0

N.S.

1 1.01 2.21 2.82 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 2.724 11.211 33.368 0.000 0.000 0.000 0.000 0.228 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

509 514 1209 1484 0 0 0 0 120 0

N.S.

1 1.01 2.38 2.92 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 2.635 11.643 33.243 0.000 0.000 0.000 0.000 0.192 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

500 511 1219 1259 0 0 0 0 122 0

N.S.

1 1.02 2.44 2.52 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 2.605 6.972 41.523 0.000 0.000 0.000 0.000 0.190 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

465 464 1296 1635 0 0 0 0 130 0

N.S.

1 1.00 2.79 3.52 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 2.106 7.121 51.704 0.000 0.000 0.000 0.000 0.181 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

418 432 1371 1809 0 0 0 0 130 0

N.S.

1 1.03 3.28 4.33 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 1.981 7.174 76.911 0.000 0.000 0.000 0.000 0.192 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

502 520 1485 2506 0 0 0 0 130 0

N.S.

1 1.04 2.96 4.99 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 2.688 7.360 92.429 0.000 0.000 0.000 0.000 0.187 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

746 754 1341 2728 0 0 0 0 195 0

N.S.

1 1.01 1.80 3.66 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 4.308 7.921 37.142 0.000 0.000 0.000 0.000 0.283 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

635 643 1275 2289 0 0 0 0 193 0

N.S.

1 1.01 2.01 3.60 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 3.478 14.163 42.718 0.000 0.000 0.000 0.000 0.251 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

609 618 1262 1997 0 0 0 0 187 0

N.S.

1 1.01 2.07 3.28 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 3.409 14.258 41.531 0.000 0.000 0.000 0.000 0.238 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

567 579 1256 1842 0 0 0 0 195 0

N.S.

1 1.02 2.22 3.25 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 3.339 7.135 50.342 0.000 0.000 0.000 0.000 0.203 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

606 620 1309 2007 0 0 0 0 197 0

N.S.

1 1.02 2.16 3.31 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 3.346 7.222 62.140 0.000 0.000 0.000 0.000 0.196 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

540 544 1378 2039 0 0 0 0 205 0

N.S.

1 1.01 2.55 3.78 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 2.702 7.354 61.929 0.000 0.000 0.000 0.000 0.200 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

504 519 1485 2624 0 0 0 0 205 0

N.S.

1 1.03 2.95 5.21 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 2.683 7.572 54.299 0.000 0.000 0.000 0.000 0.197 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

587 606 1591 2890 0 0 0 0 205 0

N.S.

1 1.03 2.71 4.92 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 3.405 7.970 39.790 0.000 0.000 0.000 0.000 0.258 0.000

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

554 564 1216 1354 0 0 0 0 85 0

N.S.

1 1.02 2.19 2.44 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.667 14.536 30.695 0.000 0.000 0.000 0.000 0.235 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

455 457 497 760 0 0 0 0 79 0

N.S.

1 1.00 1.09 1.67 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 2.049 13.034 16.872 0.000 0.000 0.000 0.000 0.253 0.000

Problem 750

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

393 397 741 491 0 0 0 0 86 0

N.S.

1 1.01 1.89 1.25 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 1.544 18.897 7.531 0.000 0.000 0.000 0.000 0.174 0.000

Problem 751

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

343 344 351 510 0 0 0 0 82 0

N.S.

1 1.00 1.02 1.49 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 1.167 14.409 12.069 0.000 0.000 0.000 0.000 0.173 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 287 349 671 0 0 0 0 91 0

N.S.

1 1.01 1.23 2.37 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 1.035 12.446 18.369 0.000 0.000 0.000 0.000 0.188 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

354 366 1298 1338 0 0 0 0 93 0

N.S.

1 1.03 3.67 3.78 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 1.442 6.953 23.622 0.000 0.000 0.000 0.000 0.179 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

429 449 1376 1694 0 0 0 0 93 0

N.S.

1 1.05 3.21 3.95 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 2.005 6.971 27.563 0.000 0.000 0.000 0.000 0.168 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

604 620 1276 2014 0 0 0 0 117 0

N.S.

1 1.03 2.11 3.33 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 3.180 7.594 25.151 0.000 0.000 0.000 0.000 0.177 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

503 532 1234 1424 0 0 0 0 111 0

N.S.

1 1.06 2.45 2.83 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 2.452 7.337 11.526 0.000 0.000 0.000 0.000 0.213 0.000

Problem 757

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

size

421 440 1225 1137 0 0 0 0 118 0

N.S.

1 1.05 2.91 2.70 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 1.677 6.959 9.675 0.000 0.000 0.000 0.000 0.181 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

308 335 1269 1292 0 0 0 0 114 0

N.S.

1 1.09 4.12 4.19 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 1.180 7.053 13.175 0.000 0.000 0.000 0.000 0.187 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

392 412 1327 1582 0 0 0 0 123 0

N.S.

1 1.05 3.39 4.04 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 1.680 7.071 19.168 0.000 0.000 0.000 0.000 0.181 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

494 507 1418 2361 0 0 0 0 125 0

N.S.

1 1.03 2.87 4.78 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 2.372 7.329 15.020 0.000 0.000 0.000 0.000 0.189 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

650 674 1366 3165 0 0 0 0 149 0

N.S.

1 1.04 2.10 4.87 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 3.428 7.664 17.122 0.000 0.000 0.000 0.000 0.189 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

563 581 1388 3117 0 0 0 0 143 0

N.S.

1 1.03 2.47 5.54 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 2.556 7.529 10.996 0.000 0.000 0.000 0.000 0.184 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

417 431 1364 2196 0 0 0 0 150 0

N.S.

1 1.03 3.27 5.27 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 1.702 7.006 7.943 0.000 0.000 0.000 0.000 0.191 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

449 467 1421 2838 0 0 0 0 146 0

N.S.

1 1.04 3.16 6.32 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 1.929 7.367 9.783 0.000 0.000 0.000 0.000 0.184 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

549 560 1471 3333 0 0 0 0 155 0

N.S.

1 1.02 2.68 6.07 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 2.544 7.326 12.431 0.000 0.000 0.000 0.000 0.196 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

318 318 250 0 0 0 0 0 134 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 1.395 2.232 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 222 194 0 0 0 0 0 79 0

N.S.

1 1.02 0.89 0.00 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 0.753 1.023 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

353 338 10459 0 0 0 0 0 59 0

N.S.

1 0.96 29.63 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.940 37.512 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

514 467 14082 0 0 0 0 0 91 0

N.S.

1 0.91 27.40 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 1.544 51.464 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 770

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

105 97 91 86 101 81 255 89 114 117

N.S.

1 0.92 0.87 0.82 0.96 0.77 2.43 0.85 1.09 1.11

time (sec)

N/A 0.658 0.222 3.731 0.037 0.089 0.176 0.938 0.168 0.628

Problem 771

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

84 108 75 65 79 60 170 68 84 84

N.S.

1 1.29 0.89 0.77 0.94 0.71 2.02 0.81 1.00 1.00

time (sec)

N/A 0.348 0.160 1.306 0.037 0.098 0.127 0.296 0.165 0.577

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 51 51 55 42 0 121 53 50

N.S.

1 1.00 0.98 0.98 1.06 0.81 0.00 2.33 1.02 0.96

time (sec)

N/A 0.298 0.080 0.289 0.041 0.077 0.000 0.118 0.162 0.553

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 46 48 58 54 0 79 66 100

N.S.

1 1.00 1.31 1.37 1.66 1.54 0.00 2.26 1.89 2.86

time (sec)

N/A 0.525 0.026 0.380 0.036 0.092 0.000 0.150 0.169 0.624

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 43 50 73 85 0 84 121 114

N.S.

1 1.00 1.23 1.43 2.09 2.43 0.00 2.40 3.46 3.26

time (sec)

N/A 0.555 0.013 0.371 0.051 0.092 0.000 0.547 0.159 0.637

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 64 75 75 95 96 0 151 219 104

N.S.

1 1.05 1.23 1.23 1.56 1.57 0.00 2.48 3.59 1.70

time (sec)

N/A 0.649 0.014 0.465 0.043 0.084 0.000 0.136 0.167 1.107

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 91 67 81 127 115 0 210 315 145

N.S.

1 0.98 0.72 0.87 1.37 1.24 0.00 2.26 3.39 1.56

time (sec)

N/A 0.745 0.284 0.602 0.042 0.144 0.000 0.160 0.166 1.888

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 106 85 119 163 136 0 304 398 194

N.S.

1 0.93 0.75 1.04 1.43 1.19 0.00 2.67 3.49 1.70

time (sec)

N/A 0.828 0.620 0.887 0.038 0.097 0.000 0.131 0.187 2.698

Problem 778

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

189 164 146 147 176 142 462 156 210 307

N.S.

1 0.87 0.77 0.78 0.93 0.75 2.44 0.83 1.11 1.62

time (sec)

N/A 0.904 1.805 27.021 0.040 0.086 0.272 1.384 0.234 2.763

Problem 779

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

170 177 118 118 142 114 340 124 164 169

N.S.

1 1.04 0.69 0.69 0.84 0.67 2.00 0.73 0.96 0.99

time (sec)

N/A 0.553 2.483 8.477 0.041 0.095 0.184 0.171 0.227 0.662

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 110 90 88 108 85 0 254 112 115

N.S.

1 1.03 0.84 0.82 1.01 0.79 0.00 2.37 1.05 1.07

time (sec)

N/A 0.484 0.897 0.467 0.039 0.076 0.000 0.816 0.283 0.602

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 86 120 94 99 87 0 178 126 169

N.S.

1 1.00 1.40 1.09 1.15 1.01 0.00 2.07 1.47 1.97

time (sec)

N/A 0.754 1.416 0.484 0.042 0.095 0.000 0.141 0.156 0.761

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 109 79 103 117 0 152 185 169

N.S.

1 1.00 1.82 1.32 1.72 1.95 0.00 2.53 3.08 2.82

time (sec)

N/A 0.710 1.876 0.520 0.039 0.093 0.000 0.154 0.162 0.866

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 84 87 104 140 136 0 190 344 176

N.S.

1 1.05 1.09 1.30 1.75 1.70 0.00 2.38 4.30 2.20

time (sec)

N/A 0.777 0.263 0.604 0.040 0.096 0.000 0.279 0.167 0.929

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 122 97 118 172 150 0 294 472 227

N.S.

1 1.05 0.84 1.02 1.48 1.29 0.00 2.53 4.07 1.96

time (sec)

N/A 0.924 0.666 0.751 0.042 0.114 0.000 0.156 0.151 2.579

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 149 120 148 228 180 0 478 624 314

N.S.

1 0.96 0.77 0.95 1.46 1.15 0.00 3.06 4.00 2.01

time (sec)

N/A 1.076 0.759 0.951 0.040 0.111 0.000 0.176 0.161 2.715

Problem 786

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

243 252 176 176 217 174 552 188 260 277

N.S.

1 1.04 0.72 0.72 0.89 0.72 2.27 0.77 1.07 1.14

time (sec)

N/A 0.793 3.109 97.069 0.042 0.094 0.301 0.152 0.171 0.820

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 179 140 142 171 136 0 536 192 202

N.S.

1 1.05 0.82 0.83 1.00 0.80 0.00 3.13 1.12 1.18

time (sec)

N/A 0.669 1.508 1.582 0.038 0.103 0.000 0.145 0.164 0.690

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 146 159 135 152 131 0 314 195 1924

N.S.

1 1.07 1.16 0.99 1.11 0.96 0.00 2.29 1.42 14.04

time (sec)

N/A 1.084 1.977 1.652 0.038 0.096 0.000 0.156 0.161 1.484

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 134 217 124 144 152 0 234 270 236

N.S.

1 1.02 1.66 0.95 1.10 1.16 0.00 1.79 2.06 1.80

time (sec)

N/A 1.058 2.523 1.767 0.041 0.096 0.000 0.156 0.195 1.141

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 126 277 133 169 167 0 239 454 249

N.S.

1 1.02 2.23 1.07 1.36 1.35 0.00 1.93 3.66 2.01

time (sec)

N/A 1.073 4.906 1.829 0.048 0.093 0.000 0.171 0.165 1.242

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 154 120 146 216 189 0 336 636 526

N.S.

1 1.06 0.83 1.01 1.49 1.30 0.00 2.32 4.39 3.63

time (sec)

N/A 1.149 0.811 1.818 0.042 0.097 0.000 0.169 0.158 1.480

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 199 144 185 273 211 0 586 830 395

N.S.

1 1.06 0.77 0.98 1.45 1.12 0.00 3.12 4.41 2.10

time (sec)

N/A 1.339 1.174 2.165 0.047 0.095 0.000 0.181 0.156 2.781

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

236 225 181 200 341 249 0 722 1071 470

N.S.

1 0.95 0.77 0.85 1.44 1.06 0.00 3.06 4.54 1.99

time (sec)

N/A 1.524 3.394 2.444 0.042 0.101 0.000 0.182 0.179 2.705

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 195 152 240 0 541 0 360 396 4568

N.S.

1 1.10 0.85 1.35 0.00 3.04 0.00 2.02 2.22 25.66

time (sec)

N/A 1.168 1.484 0.686 0.000 0.115 0.000 0.141 0.155 3.405

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 146 121 169 0 426 0 227 324 3761

N.S.

1 1.09 0.90 1.26 0.00 3.18 0.00 1.69 2.42 28.07

time (sec)

N/A 0.799 1.071 0.385 0.000 0.111 0.000 0.140 0.158 2.811

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 86 85 110 0 322 0 142 183 541

N.S.

1 0.97 0.96 1.24 0.00 3.62 0.00 1.60 2.06 6.08

time (sec)

N/A 0.413 0.744 0.278 0.000 0.103 0.000 0.128 0.156 1.103

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 68 73 0 242 0 296 139 344

N.S.

1 1.00 1.01 1.09 0.00 3.61 0.00 4.42 2.07 5.13

time (sec)

N/A 0.420 0.208 0.225 0.000 0.099 0.000 0.158 0.175 1.338

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 76 112 92 0 304 0 128 192 342

N.S.

1 1.00 1.47 1.21 0.00 4.00 0.00 1.68 2.53 4.50

time (sec)

N/A 0.524 0.534 0.402 0.000 0.443 0.000 0.152 0.166 1.303

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 96 129 144 0 460 0 175 360 675

N.S.

1 0.97 1.30 1.45 0.00 4.65 0.00 1.77 3.64 6.82

time (sec)

N/A 0.666 1.118 0.467 0.000 0.187 0.000 0.178 0.165 1.623

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 154 300 229 0 589 0 269 827 4051

N.S.

1 1.08 2.10 1.60 0.00 4.12 0.00 1.88 5.78 28.33

time (sec)

N/A 1.124 2.686 0.625 0.000 2.388 0.000 0.159 0.162 2.859