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

Integrals 901 to 935

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 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 73 90 0 93 0 0 0

N.S.

1 1.00 0.39 0.48 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.212 0.072 0.059 0.000 0.251 0.000 0.000 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 222 77 98 0 101 0 0 0

N.S.

1 1.00 0.35 0.44 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.212 0.079 0.054 0.000 0.246 0.000 0.000 0.000

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 91 106 0 109 0 0 0

N.S.

1 1.00 0.34 0.40 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.213 0.072 0.056 0.000 0.259 0.000 0.000 0.000

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 49 65 46 73 0 0 0

N.S.

1 1.00 0.60 0.80 0.57 0.90 0.00 0.00 0.00

time (sec)

N/A 0.190 0.051 0.039 0.244 0.243 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes 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.188 0.035 0.046 0.000 0.254 0.000 0.000 3.942

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 44 52 0 21 0 0 45

N.S.

1 1.00 0.61 0.72 0.00 0.29 0.00 0.00 0.62

time (sec)

N/A 0.129 0.031 0.043 0.000 0.241 0.000 0.000 4.012

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 39 52 0 19 0 0 0

N.S.

1 1.00 0.57 0.76 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.076 0.016 0.046 0.000 0.240 0.000 0.000 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 40 50 0 21 0 0 0

N.S.

1 1.00 0.58 0.72 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.179 0.030 0.048 0.000 0.244 0.000 0.000 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 46 53 0 21 0 0 63

N.S.

1 1.00 0.98 1.13 0.00 0.45 0.00 0.00 1.34

time (sec)

N/A 0.176 0.029 0.046 0.000 0.244 0.000 0.000 4.109

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 93 134 0 222 0 128 0

N.S.

1 1.00 0.57 0.82 0.00 1.36 0.00 0.79 0.00

time (sec)

N/A 0.387 0.213 0.577 0.000 0.264 0.000 0.299 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 84 125 0 204 0 117 0

N.S.

1 1.00 0.68 1.01 0.00 1.65 0.00 0.94 0.00

time (sec)

N/A 0.365 0.161 0.574 0.000 0.256 0.000 0.297 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 100 114 0 188 0 106 0

N.S.

1 1.00 1.01 1.15 0.00 1.90 0.00 1.07 0.00

time (sec)

N/A 0.238 0.076 0.578 0.000 0.255 0.000 0.282 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 80 197 0 267 0 0 0

N.S.

1 1.00 0.69 1.70 0.00 2.30 0.00 0.00 0.00

time (sec)

N/A 0.260 0.037 0.546 0.000 0.255 0.000 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 82 145 0 252 0 127 0

N.S.

1 1.00 0.70 1.24 0.00 2.15 0.00 1.09 0.00

time (sec)

N/A 0.372 0.187 0.633 0.000 0.253 0.000 0.369 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 78 143 0 176 0 194 0

N.S.

1 1.00 0.70 1.28 0.00 1.57 0.00 1.73 0.00

time (sec)

N/A 0.370 0.131 0.589 0.000 0.255 0.000 0.373 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 86 150 0 200 0 231 0

N.S.

1 1.00 0.61 1.07 0.00 1.43 0.00 1.65 0.00

time (sec)

N/A 0.383 0.135 0.592 0.000 0.249 0.000 0.671 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 94 159 0 216 0 316 0

N.S.

1 1.00 0.60 1.02 0.00 1.38 0.00 2.03 0.00

time (sec)

N/A 0.397 0.139 0.601 0.000 0.255 0.000 1.773 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 102 167 0 232 0 362 0

N.S.

1 1.00 0.56 0.92 0.00 1.28 0.00 2.00 0.00

time (sec)

N/A 0.458 0.150 0.610 0.000 0.264 0.000 2.566 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 186 71 89 0 48 0 0 0

N.S.

1 1.00 0.38 0.48 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.222 0.062 0.095 0.000 0.241 0.000 0.000 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 62 82 0 41 0 0 0

N.S.

1 1.00 0.41 0.54 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.209 0.053 0.054 0.000 0.244 0.000 0.000 0.000

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 55 73 0 32 0 0 0

N.S.

1 1.00 0.49 0.65 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.143 0.038 0.052 0.000 0.241 0.000 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 47 67 0 25 0 0 0

N.S.

1 1.00 0.44 0.63 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.090 0.019 0.049 0.000 0.247 0.000 0.000 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 51 66 0 32 0 0 0

N.S.

1 1.00 0.47 0.61 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.196 0.047 0.057 0.000 0.259 0.000 0.000 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 60 82 0 83 0 0 0

N.S.

1 1.00 0.41 0.56 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.203 0.057 0.060 0.000 0.250 0.000 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 72 90 0 91 0 0 0

N.S.

1 1.00 0.39 0.48 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.206 0.069 0.055 0.000 0.243 0.000 0.000 0.000

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 76 98 0 99 0 0 0

N.S.

1 1.00 0.34 0.44 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.206 0.061 0.056 0.000 0.242 0.000 0.000 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 90 106 0 107 0 0 0

N.S.

1 1.00 0.34 0.40 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.206 0.072 0.055 0.000 0.252 0.000 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 154 123 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.076 0.331 0.000 0.000 0.000 0.000 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

150 150 94 0 0 0 0 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.086 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

289 289 180 0 0 0 0 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 1.356 0.000 0.000 0.000 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

295 295 146 0 0 0 0 0 0

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.157 0.710 0.000 0.000 0.000 0.000 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

183 183 112 0 0 0 0 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 0.647 0.000 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

116 116 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.097 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 76 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.066 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

75 75 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.066 0.000 0.000 0.000 0.000 0.000 0.000 0.000

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