2.2.16 Integrals 1501 to 1600

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 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 92 583 0 139 0 0 0

N.S.

1 0.00 0.88 5.55 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.000 0.112 1.212 0.000 0.699 0.000 0.000 0.000

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 101 88 0 0 457 0 0 0

N.S.

1 0.96 0.84 0.00 0.00 4.35 0.00 0.00 0.00

time (sec)

N/A 0.185 0.142 0.000 0.000 68.463 0.000 0.000 0.000

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 118 41 101 117 114 82 0 146

N.S.

1 1.12 0.39 0.96 1.11 1.09 0.78 0.00 1.39

time (sec)

N/A 0.298 10.025 1.690 0.280 0.495 2.060 0.000 6.407

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 100 0 0 0 0 0 0

N.S.

1 0.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.519 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 354 137 66 34 0 27 34 34

N.S.

1 3.37 1.30 0.63 0.32 0.00 0.26 0.32 0.32

time (sec)

N/A 1.011 1.259 0.330 0.245 0.000 5.505 1.127 6.331

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 354 137 66 34 0 27 34 34

N.S.

1 3.37 1.30 0.63 0.32 0.00 0.26 0.32 0.32

time (sec)

N/A 0.851 0.001 0.277 0.247 0.000 5.364 1.059 0.003

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 252 127 93 28 0 24 28 28

N.S.

1 2.40 1.21 0.89 0.27 0.00 0.23 0.27 0.27

time (sec)

N/A 1.280 0.369 0.519 0.232 0.000 7.571 0.858 6.407

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 252 127 93 28 0 24 28 28

N.S.

1 2.40 1.21 0.89 0.27 0.00 0.23 0.27 0.27

time (sec)

N/A 1.224 0.001 0.001 0.242 0.000 7.888 0.887 0.002

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 252 127 93 28 0 24 28 28

N.S.

1 2.40 1.21 0.89 0.27 0.00 0.23 0.27 0.27

time (sec)

N/A 1.173 0.001 0.000 0.242 0.000 8.010 0.902 0.002

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 105 271 0 103 0 0 0

N.S.

1 0.00 1.00 2.58 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.000 1.874 2.081 0.000 1.325 0.000 0.000 0.000

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 102 103 0 144 0 0 0

N.S.

1 0.00 0.97 0.98 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.000 2.481 11.330 0.000 3.847 0.000 0.000 0.000

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 94 105 44 105 117 175 0 0

N.S.

1 0.90 1.00 0.42 1.00 1.11 1.67 0.00 0.00

time (sec)

N/A 0.228 0.203 1.868 0.266 0.445 1.848 0.000 0.000

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 380 105 104 0 142 0 0 0

N.S.

1 3.62 1.00 0.99 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 1.121 1.803 16.595 0.000 10.979 0.000 0.000 0.000

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 94 102 56 93 115 469 0 0

N.S.

1 0.90 0.97 0.53 0.89 1.10 4.47 0.00 0.00

time (sec)

N/A 0.228 0.195 1.667 0.279 0.455 1.971 0.000 0.000

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 94 121 0 539 0 0 0

N.S.

1 1.00 0.90 1.15 0.00 5.13 0.00 0.00 0.00

time (sec)

N/A 0.410 0.378 2.362 0.000 6.478 0.000 0.000 0.000

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 295 105 4181 30 1027 0 313 30

N.S.

1 2.81 1.00 39.82 0.29 9.78 0.00 2.98 0.29

time (sec)

N/A 1.362 0.251 13.194 0.319 5.757 0.000 0.360 6.688

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 295 105 4181 30 1027 0 313 30

N.S.

1 2.81 1.00 39.82 0.29 9.78 0.00 2.98 0.29

time (sec)

N/A 1.289 0.001 12.570 0.321 6.163 0.000 0.358 0.003

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 112 102 113 192 0 107 0 0

N.S.

1 1.07 0.97 1.08 1.83 0.00 1.02 0.00 0.00

time (sec)

N/A 0.251 0.500 0.536 0.273 0.000 1.816 0.000 0.000

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 105 173 0 211 0 0 0

N.S.

1 1.00 1.00 1.65 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.451 0.474 1.377 0.000 0.311 0.000 0.000 0.000

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 105 110 0 142 0 0 0

N.S.

1 0.00 1.00 1.05 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.000 1.384 14.983 0.000 9.550 0.000 0.000 0.000

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 291 100 115 33 1368 26 33 30

N.S.

1 2.77 0.95 1.10 0.31 13.03 0.25 0.31 0.29

time (sec)

N/A 0.747 0.976 0.584 0.260 0.290 15.827 0.320 6.274

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 95 91 0 599 0 0 0

N.S.

1 0.00 0.90 0.87 0.00 5.70 0.00 0.00 0.00

time (sec)

N/A 0.000 1.455 3.281 0.000 0.393 0.000 0.000 0.000

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 162 75 0 0 101 0 0 0

N.S.

1 1.54 0.71 0.00 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.346 0.116 0.000 0.000 0.267 0.000 0.000 0.000

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 105 27 29 2627 26 29 29

N.S.

1 0.00 1.00 0.26 0.28 25.02 0.25 0.28 0.28

time (sec)

N/A 0.000 0.115 0.014 0.308 0.965 0.874 0.392 6.026

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 0 99 0 0 0 0 0 0

N.S.

1 0.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.498 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 126 102 86 107 150 133 110 0

N.S.

1 1.20 0.97 0.82 1.02 1.43 1.27 1.05 0.00

time (sec)

N/A 0.882 0.169 0.136 0.268 0.290 2.892 7.031 0.000

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

106 91 101 942 0 139 0 0 0

N.S.

1 0.86 0.95 8.89 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.218 0.105 1.633 0.000 0.279 0.000 0.000 0.000

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

106 99 142 33 0 104 0 74 0

N.S.

1 0.93 1.34 0.31 0.00 0.98 0.00 0.70 0.00

time (sec)

N/A 0.234 0.429 1.969 0.000 0.423 0.000 0.295 0.000

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

106 105 125 27 0 103 0 74 0

N.S.

1 0.99 1.18 0.25 0.00 0.97 0.00 0.70 0.00

time (sec)

N/A 0.207 0.180 0.745 0.000 0.298 0.000 0.284 0.000

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 0 95 0 0 0 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.750 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 347 116 0 0 0 0 0 0

N.S.

1 3.27 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.649 0.182 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 215 134 99 38 0 0 38 38

N.S.

1 2.03 1.26 0.93 0.36 0.00 0.00 0.36 0.36

time (sec)

N/A 1.222 0.463 0.523 0.241 0.000 0.000 0.853 6.394

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 215 134 99 38 0 0 38 38

N.S.

1 2.03 1.26 0.93 0.36 0.00 0.00 0.36 0.36

time (sec)

N/A 1.147 0.002 0.001 0.234 0.000 0.000 0.943 0.002

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 548 138 68 38 0 31 38 38

N.S.

1 5.17 1.30 0.64 0.36 0.00 0.29 0.36 0.36

time (sec)

N/A 1.561 0.884 0.345 0.239 0.000 6.359 8.056 5.959

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 548 138 68 38 0 31 38 38

N.S.

1 5.17 1.30 0.64 0.36 0.00 0.29 0.36 0.36

time (sec)

N/A 1.223 0.001 0.293 0.235 0.000 6.280 8.280 0.002

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 248 128 94 30 0 24 30 31

N.S.

1 2.34 1.21 0.89 0.28 0.00 0.23 0.28 0.29

time (sec)

N/A 1.215 0.366 0.475 0.226 0.000 7.381 0.844 6.045

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 248 128 94 30 0 24 30 31

N.S.

1 2.34 1.21 0.89 0.28 0.00 0.23 0.28 0.29

time (sec)

N/A 1.169 0.001 0.000 0.232 0.000 7.368 0.864 0.002

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 523 99 176 0 166 0 0 0

N.S.

1 4.93 0.93 1.66 0.00 1.57 0.00 0.00 0.00

time (sec)

N/A 1.681 1.943 1.293 0.000 0.416 0.000 0.000 0.000

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 465 106 81 32 0 34 32 32

N.S.

1 4.39 1.00 0.76 0.30 0.00 0.32 0.30 0.30

time (sec)

N/A 0.951 0.221 108.375 0.316 0.000 23.294 0.314 6.052

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 465 106 81 32 0 34 32 32

N.S.

1 4.39 1.00 0.76 0.30 0.00 0.32 0.30 0.30

time (sec)

N/A 0.847 0.001 100.731 0.329 0.000 23.141 0.322 0.002

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 0 106 121 0 435 0 0 0

N.S.

1 0.00 1.00 1.14 0.00 4.10 0.00 0.00 0.00

time (sec)

N/A 0.000 1.670 58.014 0.000 141.002 0.000 0.000 0.000

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 0 143 93 31 0 26 31 31

N.S.

1 0.00 1.35 0.88 0.29 0.00 0.25 0.29 0.29

time (sec)

N/A 0.000 0.802 0.798 0.239 0.000 2.766 0.689 5.841

Problem 1543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 0 143 93 31 0 26 31 31

N.S.

1 0.00 1.35 0.88 0.29 0.00 0.25 0.29 0.29

time (sec)

N/A 0.000 0.001 0.303 0.224 0.000 3.286 0.686 0.002

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 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

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 67 95 168 0 388 0 143 0

N.S.

1 0.63 0.90 1.58 0.00 3.66 0.00 1.35 0.00

time (sec)

N/A 0.669 0.339 11.692 0.000 13.317 0.000 0.692 0.000

Problem 1546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 449 106 71 29 0 22 29 30

N.S.

1 4.24 1.00 0.67 0.27 0.00 0.21 0.27 0.28

time (sec)

N/A 0.740 0.485 0.285 0.239 0.000 7.096 1.549 5.634

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

106 449 106 71 29 0 22 29 30

N.S.

1 4.24 1.00 0.67 0.27 0.00 0.21 0.27 0.28

time (sec)

N/A 0.556 0.001 0.228 0.216 0.000 6.885 1.541 0.002

Problem 1548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 102 33 145 99 34 0 0

N.S.

1 1.00 0.95 0.31 1.36 0.93 0.32 0.00 0.00

time (sec)

N/A 0.207 0.233 1.020 0.275 0.262 3.582 0.000 0.000

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 108 102 17 145 99 31 0 0

N.S.

1 1.01 0.95 0.16 1.36 0.93 0.29 0.00 0.00

time (sec)

N/A 0.207 0.220 0.985 0.269 0.279 3.453 0.000 0.000

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

107 133 167 17 0 103 0 88 0

N.S.

1 1.24 1.56 0.16 0.00 0.96 0.00 0.82 0.00

time (sec)

N/A 0.287 1.140 2.362 0.000 0.397 0.000 0.274 0.000

Problem 1551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 0 84 0 0 0 0 0

N.S.

1 0.00 0.00 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.918 0.000 0.000 0.000 0.000 0.000

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 135 100 81 182 96 0 96 268

N.S.

1 1.26 0.93 0.76 1.70 0.90 0.00 0.90 2.50

time (sec)

N/A 0.230 0.206 2.130 0.288 0.277 0.000 0.273 6.671

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 918 140 75 97 0 29 0 30

N.S.

1 8.58 1.31 0.70 0.91 0.00 0.27 0.00 0.28

time (sec)

N/A 2.242 1.785 215.348 0.306 0.000 2.030 0.000 5.678

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 918 140 75 97 0 29 0 30

N.S.

1 8.58 1.31 0.70 0.91 0.00 0.27 0.00 0.28

time (sec)

N/A 2.146 0.001 56.774 0.326 0.000 2.115 0.000 0.003

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 166 133 126 0 426 0 104 0

N.S.

1 1.55 1.24 1.18 0.00 3.98 0.00 0.97 0.00

time (sec)

N/A 0.375 0.422 4.282 0.000 1.344 0.000 0.308 0.000

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

107 5419 107 84 0 184 0 0 0

N.S.

1 50.64 1.00 0.79 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 10.416 1.630 4.340 0.000 0.294 0.000 0.000 0.000

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 165 125 116 0 0 0 201 104

N.S.

1 1.54 1.17 1.08 0.00 0.00 0.00 1.88 0.97

time (sec)

N/A 0.431 9.642 0.535 0.000 0.000 0.000 0.300 6.678

Problem 1558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 523 100 174 0 165 0 0 0

N.S.

1 4.89 0.93 1.63 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 1.610 1.922 1.138 0.000 0.346 0.000 0.000 0.000

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 102 131 0 239 0 0 0

N.S.

1 0.00 0.95 1.22 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 0.000 0.968 0.702 0.000 0.291 0.000 0.000 0.000

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 0 782 0 154 0 0 0

N.S.

1 0.00 0.00 7.31 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 3.643 0.000 1.230 0.000 0.000 0.000

Problem 1561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 167 72 103 0 0 0 191 77

N.S.

1 1.56 0.67 0.96 0.00 0.00 0.00 1.79 0.72

time (sec)

N/A 0.387 10.046 0.392 0.000 0.000 0.000 0.302 6.150

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 6596 144 94 33 0 26 33 34

N.S.

1 61.64 1.35 0.88 0.31 0.00 0.24 0.31 0.32

time (sec)

N/A 12.842 0.847 0.677 0.228 0.000 2.618 0.704 5.708

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 6596 144 94 33 0 26 33 34

N.S.

1 61.64 1.35 0.88 0.31 0.00 0.24 0.31 0.32

time (sec)

N/A 12.197 0.001 0.442 0.240 0.000 2.504 0.692 0.004

Problem 1564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 144 94 34 0 27 34 34

N.S.

1 0.00 1.35 0.88 0.32 0.00 0.25 0.32 0.32

time (sec)

N/A 0.000 0.763 0.733 0.232 0.000 4.988 0.769 5.681

Problem 1565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 144 94 34 0 27 34 34

N.S.

1 0.00 1.35 0.88 0.32 0.00 0.25 0.32 0.32

time (sec)

N/A 0.000 0.001 0.477 0.234 0.000 5.087 0.761 0.004

Problem 1566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 144 94 32 0 27 32 32

N.S.

1 0.00 1.35 0.88 0.30 0.00 0.25 0.30 0.30

time (sec)

N/A 0.000 0.748 0.795 0.234 0.000 7.167 0.748 5.702

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 144 94 32 0 27 32 32

N.S.

1 0.00 1.35 0.88 0.30 0.00 0.25 0.30 0.30

time (sec)

N/A 0.000 0.001 0.453 0.224 0.000 6.930 0.762 0.004

Problem 1568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 107 428 0 381 0 0 0

N.S.

1 0.00 1.00 4.00 0.00 3.56 0.00 0.00 0.00

time (sec)

N/A 0.000 1.147 2.891 0.000 34.744 0.000 0.000 0.000

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 56 96 125 0 0 0 0 0

N.S.

1 0.52 0.90 1.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.251 0.711 0.403 0.000 0.000 0.000 0.000 0.000

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

107 0 86 0 0 0 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.241 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 122 139 15 0 100 0 77 25

N.S.

1 1.13 1.29 0.14 0.00 0.93 0.00 0.71 0.23

time (sec)

N/A 0.236 0.190 0.557 0.000 0.290 0.000 0.301 5.692

Problem 1572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

108 1360 79 76 0 217 0 0 0

N.S.

1 12.59 0.73 0.70 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 7.547 15.286 1.053 0.000 0.332 0.000 0.000 0.000

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 559 145 70 36 0 31 36 36

N.S.

1 5.18 1.34 0.65 0.33 0.00 0.29 0.33 0.33

time (sec)

N/A 1.489 0.860 0.362 0.233 0.000 7.224 8.469 5.740

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 559 145 70 36 0 31 36 36

N.S.

1 5.18 1.34 0.65 0.33 0.00 0.29 0.33 0.33

time (sec)

N/A 1.187 0.001 0.263 0.238 0.000 7.150 8.047 0.003

Problem 1575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 397 93 107 0 107 0 0 0

N.S.

1 3.68 0.86 0.99 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 1.306 11.455 2.496 0.000 0.609 0.000 0.000 0.000

Problem 1576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 0 94 136 0 0 0 0 0

N.S.

1 0.00 0.87 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.489 0.872 0.000 0.000 0.000 0.000 0.000

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 151 166 42 0 112 0 82 52

N.S.

1 1.40 1.54 0.39 0.00 1.04 0.00 0.76 0.48

time (sec)

N/A 0.304 1.719 0.980 0.000 0.414 0.000 0.287 5.776

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 100 104 59 106 117 160 0 54

N.S.

1 0.93 0.96 0.55 0.98 1.08 1.48 0.00 0.50

time (sec)

N/A 0.217 0.201 1.614 0.272 0.541 1.513 0.000 5.718

Problem 1579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 107 104 61 118 117 199 0 0

N.S.

1 0.99 0.96 0.56 1.09 1.08 1.84 0.00 0.00

time (sec)

N/A 0.231 0.213 1.547 0.281 0.536 2.064 0.000 0.000

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 102 104 28 106 117 85 0 38

N.S.

1 0.94 0.96 0.26 0.98 1.08 0.79 0.00 0.35

time (sec)

N/A 0.215 0.203 1.546 0.275 0.540 1.456 0.000 5.652

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 0 0 136 0 0 0 0 0

N.S.

1 0.00 0.00 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.017 0.000 0.000 0.000 0.000 0.000

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 793 108 7062 30 1494 48 30 30

N.S.

1 7.34 1.00 65.39 0.28 13.83 0.44 0.28 0.28

time (sec)

N/A 1.994 0.292 17.695 0.332 6.835 38.291 0.372 5.911

Problem 1583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

108 793 108 15606 30 1494 48 30 30

N.S.

1 7.34 1.00 144.50 0.28 13.83 0.44 0.28 0.28

time (sec)

N/A 1.897 0.001 26.908 0.325 6.880 35.015 0.356 0.002

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 0 58 0 0 70 0 0 0

N.S.

1 0.00 0.54 0.00 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.000 3.166 0.000 0.000 0.264 0.000 0.000 0.000

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 110 104 33 145 101 36 0 0

N.S.

1 1.01 0.95 0.30 1.33 0.93 0.33 0.00 0.00

time (sec)

N/A 0.217 0.236 0.980 0.269 0.247 3.558 0.000 0.000

Problem 1586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 110 104 17 145 101 31 0 0

N.S.

1 1.01 0.95 0.16 1.33 0.93 0.28 0.00 0.00

time (sec)

N/A 0.208 0.206 0.972 0.275 0.256 3.487 0.000 0.000

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 136 102 101 184 98 0 99 265

N.S.

1 1.25 0.94 0.93 1.69 0.90 0.00 0.91 2.43

time (sec)

N/A 0.229 0.177 1.650 0.271 0.264 0.000 0.282 6.227

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 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

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 149 104 138 207 244 42 0 0

N.S.

1 1.37 0.95 1.27 1.90 2.24 0.39 0.00 0.00

time (sec)

N/A 0.263 0.379 0.311 0.276 0.277 3.767 0.000 0.000

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

109 127 76 93 0 524 0 209 0

N.S.

1 1.17 0.70 0.85 0.00 4.81 0.00 1.92 0.00

time (sec)

N/A 0.348 10.050 0.444 0.000 57.529 0.000 0.304 0.000

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 260 135 100 31 0 0 31 32

N.S.

1 2.39 1.24 0.92 0.28 0.00 0.00 0.28 0.29

time (sec)

N/A 1.402 0.409 0.480 0.232 0.000 0.000 0.880 5.951

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 260 135 100 31 0 0 31 32

N.S.

1 2.39 1.24 0.92 0.28 0.00 0.00 0.28 0.29

time (sec)

N/A 1.309 0.001 0.000 0.222 0.000 0.000 0.898 0.002

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 0 97 57 92 0 0 92 92

N.S.

1 0.00 0.89 0.52 0.84 0.00 0.00 0.84 0.84

time (sec)

N/A 0.000 10.627 1.425 0.347 0.000 0.000 0.691 8.111

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 88 103 56 106 113 71 0 0

N.S.

1 0.81 0.94 0.51 0.97 1.04 0.65 0.00 0.00

time (sec)

N/A 0.202 0.402 4.095 0.284 0.435 1.873 0.000 0.000

Problem 1595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 480 109 81 30 0 36 30 30

N.S.

1 4.40 1.00 0.74 0.28 0.00 0.33 0.28 0.28

time (sec)

N/A 1.151 0.230 146.941 0.319 0.000 23.639 0.301 5.843

Problem 1596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 480 109 81 30 0 36 30 30

N.S.

1 4.40 1.00 0.74 0.28 0.00 0.33 0.28 0.28

time (sec)

N/A 0.966 0.001 133.573 0.322 0.000 23.817 0.297 0.002

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 81 109 58 93 116 167 0 0

N.S.

1 0.74 1.00 0.53 0.85 1.06 1.53 0.00 0.00

time (sec)

N/A 0.201 0.608 3.785 0.306 0.407 1.952 0.000 0.000

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 579 109 6680 30 0 0 30 30

N.S.

1 5.31 1.00 61.28 0.28 0.00 0.00 0.28 0.28

time (sec)

N/A 1.252 0.227 43.210 0.300 0.000 0.000 0.296 5.844

Problem 1599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 579 109 83 30 0 0 30 30

N.S.

1 5.31 1.00 0.76 0.28 0.00 0.00 0.28 0.28

time (sec)

N/A 1.063 0.001 261.191 0.306 0.000 0.000 0.300 0.002

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 121 109 129 0 271 0 171 0

N.S.

1 1.11 1.00 1.18 0.00 2.49 0.00 1.57 0.00

time (sec)

N/A 0.545 0.303 5.389 0.000 1.748 0.000 0.300 0.000