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

Integrals 201 to 218

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 437 163 322 0 169 0 0 20 0

N.S.

1 2.00 0.75 1.48 0.00 0.78 0.00 0.00 0.09 0.00

time (sec)

N/A 2.014 0.123 4.951 0.000 0.114 0.000 0.000 0.226 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 284 185 0 0 141 264 0 20 0

N.S.

1 1.54 1.00 0.00 0.00 0.76 1.43 0.00 0.11 0.00

time (sec)

N/A 1.922 0.006 0.000 0.000 0.099 4.322 0.000 0.197 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 282 126 212 0 139 0 0 20 0

N.S.

1 1.69 0.75 1.27 0.00 0.83 0.00 0.00 0.12 0.00

time (sec)

N/A 1.130 0.108 1.745 0.000 0.099 0.000 0.000 0.226 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 226 0 0 0 0 0 0 20 0

N.S.

1 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 1.051 0.000 0.000 0.000 0.000 0.000 0.000 0.189 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 148 90 120 0 97 0 0 20 0

N.S.

1 1.36 0.83 1.10 0.00 0.89 0.00 0.00 0.18 0.00

time (sec)

N/A 0.552 0.062 0.873 0.000 0.105 0.000 0.000 0.221 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 79 74 0 0 67 114 0 20 0

N.S.

1 1.07 1.00 0.00 0.00 0.91 1.54 0.00 0.27 0.00

time (sec)

N/A 0.420 0.005 0.000 0.000 0.092 0.445 0.000 0.195 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 59 48 52 0 52 0 0 18 0

N.S.

1 0.98 0.80 0.87 0.00 0.87 0.00 0.00 0.30 0.00

time (sec)

N/A 0.254 0.020 1.122 0.000 0.091 0.000 0.000 0.181 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 0 0 0 0 0 0 17 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.197 0.000 0.000 0.000 0.000 0.000 0.000 0.192 0.000

Problem 209

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

20 20 22 18 20 20 19 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 0.95 1.00 1.00 1.00

time (sec)

N/A 0.187 0.024 0.256 0.119 0.100 1.227 0.120 0.233 3.889

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 48 48 0 0 45 0 0 20 0

N.S.

1 1.00 1.00 0.00 0.00 0.94 0.00 0.00 0.42 0.00

time (sec)

N/A 0.312 0.007 0.000 0.000 0.102 0.000 0.000 0.203 0.000

Problem 211

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.407 0.026 0.257 0.116 0.087 1.452 0.123 0.190 4.020

Problem 212

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.567 0.024 0.244 0.119 0.096 1.807 0.125 0.220 3.836

Problem 213

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.804 0.024 0.243 0.115 0.080 3.441 0.123 0.226 3.843

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 215 163 0 0 141 0 0 20 0

N.S.

1 1.32 1.00 0.00 0.00 0.87 0.00 0.00 0.12 0.00

time (sec)

N/A 1.466 0.009 0.000 0.000 0.092 0.000 0.000 0.190 0.000

Problem 215

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 1.449 0.025 0.273 0.128 0.081 10.875 0.129 0.193 3.845

Problem 216

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 2.327 0.025 0.241 0.124 0.084 21.976 0.127 0.218 3.860

Problem 217

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

20 20 22 18 20 20 20 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 2.565 0.023 0.247 0.122 0.090 35.870 0.128 0.251 3.700

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

278 0 278 0 0 203 0 0 20 0

N.S.

1 0.00 1.00 0.00 0.00 0.73 0.00 0.00 0.07 0.00

time (sec)

N/A 0.000 0.011 0.000 0.000 0.109 0.000 0.000 0.192 0.000

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