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

2.2.3 Integrals 201 to 296

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 131 194 0 159 0 0 -1

N.S.

1 1.00 1.03 1.53 0.00 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.328 0.047 0.000 0.121 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 94 138 0 128 0 0 -1

N.S.

1 1.00 0.90 1.33 0.00 1.23 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.136 0.059 0.000 0.096 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 92 119 0 169 0 0 -1

N.S.

1 1.00 1.10 1.42 0.00 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.108 0.054 0.000 0.121 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 94 268 0 283 0 0 -1

N.S.

1 1.00 0.63 1.79 0.00 1.89 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.098 0.056 0.000 0.096 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 94 201 0 383 0 0 -1

N.S.

1 1.00 0.72 1.55 0.00 2.95 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.106 0.060 0.000 0.098 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.210 0.363 0.045 0.000 0.000 0.000 0.000 0.000

Problem 207

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

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.215 0.347 0.043 0.000 0.000 0.000 0.000 0.000

Problem 208

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

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.219 0.330 0.042 0.000 0.000 0.000 0.000 0.000

Problem 209

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

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.206 0.321 0.046 0.000 0.000 0.000 0.000 0.000

Problem 210

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

151 151 140 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.195 0.212 180.000 0.000 0.000 0.000 0.000 0.000

Problem 211

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

149 149 140 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.205 0.222 180.000 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.218 0.343 180.000 0.000 0.000 0.000 0.000 0.000

Problem 213

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

153 153 140 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.215 0.259 180.000 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.235 180.009 0.048 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

87 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.205 161.115 0.046 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

85 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.183 29.477 180.000 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

85 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 25.196 180.000 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.213 29.811 180.000 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.206 95.177 180.000 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.201 180.012 0.048 0.000 0.000 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.198 136.843 0.048 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

85 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.183 11.111 180.000 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

85 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.182 30.670 180.000 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.207 30.505 180.000 0.000 0.000 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

89 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.201 121.464 180.000 0.000 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

94 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.201 2.998 0.839 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

94 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.194 1.386 0.888 0.000 0.000 0.000 0.000 0.000

Problem 228

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

206 206 178 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.206 0.288 0.940 0.000 0.000 0.000 0.000 0.000

Problem 229

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

118 124 106 0 0 0 0 0 -1

N.S.

1 1.05 0.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.135 0.907 0.000 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.041 1.315 180.000 0.000 0.000 0.000 0.000 0.000

Problem 231

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

54 54 50 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.045 0.036 0.016 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

117 117 79 75 56 40 0 60 -1

N.S.

1 1.00 0.68 0.64 0.48 0.34 0.00 0.51 -0.01

time (sec)

N/A 0.046 0.043 0.037 0.275 0.357 0.000 1.594 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

86 86 74 65 46 35 0 55 -1

N.S.

1 1.00 0.86 0.76 0.53 0.41 0.00 0.64 -0.01

time (sec)

N/A 0.033 0.031 0.013 0.280 0.350 0.000 1.579 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 273 49 33 28 29 47 40

N.S.

1 1.00 5.46 0.98 0.66 0.56 0.58 0.94 0.80

time (sec)

N/A 0.019 3.211 0.023 0.297 0.348 0.092 1.635 1.429

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 46 65 0 0 0 0 -1

N.S.

1 1.00 1.00 1.41 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.044 0.028 0.041 0.000 0.000 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 29 19 26 0 45 -1

N.S.

1 1.00 1.00 0.72 0.48 0.65 0.00 1.12 -0.02

time (sec)

N/A 0.017 0.011 0.007 0.505 0.344 0.000 1.554 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 49 35 30 32 0 62 -1

N.S.

1 1.00 0.64 0.46 0.39 0.42 0.00 0.82 -0.01

time (sec)

N/A 0.027 0.019 0.012 0.497 0.353 0.000 1.551 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 59 38 17 72 0 22 23

N.S.

1 1.00 2.46 1.58 0.71 3.00 0.00 0.92 0.96

time (sec)

N/A 0.006 0.130 0.039 0.510 0.379 0.000 0.399 0.369

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 179 86 0 0 0 0 -1

N.S.

1 1.00 2.98 1.43 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.045 0.381 0.046 0.000 0.000 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 264 0 0 298 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 2.06 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.145 0.014 0.000 0.351 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 171 0 0 210 0 0 -1

N.S.

1 1.00 1.37 0.00 0.00 1.68 0.00 0.00 -0.01

time (sec)

N/A 0.038 0.077 0.015 0.000 0.367 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 104 0 128 131 0 0 -1

N.S.

1 1.00 1.44 0.00 1.78 1.82 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.037 0.013 0.328 0.350 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 37 37 44 63 0 62 32

N.S.

1 1.00 0.76 0.76 0.90 1.29 0.00 1.27 0.65

time (sec)

N/A 0.023 0.042 0.008 0.311 0.328 0.000 0.409 0.591

Problem 244

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

98 98 118 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.023 0.095 0.013 0.000 0.000 0.000 0.000 0.000

Problem 245

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 130 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.016 0.626 0.014 0.000 0.000 0.000 0.000 0.000

Problem 246

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

180 180 152 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.298 0.015 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 264 0 0 298 0 0 -1

N.S.

1 1.00 1.80 0.00 0.00 2.03 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.144 0.014 0.000 0.427 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 171 0 0 210 0 0 -1

N.S.

1 1.00 1.55 0.00 0.00 1.91 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.080 0.016 0.000 0.336 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 104 0 128 131 0 0 -1

N.S.

1 1.00 1.42 0.00 1.75 1.79 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.038 0.019 0.348 0.331 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 37 44 63 0 67 32

N.S.

1 1.00 1.00 1.12 1.33 1.91 0.00 2.03 0.97

time (sec)

N/A 0.013 0.017 0.004 0.294 0.361 0.000 0.394 1.525

Problem 251

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

98 98 86 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.011 0.092 0.016 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

150 150 141 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.014 0.502 0.014 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

181 181 168 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.026 0.477 0.014 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 311 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.085 2.315 0.016 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 254 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.074 0.476 0.014 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 210 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.025 0.213 0.016 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 166 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.219 0.019 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 242 0 0 0 0 0 -1

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.032 0.740 0.018 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 273 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.052 0.701 0.016 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 291 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.068 0.867 0.019 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 277 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.046 1.102 0.016 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 221 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.041 0.324 0.014 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 178 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.021 0.174 0.017 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 134 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.183 0.019 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 209 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.023 0.714 0.021 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 238 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.042 0.605 0.016 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 260 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.046 0.719 0.016 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.037 0.093 0.108 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

265 265 0 870 0 0 0 0 -1

N.S.

1 1.00 0.00 3.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.208 0.256 0.233 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

196 196 0 491 0 0 0 0 -1

N.S.

1 1.00 0.00 2.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.181 0.507 0.056 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

133 133 0 207 0 0 0 0 -1

N.S.

1 1.00 0.00 1.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.115 2.072 0.065 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.090 0.091 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.030 3.224 0.088 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 76 0 110 0 0 0 0 -1

N.S.

1 1.00 0.00 1.45 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.608 0.052 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 138 376 495 133 0 564 1408

N.S.

1 1.00 0.84 2.28 3.00 0.81 0.00 3.42 8.53

time (sec)

N/A 0.117 0.064 0.075 0.296 0.334 0.000 0.426 69.812

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 119 288 275 112 0 417 1067

N.S.

1 1.00 1.03 2.50 2.39 0.97 0.00 3.63 9.28

time (sec)

N/A 0.085 0.088 0.073 0.275 0.333 0.000 0.421 33.479

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 93 194 177 88 0 280 852

N.S.

1 1.00 1.39 2.90 2.64 1.31 0.00 4.18 12.72

time (sec)

N/A 0.050 0.105 0.073 0.291 0.343 0.000 0.414 16.716

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 69 147 143 66 0 151 79

N.S.

1 1.00 2.23 4.74 4.61 2.13 0.00 4.87 2.55

time (sec)

N/A 0.012 0.020 0.088 0.290 0.354 0.000 0.395 0.175

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 141 156 0 246 0 103 2500

N.S.

1 1.00 1.41 1.56 0.00 2.46 0.00 1.03 25.00

time (sec)

N/A 0.074 0.067 0.070 0.000 0.381 0.000 0.402 23.408

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 140 237 0 334 0 200 2500

N.S.

1 1.00 1.28 2.17 0.00 3.06 0.00 1.83 22.94

time (sec)

N/A 0.051 0.098 0.059 0.000 0.354 0.000 0.419 15.820

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 142 236 0 338 0 326 958

N.S.

1 1.00 1.03 1.71 0.00 2.45 0.00 2.36 6.94

time (sec)

N/A 0.074 0.196 0.066 0.000 0.375 0.000 0.465 14.149

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 179 374 0 431 0 487 1537

N.S.

1 1.00 0.95 1.98 0.00 2.28 0.00 2.58 8.13

time (sec)

N/A 0.116 0.183 0.066 0.000 0.398 0.000 0.543 18.889

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 198 603 0 569 0 817 2500

N.S.

1 1.00 0.83 2.53 0.00 2.39 0.00 3.43 10.50

time (sec)

N/A 0.152 0.320 0.058 0.000 0.444 0.000 0.571 28.031

Problem 284

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

359 359 198 0 0 0 0 0 -1

N.S.

1 1.00 0.55 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.538 0.226 0.005 0.000 0.000 0.000 0.000 0.000

Problem 285

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

251 251 136 0 0 0 0 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.383 0.163 0.003 0.000 0.000 0.000 0.000 0.000

Problem 286

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

117 117 76 0 0 0 0 0 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.212 0.088 0.002 0.000 0.000 0.000 0.000 0.000

Problem 287

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

65 65 42 0 0 0 0 0 -1

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.039 0.031 0.002 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.029 0.097 0.005 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.026 0.335 0.004 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 53 92 0 0 0 0 -1

N.S.

1 1.00 0.88 1.53 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.060 0.034 0.065 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 19 78 0 0 0 0 -1

N.S.

1 1.00 6.33 26.00 0.00 0.00 0.00 0.00 -0.33

time (sec)

N/A 0.078 0.044 0.221 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 50 45 37 66 61 106 295

N.S.

1 1.00 0.93 0.83 0.69 1.22 1.13 1.96 5.46

time (sec)

N/A 0.038 0.051 0.006 0.278 0.334 0.211 0.405 4.683

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 50 0 39 152 76 124 303

N.S.

1 1.00 0.91 0.00 0.71 2.76 1.38 2.25 5.51

time (sec)

N/A 0.038 0.032 0.007 0.285 0.393 22.801 0.417 1.068

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

58 58 116 87 0 276 0 119 53

N.S.

1 1.00 2.00 1.50 0.00 4.76 0.00 2.05 0.91

time (sec)

N/A 0.068 0.239 0.158 0.000 0.433 0.000 2.291 1.512

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 0 0 108 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.74 0.00 0.00 -0.02

time (sec)

N/A 0.080 0.109 0.052 0.000 0.371 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 0 0 33 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.61 0.00 0.00 -0.02

time (sec)

N/A 0.072 0.062 0.049 0.000 0.384 0.000 0.000 0.000

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