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

2.2.18 Integrals 1701 to 1800

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 1701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 261 148 208 0 181 0 123 0

N.S.

1 2.29 1.30 1.82 0.00 1.59 0.00 1.08 0.00

time (sec)

N/A 0.422 0.482 4.776 0.000 0.271 0.000 0.336 0.000

Problem 1702

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

114 177 71 126 0 0 0 209 72

N.S.

1 1.55 0.62 1.11 0.00 0.00 0.00 1.83 0.63

time (sec)

N/A 0.480 5.001 0.414 0.000 0.000 0.000 0.303 6.942

Problem 1703

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

114 126 114 132 0 558 0 0 0

N.S.

1 1.11 1.00 1.16 0.00 4.89 0.00 0.00 0.00

time (sec)

N/A 0.770 0.860 0.362 0.000 100.278 0.000 0.000 0.000

Problem 1704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 141 111 84 0 109 90 0 0

N.S.

1 1.24 0.97 0.74 0.00 0.96 0.79 0.00 0.00

time (sec)

N/A 0.530 0.187 0.051 0.000 0.270 47.812 0.000 0.000

Problem 1705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

114 0 82 0 0 219 44 0 0

N.S.

1 0.00 0.72 0.00 0.00 1.92 0.39 0.00 0.00

time (sec)

N/A 0.000 0.147 0.000 0.000 23.017 0.633 0.000 0.000

Problem 1706

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

115 0 102 705 0 147 0 0 0

N.S.

1 0.00 0.89 6.13 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.000 0.118 1.051 0.000 0.703 0.000 0.000 0.000

Problem 1707

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

115 150 46 111 145 124 112 0 158

N.S.

1 1.30 0.40 0.97 1.26 1.08 0.97 0.00 1.37

time (sec)

N/A 0.334 10.024 1.769 0.327 0.504 6.759 0.000 5.998

Problem 1708

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

115 85 103 83 86 236 37 87 100

N.S.

1 0.74 0.90 0.72 0.75 2.05 0.32 0.76 0.87

time (sec)

N/A 0.212 0.097 0.570 0.303 0.290 0.538 0.526 5.803

Problem 1709

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

115 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 1710

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

115 0 115 119 0 150 0 0 0

N.S.

1 0.00 1.00 1.03 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.000 0.414 5.020 0.000 3.255 0.000 0.000 0.000

Problem 1711

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

size

115 706 151 78 31 0 29 0 31

N.S.

1 6.14 1.31 0.68 0.27 0.00 0.25 0.00 0.27

time (sec)

N/A 1.546 3.229 160.698 0.246 0.000 2.365 0.000 5.876

Problem 1712

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

115 0 115 80 29 0 26 29 26

N.S.

1 0.00 1.00 0.70 0.25 0.00 0.23 0.25 0.23

time (sec)

N/A 0.000 0.101 0.520 0.293 0.000 20.851 0.508 5.888

Problem 1713

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

115 0 115 80 29 0 26 29 26

N.S.

1 0.00 1.00 0.70 0.25 0.00 0.23 0.25 0.23

time (sec)

N/A 0.000 0.001 0.378 0.292 0.000 21.200 0.512 0.002

Problem 1714

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

116 0 116 396 0 127 0 0 0

N.S.

1 0.00 1.00 3.41 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.000 0.275 2.055 0.000 0.531 0.000 0.000 0.000

Problem 1715

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

116 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 1716

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

116 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 1717

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

116 964 142 88 139 0 29 32 35

N.S.

1 8.31 1.22 0.76 1.20 0.00 0.25 0.28 0.30

time (sec)

N/A 2.662 3.095 202.401 0.319 0.000 50.616 0.394 6.000

Problem 1718

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

116 964 142 88 139 0 29 32 35

N.S.

1 8.31 1.22 0.76 1.20 0.00 0.25 0.28 0.30

time (sec)

N/A 2.389 0.001 185.728 0.302 0.000 51.327 0.401 0.003

Problem 1719

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

116 0 126 148 0 0 0 0 0

N.S.

1 0.00 1.09 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.088 0.915 0.000 0.000 0.000 0.000 0.000

Problem 1720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

116 482 0 148 0 0 0 0 0

N.S.

1 4.16 0.00 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.680 0.000 1.018 0.000 0.000 0.000 0.000 0.000

Problem 1721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

116 482 0 148 0 0 0 0 0

N.S.

1 4.16 0.00 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.564 0.000 1.082 0.000 0.000 0.000 0.000 0.000

Problem 1722

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

116 0 0 148 0 0 0 0 0

N.S.

1 0.00 0.00 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.012 0.000 0.000 0.000 0.000 0.000

Problem 1723

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

116 445 116 75 30 0 22 30 29

N.S.

1 3.84 1.00 0.65 0.26 0.00 0.19 0.26 0.25

time (sec)

N/A 0.792 0.552 0.300 0.227 0.000 7.912 1.886 5.885

Problem 1724

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

116 445 116 75 30 0 22 30 29

N.S.

1 3.84 1.00 0.65 0.26 0.00 0.19 0.26 0.25

time (sec)

N/A 0.583 0.001 0.204 0.248 0.000 7.897 1.726 0.003

Problem 1725

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

116 539 117 77 35 0 0 35 35

N.S.

1 4.65 1.01 0.66 0.30 0.00 0.00 0.30 0.30

time (sec)

N/A 1.693 1.378 0.309 0.249 0.000 0.000 1.909 6.032

Problem 1726

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

116 539 117 77 35 0 0 35 35

N.S.

1 4.65 1.01 0.66 0.30 0.00 0.00 0.30 0.30

time (sec)

N/A 1.288 0.001 0.211 0.259 0.000 0.000 1.935 0.002

Problem 1727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

116 0 116 0 57 0 65 57 56

N.S.

1 0.00 1.00 0.00 0.49 0.00 0.56 0.49 0.48

time (sec)

N/A 0.000 1.462 0.000 0.250 0.000 6.129 0.325 6.915

Problem 1728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

116 0 116 0 57 0 65 57 56

N.S.

1 0.00 1.00 0.00 0.49 0.00 0.56 0.49 0.48

time (sec)

N/A 0.000 0.002 0.000 0.270 0.000 6.053 0.307 0.003

Problem 1729

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

117 140 169 33 0 112 0 109 0

N.S.

1 1.20 1.44 0.28 0.00 0.96 0.00 0.93 0.00

time (sec)

N/A 0.316 1.135 1.882 0.000 0.428 0.000 0.291 0.000

Problem 1730

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

117 332 117 98 0 589 0 0 0

N.S.

1 2.84 1.00 0.84 0.00 5.03 0.00 0.00 0.00

time (sec)

N/A 0.672 0.459 0.325 0.000 0.342 0.000 0.000 0.000

Problem 1731

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

117 332 117 98 0 589 0 0 0

N.S.

1 2.84 1.00 0.84 0.00 5.03 0.00 0.00 0.00

time (sec)

N/A 0.743 0.398 0.403 0.000 0.362 0.000 0.000 0.000

Problem 1732

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

117 117 112 33 145 107 34 0 0

N.S.

1 1.00 0.96 0.28 1.24 0.91 0.29 0.00 0.00

time (sec)

N/A 0.232 4.488 2.219 0.297 0.272 6.626 0.000 0.000

Problem 1733

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

117 118 112 33 145 107 36 0 0

N.S.

1 1.01 0.96 0.28 1.24 0.91 0.31 0.00 0.00

time (sec)

N/A 0.230 1.105 1.885 0.285 0.270 3.597 0.000 0.000

Problem 1734

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

117 118 112 17 145 107 29 0 0

N.S.

1 1.01 0.96 0.15 1.24 0.91 0.25 0.00 0.00

time (sec)

N/A 0.218 4.468 2.132 0.279 0.256 6.488 0.000 0.000

Problem 1735

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

117 118 112 17 145 107 31 0 0

N.S.

1 1.01 0.96 0.15 1.24 0.91 0.26 0.00 0.00

time (sec)

N/A 0.220 1.150 1.917 0.291 0.244 3.550 0.000 0.000

Problem 1736

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

117 179 84 133 0 0 0 220 80

N.S.

1 1.53 0.72 1.14 0.00 0.00 0.00 1.88 0.68

time (sec)

N/A 0.406 10.057 0.382 0.000 0.000 0.000 0.309 6.241

Problem 1737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

117 0 114 111 0 157 0 0 0

N.S.

1 0.00 0.97 0.95 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.000 0.285 2.357 0.000 1.976 0.000 0.000 0.000

Problem 1738

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

117 179 147 131 0 0 0 217 73

N.S.

1 1.53 1.26 1.12 0.00 0.00 0.00 1.85 0.62

time (sec)

N/A 0.420 10.119 0.349 0.000 0.000 0.000 0.299 6.112

Problem 1739

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

117 179 147 131 0 0 0 217 73

N.S.

1 1.53 1.26 1.12 0.00 0.00 0.00 1.85 0.62

time (sec)

N/A 0.401 10.081 0.329 0.000 0.000 0.000 0.319 5.957

Problem 1740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 182 170 235 0 400 0 123 0

N.S.

1 1.56 1.45 2.01 0.00 3.42 0.00 1.05 0.00

time (sec)

N/A 0.844 0.496 3.228 0.000 4.811 0.000 0.325 0.000

Problem 1741

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

117 507 112 121 42 3354 32 42 38

N.S.

1 4.33 0.96 1.03 0.36 28.67 0.27 0.36 0.32

time (sec)

N/A 1.562 0.833 0.338 0.227 0.473 95.949 1.621 5.915

Problem 1742

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

117 507 112 121 42 3354 32 42 38

N.S.

1 4.33 0.96 1.03 0.36 28.67 0.27 0.36 0.32

time (sec)

N/A 1.240 0.002 0.234 0.217 0.424 92.515 1.575 0.003

Problem 1743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

117 0 0 0 0 78 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.272 0.000 0.000 0.000

Problem 1744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 70 105 130 170 101 73 0 0

N.S.

1 0.59 0.89 1.10 1.44 0.86 0.62 0.00 0.00

time (sec)

N/A 0.189 0.270 0.467 0.285 0.270 1.018 0.000 0.000

Problem 1745

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

size

118 223 204 36 0 100 0 83 0

N.S.

1 1.89 1.73 0.31 0.00 0.85 0.00 0.70 0.00

time (sec)

N/A 0.383 2.285 0.949 0.000 47.606 0.000 0.303 0.000

Problem 1746

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

size

118 130 139 27 0 110 0 89 27

N.S.

1 1.10 1.18 0.23 0.00 0.93 0.00 0.75 0.23

time (sec)

N/A 0.255 0.211 0.584 0.000 0.268 0.000 0.275 5.947

Problem 1747

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

size

118 168 160 15 0 110 0 97 0

N.S.

1 1.42 1.36 0.13 0.00 0.93 0.00 0.82 0.00

time (sec)

N/A 0.317 0.320 0.656 0.000 0.293 0.000 0.279 0.000

Problem 1748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 0 138 151 80 1022 22 193 22

N.S.

1 0.00 1.17 1.28 0.68 8.66 0.19 1.64 0.19

time (sec)

N/A 0.000 0.342 79.477 0.302 3.786 1.149 0.318 5.507

Problem 1749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 0 138 151 80 1022 22 193 22

N.S.

1 0.00 1.17 1.28 0.68 8.66 0.19 1.64 0.19

time (sec)

N/A 0.000 0.002 73.739 0.315 3.787 1.165 0.312 0.002

Problem 1750

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

118 0 118 121 0 153 0 0 0

N.S.

1 0.00 1.00 1.03 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.000 1.264 3.717 0.000 1.754 0.000 0.000 0.000

Problem 1751

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

118 338 154 127 35 0 29 35 34

N.S.

1 2.86 1.31 1.08 0.30 0.00 0.25 0.30 0.29

time (sec)

N/A 1.145 1.054 0.518 0.244 0.000 5.232 0.922 5.768

Problem 1752

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

118 338 154 127 35 0 29 35 34

N.S.

1 2.86 1.31 1.08 0.30 0.00 0.25 0.30 0.29

time (sec)

N/A 0.960 0.001 0.487 0.241 0.000 5.164 0.876 0.002

Problem 1753

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

118 319 104 97 0 294 0 0 0

N.S.

1 2.70 0.88 0.82 0.00 2.49 0.00 0.00 0.00

time (sec)

N/A 1.109 15.331 14.189 0.000 2.393 0.000 0.000 0.000

Problem 1754

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

118 0 146 159 0 332 0 0 0

N.S.

1 0.00 1.24 1.35 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 0.000 1.176 6.560 0.000 4.674 0.000 0.000 0.000

Problem 1755

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

118 0 146 159 0 332 0 0 0

N.S.

1 0.00 1.24 1.35 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 0.000 0.001 0.000 0.000 4.637 0.000 0.000 0.000

Problem 1756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 131 112 153 0 155 0 0 0

N.S.

1 1.11 0.95 1.30 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.327 0.313 2.547 0.000 0.601 0.000 0.000 0.000

Problem 1757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

118 126 100 110 145 243 184 149 0

N.S.

1 1.07 0.85 0.93 1.23 2.06 1.56 1.26 0.00

time (sec)

N/A 0.594 0.184 0.144 0.322 0.280 4.332 0.528 0.000

Problem 1758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 153 106 161 0 0 226 0 0

N.S.

1 1.30 0.90 1.36 0.00 0.00 1.92 0.00 0.00

time (sec)

N/A 0.432 0.218 0.158 0.000 0.000 0.645 0.000 0.000

Problem 1759

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

118 0 114 0 0 319 0 0 0

N.S.

1 0.00 0.97 0.00 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 0.000 0.276 0.000 0.000 2.614 0.000 0.000 0.000

Problem 1760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 0 118 165 25 0 0 3653 25

N.S.

1 0.00 1.00 1.40 0.21 0.00 0.00 30.96 0.21

time (sec)

N/A 0.000 0.272 0.579 1.338 0.000 0.000 16.789 5.710

Problem 1761

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

119 0 72 0 0 0 0 0 0

N.S.

1 0.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.357 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1762

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

119 152 114 33 193 111 36 0 0

N.S.

1 1.28 0.96 0.28 1.62 0.93 0.30 0.00 0.00

time (sec)

N/A 0.263 0.331 0.992 0.272 0.252 120.285 0.000 0.000

Problem 1763

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

119 0 72 0 0 0 0 0 0

N.S.

1 0.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.759 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

119 1540 155 82 32 0 0 0 32

N.S.

1 12.94 1.30 0.69 0.27 0.00 0.00 0.00 0.27

time (sec)

N/A 3.867 3.027 201.051 0.279 0.000 0.000 0.000 5.689

Problem 1765

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

119 350 155 128 35 0 29 35 35

N.S.

1 2.94 1.30 1.08 0.29 0.00 0.24 0.29 0.29

time (sec)

N/A 1.083 1.098 0.394 0.234 0.000 5.214 0.895 5.680

Problem 1766

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

119 350 155 128 35 0 29 35 35

N.S.

1 2.94 1.30 1.08 0.29 0.00 0.24 0.29 0.29

time (sec)

N/A 0.928 0.002 0.368 0.236 0.000 5.279 0.867 0.002

Problem 1767

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

119 0 116 119 0 149 0 0 0

N.S.

1 0.00 0.97 1.00 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.000 0.309 14.131 0.000 9.481 0.000 0.000 0.000

Problem 1768

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

119 0 119 158 0 356 0 0 0

N.S.

1 0.00 1.00 1.33 0.00 2.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.781 11.102 0.000 64.293 0.000 0.000 0.000

Problem 1769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 176 129 144 0 268 0 261 38

N.S.

1 1.48 1.08 1.21 0.00 2.25 0.00 2.19 0.32

time (sec)

N/A 0.377 0.060 0.970 0.000 0.261 0.000 0.284 5.623

Problem 1770

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

119 1494 107 86 0 521 0 0 0

N.S.

1 12.55 0.90 0.72 0.00 4.38 0.00 0.00 0.00

time (sec)

N/A 4.018 1.706 4.589 0.000 0.326 0.000 0.000 0.000

Problem 1771

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

119 871 107 109 0 545 0 0 0

N.S.

1 7.32 0.90 0.92 0.00 4.58 0.00 0.00 0.00

time (sec)

N/A 2.896 1.644 5.252 0.000 0.323 0.000 0.000 0.000

Problem 1772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 380 113 139 0 376 0 0 0

N.S.

1 3.19 0.95 1.17 0.00 3.16 0.00 0.00 0.00

time (sec)

N/A 1.143 0.527 8.951 0.000 0.388 0.000 0.000 0.000

Problem 1773

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

119 99 100 85 95 200 114 107 0

N.S.

1 0.83 0.84 0.71 0.80 1.68 0.96 0.90 0.00

time (sec)

N/A 0.272 0.221 0.164 0.273 0.282 1.633 0.274 0.000

Problem 1774

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

119 0 179 0 0 100 0 0 0

N.S.

1 0.00 1.50 0.00 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.000 0.493 0.000 0.000 0.626 0.000 0.000 0.000

Problem 1775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 214 119 120 0 117 323 0 0

N.S.

1 1.80 1.00 1.01 0.00 0.98 2.71 0.00 0.00

time (sec)

N/A 1.281 2.353 3.863 0.000 0.432 3.760 0.000 0.000

Problem 1776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

119 113 120 0 0 0 32 0 0

N.S.

1 0.95 1.01 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.616 0.252 0.000 0.000 0.000 2.317 0.000 0.000

Problem 1777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

119 111 95 85 102 130 128 102 0

N.S.

1 0.93 0.80 0.71 0.86 1.09 1.08 0.86 0.00

time (sec)

N/A 0.892 0.165 0.126 0.275 0.259 4.998 0.294 0.000

Problem 1778

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

120 1050 146 83 37 0 36 0 37

N.S.

1 8.75 1.22 0.69 0.31 0.00 0.30 0.00 0.31

time (sec)

N/A 2.644 2.951 46.020 0.336 0.000 2.930 0.000 6.363

Problem 1779

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

120 1050 146 83 37 0 36 0 37

N.S.

1 8.75 1.22 0.69 0.31 0.00 0.30 0.00 0.31

time (sec)

N/A 2.431 0.001 42.732 0.328 0.000 2.892 0.000 0.003

Problem 1780

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

120 0 120 263 33 321 29 33 33

N.S.

1 0.00 1.00 2.19 0.28 2.68 0.24 0.28 0.28

time (sec)

N/A 0.000 0.157 8.108 0.319 0.341 1.880 0.298 6.117

Problem 1781

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

120 0 120 263 33 321 29 33 33

N.S.

1 0.00 1.00 2.19 0.28 2.68 0.24 0.28 0.28

time (sec)

N/A 0.000 0.001 4.717 0.319 0.363 1.844 0.300 0.003

Problem 1782

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

120 0 120 256 33 475 34 33 33

N.S.

1 0.00 1.00 2.13 0.28 3.96 0.28 0.28 0.28

time (sec)

N/A 0.000 0.156 4.904 0.306 0.357 2.196 0.312 6.114

Problem 1783

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

120 0 120 256 33 475 34 33 33

N.S.

1 0.00 1.00 2.13 0.28 3.96 0.28 0.28 0.28

time (sec)

N/A 0.000 0.001 2.331 0.318 0.348 2.240 0.308 0.003

Problem 1784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 132 110 117 0 0 0 0 0

N.S.

1 1.10 0.92 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.837 1.048 0.464 0.000 0.000 0.000 0.000 0.000

Problem 1785

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

120 529 121 79 42 0 0 42 39

N.S.

1 4.41 1.01 0.66 0.35 0.00 0.00 0.35 0.32

time (sec)

N/A 1.755 1.421 0.324 0.261 0.000 0.000 1.857 6.560

Problem 1786

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

120 529 121 79 42 0 0 42 39

N.S.

1 4.41 1.01 0.66 0.35 0.00 0.00 0.35 0.32

time (sec)

N/A 1.422 0.002 0.397 0.289 0.000 0.000 1.861 0.003

Problem 1787

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

121 0 76 0 0 0 0 0 0

N.S.

1 0.00 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.376 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1788

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

121 0 104 0 0 0 0 0 0

N.S.

1 0.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.803 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1789

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

121 831 117 79 0 150 0 0 0

N.S.

1 6.87 0.97 0.65 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 3.235 1.007 2.790 0.000 0.377 0.000 0.000 0.000

Problem 1790

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

121 319 147 105 0 307 0 0 0

N.S.

1 2.64 1.21 0.87 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.860 0.762 7.220 0.000 2.441 0.000 0.000 0.000

Problem 1791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F C F F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

121 1732 121 106 0 579 0 0 164

N.S.

1 14.31 1.00 0.88 0.00 4.79 0.00 0.00 1.36

time (sec)

N/A 4.078 0.590 0.826 0.000 0.351 0.000 0.000 11.237

Problem 1792

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

121 320 106 95 0 320 0 0 0

N.S.

1 2.64 0.88 0.79 0.00 2.64 0.00 0.00 0.00

time (sec)

N/A 1.085 15.318 11.620 0.000 2.385 0.000 0.000 0.000

Problem 1793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 0 152 98 29 3561 41 0 29

N.S.

1 0.00 1.26 0.81 0.24 29.43 0.34 0.00 0.24

time (sec)

N/A 0.000 0.330 113.071 0.232 5.027 3.211 0.000 5.780

Problem 1794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

121 0 152 98 29 3561 41 0 29

N.S.

1 0.00 1.26 0.81 0.24 29.43 0.34 0.00 0.24

time (sec)

N/A 0.000 0.001 113.550 0.244 5.082 3.220 0.000 0.003

Problem 1795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A 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

121 231 118 104 36 514 37 36 35

N.S.

1 1.91 0.98 0.86 0.30 4.25 0.31 0.30 0.29

time (sec)

N/A 0.813 0.299 7.679 0.302 0.286 134.237 0.300 6.106

Problem 1796

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

121 0 105 0 0 114 0 0 0

N.S.

1 0.00 0.87 0.00 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.000 2.523 0.000 0.000 0.279 0.000 0.000 0.000

Problem 1797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F C F B B

verified

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

size

122 0 102 131 0 157 0 202 57

N.S.

1 0.00 0.84 1.07 0.00 1.29 0.00 1.66 0.47

time (sec)

N/A 0.000 0.250 1.141 0.000 0.290 0.000 0.294 6.338

Problem 1798

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

122 163 174 33 0 117 0 127 0

N.S.

1 1.34 1.43 0.27 0.00 0.96 0.00 1.04 0.00

time (sec)

N/A 0.369 3.473 1.927 0.000 0.392 0.000 0.287 0.000

Problem 1799

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

size

122 101 123 352 0 120 0 0 0

N.S.

1 0.83 1.01 2.89 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.220 0.079 0.286 0.000 0.259 0.000 0.000 0.000

Problem 1800

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

122 144 158 161 0 478 0 112 0

N.S.

1 1.18 1.30 1.32 0.00 3.92 0.00 0.92 0.00

time (sec)

N/A 0.646 0.380 2.395 0.000 10.772 0.000 0.316 0.000

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