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

Integrals 1401 to 1416

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 1401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 31 59 34 81 0 0 33 84

N.S.

1 1.00 0.76 1.44 0.83 1.98 0.00 0.00 0.80 2.05

time (sec)

N/A 0.426 0.029 0.556 0.038 0.089 0.000 0.000 0.159 13.580

Problem 1402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 69 58 60 39 82 0 0 34 86

N.S.

1 0.73 0.61 0.63 0.41 0.86 0.00 0.00 0.36 0.91

time (sec)

N/A 0.628 0.035 0.536 0.058 0.107 0.000 0.000 0.160 13.437

Problem 1403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 36 38 30 43 0 0 38 43

N.S.

1 1.00 0.73 0.78 0.61 0.88 0.00 0.00 0.78 0.88

time (sec)

N/A 0.533 0.034 0.927 0.038 0.083 0.000 0.000 0.151 13.432

Problem 1404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 51 36 40 33 45 0 0 40 44

N.S.

1 1.00 0.71 0.78 0.65 0.88 0.00 0.00 0.78 0.86

time (sec)

N/A 0.537 0.035 0.494 0.040 0.131 0.000 0.000 0.152 13.438

Problem 1405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 89 58 72 78 0 0 65 101

N.S.

1 1.00 1.68 1.09 1.36 1.47 0.00 0.00 1.23 1.91

time (sec)

N/A 0.482 0.083 4.220 0.050 0.119 0.000 0.000 0.189 13.758

Problem 1406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 33 379 379 405 299 277 0

N.S.

1 1.00 0.97 1.06 12.23 12.23 13.06 9.65 8.94 0.00

time (sec)

N/A 0.434 1.092 0.292 0.211 0.285 1.684 0.169 0.167 0.000

Problem 1407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 33 169 169 180 139 125 28

N.S.

1 1.00 0.97 1.06 5.45 5.45 5.81 4.48 4.03 0.90

time (sec)

N/A 0.433 0.208 0.217 0.055 0.128 0.648 0.142 0.155 1.604

Problem 1408

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

31 31 30 33 49 49 48 45 37 28

N.S.

1 1.00 0.97 1.06 1.58 1.58 1.55 1.45 1.19 0.90

time (sec)

N/A 0.435 0.013 0.151 0.036 0.113 0.181 0.120 0.153 0.102

Problem 1409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 33 49 49 49 76 37 28

N.S.

1 1.00 0.97 1.06 1.58 1.58 1.58 2.45 1.19 0.90

time (sec)

N/A 0.430 0.043 0.141 0.029 0.090 0.188 0.136 0.153 0.097

Problem 1410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 30 33 169 169 182 139 125 28

N.S.

1 1.00 0.97 1.06 5.45 5.45 5.87 4.48 4.03 0.90

time (sec)

N/A 0.431 0.190 0.350 0.056 0.089 0.663 0.120 0.147 29.744

Problem 1411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 59 49 0 496 0 0 199 583

N.S.

1 1.00 0.98 0.82 0.00 8.27 0.00 0.00 3.32 9.72

time (sec)

N/A 0.759 0.546 0.201 0.000 1.536 0.000 0.000 0.162 25.126

Problem 1412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 59 49 0 193 0 0 71 186

N.S.

1 1.00 0.98 0.82 0.00 3.22 0.00 0.00 1.18 3.10

time (sec)

N/A 0.769 0.115 0.177 0.000 0.098 0.000 0.000 0.152 24.060

Problem 1413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 76 76 79 0 0 0 46 57 0

N.S.

1 0.55 0.55 0.57 0.00 0.00 0.00 0.33 0.41 0.00

time (sec)

N/A 0.810 0.032 0.152 0.000 0.000 0.000 0.113 0.150 0.000

Problem 1414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 75 72 77 52 0 0 47 58 0

N.S.

1 0.54 0.52 0.56 0.38 0.00 0.00 0.34 0.42 0.00

time (sec)

N/A 0.821 0.062 0.161 0.047 0.000 0.000 0.134 0.151 0.000

Problem 1415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 59 49 93 192 0 0 71 187

N.S.

1 1.00 0.98 0.82 1.55 3.20 0.00 0.00 1.18 3.12

time (sec)

N/A 0.746 0.103 0.184 0.063 0.141 0.000 0.000 0.155 23.903

Problem 1416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 59 49 273 497 0 328 199 363

N.S.

1 1.00 0.98 0.82 4.55 8.28 0.00 5.47 3.32 6.05

time (sec)

N/A 0.762 0.537 0.194 0.449 1.508 0.000 0.175 0.160 24.502

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