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

2.2.19 Integrals 1801 to 1900

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 1801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 321 144 129 0 0 0 277 0

N.S.

1 2.63 1.18 1.06 0.00 0.00 0.00 2.27 0.00

time (sec)

N/A 0.542 0.486 0.363 0.000 0.000 0.000 0.291 0.000

Problem 1802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 321 144 128 0 0 0 277 0

N.S.

1 2.63 1.18 1.05 0.00 0.00 0.00 2.27 0.00

time (sec)

N/A 0.543 0.441 0.343 0.000 0.000 0.000 0.306 0.000

Problem 1803

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

122 365 164 140 36 0 29 36 36

N.S.

1 2.99 1.34 1.15 0.30 0.00 0.24 0.30 0.30

time (sec)

N/A 1.114 1.103 0.433 0.242 0.000 5.628 0.889 6.078

Problem 1804

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

122 365 164 140 36 0 29 36 36

N.S.

1 2.99 1.34 1.15 0.30 0.00 0.24 0.30 0.30

time (sec)

N/A 0.971 0.004 0.385 0.227 0.000 5.436 0.877 0.003

Problem 1805

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

122 140 112 199 361 627 122 0 0

N.S.

1 1.15 0.92 1.63 2.96 5.14 1.00 0.00 0.00

time (sec)

N/A 0.272 0.636 0.335 0.290 0.359 2.640 0.000 0.000

Problem 1806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F A B

verified

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

size

123 0 108 84 0 93 0 84 109

N.S.

1 0.00 0.88 0.68 0.00 0.76 0.00 0.68 0.89

time (sec)

N/A 0.000 0.182 6.822 0.000 0.297 0.000 0.316 6.178

Problem 1807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

123 73 108 84 0 93 0 0 0

N.S.

1 0.59 0.88 0.68 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.223 0.160 6.519 0.000 0.281 0.000 0.000 0.000

Problem 1808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

123 203 104 142 162 128 42 162 44

N.S.

1 1.65 0.85 1.15 1.32 1.04 0.34 1.32 0.36

time (sec)

N/A 0.373 0.159 0.925 0.272 0.292 0.518 0.273 5.994

Problem 1809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 88 108 87 95 308 39 120 118

N.S.

1 0.72 0.88 0.71 0.77 2.50 0.32 0.98 0.96

time (sec)

N/A 0.203 0.094 0.604 0.276 0.334 0.491 0.487 6.011

Problem 1810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 1261 129 69 0 421 0 0 0

N.S.

1 10.25 1.05 0.56 0.00 3.42 0.00 0.00 0.00

time (sec)

N/A 7.302 0.918 0.896 0.000 0.350 0.000 0.000 0.000

Problem 1811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 402 129 69 0 423 0 0 0

N.S.

1 3.27 1.05 0.56 0.00 3.44 0.00 0.00 0.00

time (sec)

N/A 2.920 0.893 0.782 0.000 0.351 0.000 0.000 0.000

Problem 1812

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

123 505 146 111 22 570 19 22 22

N.S.

1 4.11 1.19 0.90 0.18 4.63 0.15 0.18 0.18

time (sec)

N/A 1.540 0.230 11.782 0.214 0.283 0.394 0.315 5.562

Problem 1813

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

123 0 117 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 1.519 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1814

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

123 0 123 151 0 342 0 0 0

N.S.

1 0.00 1.00 1.23 0.00 2.78 0.00 0.00 0.00

time (sec)

N/A 0.000 0.316 5.485 0.000 5.859 0.000 0.000 0.000

Problem 1815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 210 140 153 0 264 0 278 0

N.S.

1 1.71 1.14 1.24 0.00 2.15 0.00 2.26 0.00

time (sec)

N/A 0.430 0.491 0.317 0.000 0.312 0.000 0.298 0.000

Problem 1816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

123 887 135 80 0 196 0 0 1195

N.S.

1 7.21 1.10 0.65 0.00 1.59 0.00 0.00 9.72

time (sec)

N/A 3.949 0.625 2.177 0.000 0.315 0.000 0.000 5.501

Problem 1817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 224 192 138 0 278 0 125 0

N.S.

1 1.82 1.56 1.12 0.00 2.26 0.00 1.02 0.00

time (sec)

N/A 1.023 11.138 5.022 0.000 1.237 0.000 0.307 0.000

Problem 1818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 159 73 126 0 0 0 217 0

N.S.

1 1.29 0.59 1.02 0.00 0.00 0.00 1.76 0.00

time (sec)

N/A 0.541 10.092 0.474 0.000 0.000 0.000 0.305 0.000

Problem 1819

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

123 0 111 139 0 807 0 0 0

N.S.

1 0.00 0.90 1.13 0.00 6.56 0.00 0.00 0.00

time (sec)

N/A 0.000 2.273 8.749 0.000 0.547 0.000 0.000 0.000

Problem 1820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

123 0 119 126 0 702 0 0 0

N.S.

1 0.00 0.97 1.02 0.00 5.71 0.00 0.00 0.00

time (sec)

N/A 0.000 2.087 7.934 0.000 0.493 0.000 0.000 0.000

Problem 1821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 74 73 115 0 105 0 133 82

N.S.

1 0.60 0.59 0.93 0.00 0.85 0.00 1.08 0.67

time (sec)

N/A 0.281 0.075 0.020 0.000 0.282 0.000 0.286 6.913

Problem 1822

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

123 0 62 0 0 79 0 0 0

N.S.

1 0.00 0.50 0.00 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.000 5.115 0.000 0.000 0.308 0.000 0.000 0.000

Problem 1823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

124 188 106 134 162 128 42 162 45

N.S.

1 1.52 0.85 1.08 1.31 1.03 0.34 1.31 0.36

time (sec)

N/A 0.365 0.166 0.282 0.310 0.280 0.501 0.286 5.743

Problem 1824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

124 709 558 218 0 213 0 0 0

N.S.

1 5.72 4.50 1.76 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 2.520 23.961 1.173 0.000 0.548 0.000 0.000 0.000

Problem 1825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 148 136 206 0 693 0 322 0

N.S.

1 1.19 1.10 1.66 0.00 5.59 0.00 2.60 0.00

time (sec)

N/A 0.329 0.531 0.323 0.000 0.276 0.000 0.290 0.000

Problem 1826

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

124 0 119 116 0 148 0 0 0

N.S.

1 0.00 0.96 0.94 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.000 0.785 0.723 0.000 2.734 0.000 0.000 0.000

Problem 1827

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

124 0 169 115 0 174 0 0 0

N.S.

1 0.00 1.36 0.93 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.000 1.270 15.779 0.000 1.646 0.000 0.000 0.000

Problem 1828

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

124 0 119 0 0 323 0 0 0

N.S.

1 0.00 0.96 0.00 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.000 0.261 0.000 0.000 1.880 0.000 0.000 0.000

Problem 1829

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

124 0 124 23 25 682 27 25 25

N.S.

1 0.00 1.00 0.19 0.20 5.50 0.22 0.20 0.20

time (sec)

N/A 0.000 0.166 0.023 0.597 0.286 1.835 124.680 7.809

Problem 1830

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

124 0 124 23 25 682 27 25 25

N.S.

1 0.00 1.00 0.19 0.20 5.50 0.22 0.20 0.20

time (sec)

N/A 0.000 0.001 0.002 0.631 0.313 1.819 122.595 0.003

Problem 1831

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

124 0 124 23 25 682 27 25 25

N.S.

1 0.00 1.00 0.19 0.20 5.50 0.22 0.20 0.20

time (sec)

N/A 0.000 0.001 0.001 0.614 0.298 1.877 125.066 0.002

Problem 1832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

125 78 108 83 0 113 0 0 0

N.S.

1 0.62 0.86 0.66 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.215 0.174 6.249 0.000 0.258 0.000 0.000 0.000

Problem 1833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

125 78 108 81 0 116 0 0 0

N.S.

1 0.62 0.86 0.65 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.210 0.169 6.194 0.000 0.279 0.000 0.000 0.000

Problem 1834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

125 78 108 81 0 116 0 0 0

N.S.

1 0.62 0.86 0.65 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.206 0.160 6.168 0.000 0.258 0.000 0.000 0.000

Problem 1835

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

125 0 171 135 0 0 0 0 0

N.S.

1 0.00 1.37 1.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 67.098 0.939 0.000 0.000 0.000 0.000 0.000

Problem 1836

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

125 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 1837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

125 709 558 217 0 212 0 0 0

N.S.

1 5.67 4.46 1.74 0.00 1.70 0.00 0.00 0.00

time (sec)

N/A 2.540 16.246 1.132 0.000 0.537 0.000 0.000 0.000

Problem 1838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

125 1571 127 218 0 284 0 0 537

N.S.

1 12.57 1.02 1.74 0.00 2.27 0.00 0.00 4.30

time (sec)

N/A 2.713 0.393 3.509 0.000 0.301 0.000 0.000 0.095

Problem 1839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 144 117 0 266 0 128 0

N.S.

1 1.08 1.15 0.94 0.00 2.13 0.00 1.02 0.00

time (sec)

N/A 0.505 0.665 0.895 0.000 2.480 0.000 0.363 0.000

Problem 1840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

125 170 120 142 155 288 71 0 81

N.S.

1 1.36 0.96 1.14 1.24 2.30 0.57 0.00 0.65

time (sec)

N/A 0.393 5.638 10.214 0.297 11.532 1.444 0.000 8.990

Problem 1841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

125 0 108 142 0 0 0 0 0

N.S.

1 0.00 0.86 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 7.082 1.059 0.000 0.000 0.000 0.000 0.000

Problem 1842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

125 98 125 0 0 188 0 0 0

N.S.

1 0.78 1.00 0.00 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.309 0.027 0.000 0.000 0.229 0.000 0.000 0.000

Problem 1843

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

125 0 108 142 0 0 0 0 0

N.S.

1 0.00 0.86 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.274 1.141 0.000 0.000 0.000 0.000 0.000

Problem 1844

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

size

125 0 127 377 0 413 0 0 0

N.S.

1 0.00 1.02 3.02 0.00 3.30 0.00 0.00 0.00

time (sec)

N/A 0.000 11.481 11.318 0.000 28.741 0.000 0.000 0.000

Problem 1845

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

125 125 125 170 0 250 0 0 0

N.S.

1 1.00 1.00 1.36 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.588 0.445 3.432 0.000 0.252 0.000 0.000 0.000

Problem 1846

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

125 0 115 0 0 0 0 0 0

N.S.

1 0.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 152 151 127 0 288 0 136 0

N.S.

1 1.21 1.20 1.01 0.00 2.29 0.00 1.08 0.00

time (sec)

N/A 0.568 0.654 1.360 0.000 2.412 0.000 0.372 0.000

Problem 1848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

126 64 46 119 0 574 0 208 0

N.S.

1 0.51 0.37 0.94 0.00 4.56 0.00 1.65 0.00

time (sec)

N/A 0.497 10.020 0.501 0.000 48.540 0.000 0.324 0.000

Problem 1849

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

126 0 231 189 0 151 0 0 0

N.S.

1 0.00 1.83 1.50 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.000 3.051 31.826 0.000 0.669 0.000 0.000 0.000

Problem 1850

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

127 0 155 0 0 0 0 0 0

N.S.

1 0.00 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 2.532 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

127 330 160 0 154 2054 36 0 30

N.S.

1 2.60 1.26 0.00 1.21 16.17 0.28 0.00 0.24

time (sec)

N/A 0.868 0.462 0.000 0.342 5.328 4.755 0.000 5.753

Problem 1852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

127 330 160 0 154 2054 36 0 30

N.S.

1 2.60 1.26 0.00 1.21 16.17 0.28 0.00 0.24

time (sec)

N/A 0.743 0.003 0.000 0.332 5.285 4.776 0.000 0.002

Problem 1853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 92 77 298 0 81 0 188 0

N.S.

1 0.72 0.61 2.35 0.00 0.64 0.00 1.48 0.00

time (sec)

N/A 0.349 0.176 0.051 0.000 1.931 0.000 0.484 0.000

Problem 1854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

127 136 123 0 0 166 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.543 0.252 0.000 0.000 0.284 0.000 0.000 0.000

Problem 1855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

127 136 123 0 0 166 0 0 0

N.S.

1 1.07 0.97 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.511 0.231 0.000 0.000 0.278 0.000 0.000 0.000

Problem 1856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 0 104 671 0 407 0 0 0

N.S.

1 0.00 0.81 5.24 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.000 0.183 5.210 0.000 10.351 0.000 0.000 0.000

Problem 1857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 205 107 142 162 128 42 162 51

N.S.

1 1.60 0.84 1.11 1.27 1.00 0.33 1.27 0.40

time (sec)

N/A 0.361 0.176 1.226 0.280 0.253 0.514 0.269 5.720

Problem 1858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 190 109 134 162 128 42 162 51

N.S.

1 1.48 0.85 1.05 1.27 1.00 0.33 1.27 0.40

time (sec)

N/A 0.354 0.122 0.227 0.284 0.265 0.512 0.273 5.640

Problem 1859

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

128 0 122 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 12.779 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 202 107 142 162 128 41 162 44

N.S.

1 1.58 0.84 1.11 1.27 1.00 0.32 1.27 0.34

time (sec)

N/A 0.373 0.158 0.977 0.276 0.266 0.540 0.264 5.781

Problem 1861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 186 109 134 162 128 39 162 46

N.S.

1 1.45 0.85 1.05 1.27 1.00 0.30 1.27 0.36

time (sec)

N/A 0.366 0.127 0.243 0.269 0.265 0.498 0.267 5.810

Problem 1862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 0 455 257 0 0 0 23 1163

N.S.

1 0.00 3.55 2.01 0.00 0.00 0.00 0.18 9.09

time (sec)

N/A 0.000 0.284 0.679 0.000 0.000 0.000 0.319 5.720

Problem 1863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 205 107 142 162 128 42 162 51

N.S.

1 1.60 0.84 1.11 1.27 1.00 0.33 1.27 0.40

time (sec)

N/A 0.379 0.146 1.063 0.292 0.249 0.513 0.275 5.583

Problem 1864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 205 107 143 162 128 42 162 44

N.S.

1 1.60 0.84 1.12 1.27 1.00 0.33 1.27 0.34

time (sec)

N/A 0.371 0.134 0.951 0.268 0.245 0.551 0.267 5.620

Problem 1865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 0 124 224 0 550 0 0 0

N.S.

1 0.00 0.97 1.75 0.00 4.30 0.00 0.00 0.00

time (sec)

N/A 0.000 1.145 5.690 0.000 0.369 0.000 0.000 0.000

Problem 1866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 0 116 101 0 322 0 0 0

N.S.

1 0.00 0.91 0.79 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.000 0.425 6.503 0.000 6.296 0.000 0.000 0.000

Problem 1867

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

128 0 124 109 0 105 0 0 0

N.S.

1 0.00 0.97 0.85 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.000 2.342 9.998 0.000 0.333 0.000 0.000 0.000

Problem 1868

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

128 0 128 41 43 678002 37 43 43

N.S.

1 0.00 1.00 0.32 0.34 5296.89 0.29 0.34 0.34

time (sec)

N/A 0.000 0.453 0.012 0.257 2.341 0.594 2.486 5.684

Problem 1869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 126 110 0 0 98 0 0 0

N.S.

1 0.98 0.86 0.00 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.398 0.186 0.000 0.000 0.233 0.000 0.000 0.000

Problem 1870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 54 71 47 46 43 445 79 0

N.S.

1 0.42 0.55 0.37 0.36 0.34 3.48 0.62 0.00

time (sec)

N/A 0.279 0.059 0.118 0.188 0.246 0.982 0.309 0.000

Problem 1871

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

129 117 209 36 0 114 0 93 0

N.S.

1 0.91 1.62 0.28 0.00 0.88 0.00 0.72 0.00

time (sec)

N/A 0.280 1.052 2.202 0.000 40.320 0.000 0.282 0.000

Problem 1872

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

size

129 3566 158 121 29 30549 24 3 29

N.S.

1 27.64 1.22 0.94 0.22 236.81 0.19 0.02 0.22

time (sec)

N/A 7.325 0.500 0.688 0.237 17.795 2.885 7.133 5.858

Problem 1873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

129 1696 139 209 0 451 0 0 682

N.S.

1 13.15 1.08 1.62 0.00 3.50 0.00 0.00 5.29

time (sec)

N/A 2.614 0.728 4.129 0.000 0.275 0.000 0.000 0.056

Problem 1874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 136 99 107 0 139 0 97 0

N.S.

1 1.05 0.77 0.83 0.00 1.08 0.00 0.75 0.00

time (sec)

N/A 0.432 0.115 1.730 0.000 0.242 0.000 0.280 0.000

Problem 1875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

129 0 113 118 0 0 0 0 0

N.S.

1 0.00 0.88 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.372 0.212 0.000 0.000 0.000 0.000 0.000

Problem 1876

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

129 129 129 171 0 250 0 0 0

N.S.

1 1.00 1.00 1.33 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 0.570 0.452 3.871 0.000 0.281 0.000 0.000 0.000

Problem 1877

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

129 0 114 105 24 0 0 3 24

N.S.

1 0.00 0.88 0.81 0.19 0.00 0.00 0.02 0.19

time (sec)

N/A 0.000 0.142 0.151 0.352 0.000 0.000 26.962 5.782

Problem 1878

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

129 0 114 105 24 0 0 3 24

N.S.

1 0.00 0.88 0.81 0.19 0.00 0.00 0.02 0.19

time (sec)

N/A 0.000 0.002 0.319 0.341 0.000 0.000 26.751 0.002

Problem 1879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 355 148 109 0 1301 0 0 0

N.S.

1 2.73 1.14 0.84 0.00 10.01 0.00 0.00 0.00

time (sec)

N/A 0.888 0.439 0.862 0.000 40.912 0.000 0.000 0.000

Problem 1880

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

130 0 236 0 0 0 0 0 0

N.S.

1 0.00 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 46.255 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1881

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

130 571 113 0 0 0 0 0 0

N.S.

1 4.39 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.060 0.354 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

130 0 117 97 29 1268 0 0 29

N.S.

1 0.00 0.90 0.75 0.22 9.75 0.00 0.00 0.22

time (sec)

N/A 0.000 0.118 0.160 0.348 1.031 0.000 0.000 5.855

Problem 1883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

130 0 117 97 29 1268 0 0 29

N.S.

1 0.00 0.90 0.75 0.22 9.75 0.00 0.00 0.22

time (sec)

N/A 0.000 0.001 0.165 0.341 0.985 0.000 0.000 0.002

Problem 1884

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

130 0 106 88 29 0 0 29 29

N.S.

1 0.00 0.82 0.68 0.22 0.00 0.00 0.22 0.22

time (sec)

N/A 0.000 0.147 0.147 0.341 0.000 0.000 0.406 5.919

Problem 1885

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

130 0 106 88 29 0 0 29 29

N.S.

1 0.00 0.82 0.68 0.22 0.00 0.00 0.22 0.22

time (sec)

N/A 0.000 0.001 0.146 0.333 0.000 0.000 0.405 0.002

Problem 1886

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

130 263 130 28 30 721 27 30 30

N.S.

1 2.02 1.00 0.22 0.23 5.55 0.21 0.23 0.23

time (sec)

N/A 1.030 0.131 0.023 0.321 0.258 7.934 0.553 5.904

Problem 1887

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

130 0 142 0 0 118 0 0 0

N.S.

1 0.00 1.09 0.00 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.000 2.692 0.000 0.000 0.236 0.000 0.000 0.000

Problem 1888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 184 123 238 0 0 0 157 0

N.S.

1 1.42 0.95 1.83 0.00 0.00 0.00 1.21 0.00

time (sec)

N/A 0.543 0.345 0.148 0.000 0.000 0.000 0.539 0.000

Problem 1889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

131 265 117 663 0 0 0 0 0

N.S.

1 2.02 0.89 5.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.826 0.171 19.304 0.000 0.000 0.000 0.000 0.000

Problem 1890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

131 100 163 55 0 112 0 78 46

N.S.

1 0.76 1.24 0.42 0.00 0.85 0.00 0.60 0.35

time (sec)

N/A 0.242 1.329 0.982 0.000 0.880 0.000 0.302 5.729

Problem 1891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 980 135 225 0 324 0 0 658

N.S.

1 7.48 1.03 1.72 0.00 2.47 0.00 0.00 5.02

time (sec)

N/A 1.903 0.605 6.074 0.000 0.340 0.000 0.000 5.365

Problem 1892

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

131 0 131 110 0 327 0 0 0

N.S.

1 0.00 1.00 0.84 0.00 2.50 0.00 0.00 0.00

time (sec)

N/A 0.000 0.697 8.061 0.000 21.212 0.000 0.000 0.000

Problem 1893

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

131 0 131 110 0 334 0 0 0

N.S.

1 0.00 1.00 0.84 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.000 1.061 101.585 0.000 116.633 0.000 0.000 0.000

Problem 1894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 107 131 128 0 292 0 0 0

N.S.

1 0.82 1.00 0.98 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 0.606 0.330 12.964 0.000 1.799 0.000 0.000 0.000

Problem 1895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

131 235 270 368 0 431 0 207 0

N.S.

1 1.79 2.06 2.81 0.00 3.29 0.00 1.58 0.00

time (sec)

N/A 1.028 0.326 4.401 0.000 0.484 0.000 0.418 0.000

Problem 1896

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

131 491 131 71 35 0 29 35 35

N.S.

1 3.75 1.00 0.54 0.27 0.00 0.22 0.27 0.27

time (sec)

N/A 1.307 1.240 0.325 0.222 0.000 58.734 1.665 5.577

Problem 1897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 134 126 0 0 193 0 0 0

N.S.

1 1.02 0.96 0.00 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.604 0.211 0.000 0.000 0.245 0.000 0.000 0.000

Problem 1898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 134 126 0 0 193 0 0 0

N.S.

1 1.02 0.96 0.00 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.570 0.182 0.000 0.000 0.274 0.000 0.000 0.000

Problem 1899

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

131 0 135 0 0 123 0 0 0

N.S.

1 0.00 1.03 0.00 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.000 2.561 0.000 0.000 0.251 0.000 0.000 0.000

Problem 1900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 0 108 883 0 395 0 0 0

N.S.

1 0.00 0.82 6.69 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.173 4.740 0.000 6.069 0.000 0.000 0.000

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