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

2.2.10 Integrals 901 to 935

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 76 90 0 93 0 0 -1

N.S.

1 1.00 0.40 0.48 0.00 0.49 0.00 0.00 -0.01

time (sec)

N/A 0.206 0.073 0.037 0.000 0.347 0.000 0.000 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 81 98 0 101 0 0 -1

N.S.

1 1.00 0.36 0.44 0.00 0.45 0.00 0.00 -0.00

time (sec)

N/A 0.209 0.084 0.039 0.000 0.341 0.000 0.000 0.000

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 90 106 0 109 0 0 -1

N.S.

1 1.00 0.34 0.40 0.00 0.41 0.00 0.00 -0.00

time (sec)

N/A 0.212 0.101 0.038 0.000 0.357 0.000 0.000 0.000

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 50 65 46 73 0 0 -1

N.S.

1 1.00 0.62 0.80 0.57 0.90 0.00 0.00 -0.01

time (sec)

N/A 0.186 0.081 0.023 0.299 0.333 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 45 53 0 24 0 0 46

N.S.

1 1.00 0.59 0.70 0.00 0.32 0.00 0.00 0.61

time (sec)

N/A 0.191 0.033 0.030 0.000 0.333 0.000 0.000 1.363

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 42 52 0 21 0 0 45

N.S.

1 1.00 0.58 0.72 0.00 0.29 0.00 0.00 0.62

time (sec)

N/A 0.128 0.019 0.033 0.000 0.345 0.000 0.000 1.319

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 41 52 0 19 0 0 -1

N.S.

1 1.00 0.60 0.76 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.016 0.028 0.000 0.346 0.000 0.000 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 41 50 0 21 0 0 -1

N.S.

1 1.00 0.59 0.72 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.018 0.033 0.000 0.342 0.000 0.000 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

47 47 47 53 0 21 0 0 63

N.S.

1 1.00 1.00 1.13 0.00 0.45 0.00 0.00 1.34

time (sec)

N/A 0.178 0.019 0.030 0.000 0.369 0.000 0.000 1.362

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 93 196 0 222 0 128 -1

N.S.

1 1.00 0.57 1.20 0.00 1.36 0.00 0.79 -0.01

time (sec)

N/A 0.384 0.064 0.112 0.000 0.354 0.000 0.421 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 84 173 0 204 0 117 -1

N.S.

1 1.00 0.68 1.40 0.00 1.65 0.00 0.94 -0.01

time (sec)

N/A 0.336 0.051 0.111 0.000 0.382 0.000 0.401 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

99 99 100 147 0 188 0 106 -1

N.S.

1 1.00 1.01 1.48 0.00 1.90 0.00 1.07 -0.01

time (sec)

N/A 0.220 0.042 0.112 0.000 0.424 0.000 0.417 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 80 197 0 267 0 0 -1

N.S.

1 1.00 0.69 1.70 0.00 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.238 0.055 0.096 0.000 0.347 0.000 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 82 306 0 252 0 127 -1

N.S.

1 1.00 0.70 2.62 0.00 2.15 0.00 1.09 -0.01

time (sec)

N/A 0.364 0.053 0.119 0.000 0.350 0.000 0.478 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 78 348 0 176 0 194 -1

N.S.

1 1.00 0.70 3.11 0.00 1.57 0.00 1.73 -0.01

time (sec)

N/A 0.374 0.045 0.115 0.000 0.382 0.000 0.485 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 86 378 0 200 0 231 -1

N.S.

1 1.00 0.61 2.70 0.00 1.43 0.00 1.65 -0.01

time (sec)

N/A 0.380 0.050 0.118 0.000 0.370 0.000 0.726 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 94 410 0 216 0 316 -1

N.S.

1 1.00 0.60 2.63 0.00 1.38 0.00 2.03 -0.01

time (sec)

N/A 0.386 0.058 0.118 0.000 0.346 0.000 1.581 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 102 447 0 232 0 362 -1

N.S.

1 1.00 0.56 2.47 0.00 1.28 0.00 2.00 -0.01

time (sec)

N/A 0.402 0.061 0.141 0.000 0.369 0.000 2.042 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 69 89 0 48 0 0 -1

N.S.

1 1.00 0.37 0.48 0.00 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.215 0.036 0.065 0.000 0.388 0.000 0.000 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 62 82 0 41 0 0 -1

N.S.

1 1.00 0.41 0.54 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.200 0.030 0.035 0.000 0.374 0.000 0.000 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 53 73 0 32 0 0 -1

N.S.

1 1.00 0.47 0.65 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.021 0.035 0.000 0.354 0.000 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 47 67 0 25 0 0 -1

N.S.

1 1.00 0.44 0.63 0.00 0.23 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.020 0.030 0.000 0.348 0.000 0.000 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 53 66 0 32 0 0 -1

N.S.

1 1.00 0.49 0.61 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.191 0.026 0.036 0.000 0.355 0.000 0.000 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 65 82 0 83 0 0 -1

N.S.

1 1.00 0.45 0.56 0.00 0.57 0.00 0.00 -0.01

time (sec)

N/A 0.198 0.033 0.036 0.000 0.350 0.000 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 75 90 0 91 0 0 -1

N.S.

1 1.00 0.40 0.48 0.00 0.49 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.035 0.038 0.000 0.364 0.000 0.000 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 80 98 0 99 0 0 -1

N.S.

1 1.00 0.36 0.44 0.00 0.45 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.039 0.037 0.000 0.356 0.000 0.000 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 89 106 0 107 0 0 -1

N.S.

1 1.00 0.34 0.40 0.00 0.41 0.00 0.00 -0.00

time (sec)

N/A 0.203 0.053 0.037 0.000 0.351 0.000 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 123 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.170 0.016 0.000 0.000 0.000 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 94 0 0 0 0 0 -1

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.190 0.020 0.000 0.000 0.000 0.000 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 180 0 0 0 0 0 -1

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.169 0.888 0.014 0.000 0.000 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

295 295 146 0 0 0 0 0 -1

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.146 0.339 0.021 0.000 0.000 0.000 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 112 0 0 0 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.263 0.018 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

116 116 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.557 0.014 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

76 76 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.338 0.015 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

75 75 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.348 0.014 0.000 0.000 0.000 0.000 0.000

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