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

Integrals 701 to 710

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

size

25 25 27 24 26 28 31 26 26 26

N.S.

1 1.00 1.08 0.96 1.04 1.12 1.24 1.04 1.04 1.04

time (sec)

N/A 0.529 0.008 0.011 0.113 0.072 16.862 0.750 0.153 0.149

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 16 15 15 15 15 15 15

N.S.

1 1.00 1.00 1.07 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.239 0.023 0.032 0.032 0.081 0.037 0.135 0.157 0.137

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 16 15 15 15 15 16 15

N.S.

1 1.00 1.00 1.07 1.00 1.00 1.00 1.00 1.07 1.00

time (sec)

N/A 0.244 0.023 0.035 0.024 0.071 0.037 0.111 0.162 0.035

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 12 12 13 13 10 13 11 11

N.S.

1 1.00 0.80 0.80 0.87 0.87 0.67 0.87 0.73 0.73

time (sec)

N/A 0.236 0.022 0.040 0.026 0.069 0.036 0.129 0.159 0.044

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 26 27 30 26 53 427 26 26

N.S.

1 1.00 1.00 1.04 1.15 1.00 2.04 16.42 1.00 1.00

time (sec)

N/A 0.331 0.067 0.096 0.044 0.073 0.351 0.157 0.152 0.155

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 26 27 30 26 82 32 28 26

N.S.

1 1.00 1.00 1.04 1.15 1.00 3.15 1.23 1.08 1.00

time (sec)

N/A 0.332 0.072 0.099 0.111 0.067 0.345 0.147 0.154 0.154

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 27 25 26 0 32 23 16

N.S.

1 0.00 1.00 1.42 1.32 1.37 0.00 1.68 1.21 0.84

time (sec)

N/A 0.000 0.052 0.085 0.106 0.072 0.000 0.136 0.167 0.047

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 37 38 42 37 204 609 37 37

N.S.

1 1.00 1.00 1.03 1.14 1.00 5.51 16.46 1.00 1.00

time (sec)

N/A 0.753 0.133 0.251 0.036 0.075 1.161 0.150 0.168 0.151

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 37 38 42 37 68 45 40 37

N.S.

1 1.00 1.00 1.03 1.14 1.00 1.84 1.22 1.08 1.00

time (sec)

N/A 0.767 0.133 0.283 0.114 0.073 24.933 0.151 0.149 0.153

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 34 38 34 37 0 45 32 21

N.S.

1 0.00 0.97 1.09 0.97 1.06 0.00 1.29 0.91 0.60

time (sec)

N/A 0.000 0.081 0.342 0.103 0.071 0.000 0.130 0.163 0.158

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