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

Integrals 301 to 314

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 60 72 0 108 0 0 89 0

N.S.

1 1.00 1.20 0.00 1.80 0.00 0.00 1.48 0.00

time (sec)

N/A 0.050 0.178 0.000 0.258 0.000 0.000 0.310 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 64 71 0 94 0 0 74 0

N.S.

1 1.00 1.11 0.00 1.47 0.00 0.00 1.16 0.00

time (sec)

N/A 0.047 0.158 0.000 0.244 0.000 0.000 0.344 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 69 80 0 156 0 0 129 0

N.S.

1 1.00 1.16 0.00 2.26 0.00 0.00 1.87 0.00

time (sec)

N/A 0.049 0.197 0.000 0.249 0.000 0.000 0.307 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

71 71 79 0 130 0 0 106 0

N.S.

1 1.00 1.11 0.00 1.83 0.00 0.00 1.49 0.00

time (sec)

N/A 0.052 0.192 0.000 0.221 0.000 0.000 0.317 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

98 98 95 426 94 234 0 0 0

N.S.

1 1.00 0.97 4.35 0.96 2.39 0.00 0.00 0.00

time (sec)

N/A 0.202 0.049 1.605 0.406 0.329 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 80 79 398 70 174 0 0 0

N.S.

1 1.00 0.99 4.98 0.88 2.18 0.00 0.00 0.00

time (sec)

N/A 0.125 0.037 1.381 0.373 0.330 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

52 52 47 368 43 109 0 0 0

N.S.

1 1.00 0.90 7.08 0.83 2.10 0.00 0.00 0.00

time (sec)

N/A 0.044 0.025 0.922 0.354 0.318 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 101 12 10 12 12

N.S.

1 1.00 1.20 1.00 10.10 1.20 1.00 1.20 1.20

time (sec)

N/A 0.013 1.941 0.569 0.575 0.287 3.828 0.345 1.644

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 121 12 12 12 12

N.S.

1 1.00 1.20 1.00 12.10 1.20 1.20 1.20 1.20

time (sec)

N/A 0.260 1.644 0.693 0.399 0.278 20.606 0.374 1.618

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

103 103 100 643 94 241 0 0 0

N.S.

1 1.00 0.97 6.24 0.91 2.34 0.00 0.00 0.00

time (sec)

N/A 0.144 0.059 2.029 0.371 0.325 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

85 85 82 615 70 181 0 0 0

N.S.

1 1.00 0.96 7.24 0.82 2.13 0.00 0.00 0.00

time (sec)

N/A 0.095 0.032 1.652 0.362 0.319 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

57 57 56 583 43 116 0 0 0

N.S.

1 1.00 0.98 10.23 0.75 2.04 0.00 0.00 0.00

time (sec)

N/A 0.046 0.023 1.025 0.364 0.310 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

13 13 15 12 102 14 14 14 14

N.S.

1 1.00 1.15 0.92 7.85 1.08 1.08 1.08 1.08

time (sec)

N/A 0.016 0.706 0.524 0.574 0.301 13.279 0.366 1.635

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

13 13 15 12 126 14 15 14 14

N.S.

1 1.00 1.15 0.92 9.69 1.08 1.15 1.08 1.08

time (sec)

N/A 0.052 1.604 0.691 0.416 0.304 59.018 0.386 1.609

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