2.2.3 Integrals 201 to 300

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 F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 216 399 0 0 0 0 -1

N.S.

1 1.00 0.83 1.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.103 2.266 0.084 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 86 158 0 0 0 0 -1

N.S.

1 1.00 0.44 0.81 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.865 0.073 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 86 100 0 41 0 0 -1

N.S.

1 1.00 0.99 1.15 0.00 0.47 0.00 0.00 -0.01

time (sec)

N/A 0.012 0.691 0.073 0.000 0.100 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 112 248 0 0 0 0 -1

N.S.

1 1.00 0.41 0.91 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.097 2.066 0.072 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 261 752 0 0 0 0 -1

N.S.

1 1.00 1.02 2.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.100 3.273 0.092 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 301 1607 0 0 0 0 -1

N.S.

1 1.00 0.90 4.81 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.185 3.550 0.083 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

445 445 318 755 0 0 0 0 -1

N.S.

1 1.00 0.71 1.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.263 5.495 0.129 0.000 0.000 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 256 539 0 0 0 0 -1

N.S.

1 1.00 0.74 1.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.180 4.680 0.106 0.000 0.000 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 196 345 0 0 0 0 -1

N.S.

1 1.00 0.76 1.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.098 4.086 0.077 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 136 188 0 0 0 0 -1

N.S.

1 1.00 1.62 2.24 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.010 2.058 0.079 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 112 144 0 0 0 0 -1

N.S.

1 1.00 0.58 0.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 2.102 0.074 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 224 354 0 0 0 0 -1

N.S.

1 1.00 0.93 1.46 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.082 4.506 0.094 0.000 0.000 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 337 964 0 0 0 0 -1

N.S.

1 1.00 1.04 2.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.180 5.726 0.098 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 86 100 0 41 0 0 -1

N.S.

1 1.00 0.99 1.15 0.00 0.47 0.00 0.00 -0.01

time (sec)

N/A 0.014 0.040 0.000 0.000 0.169 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 103 0 39 0 0 -1

N.S.

1 1.00 1.00 1.18 0.00 0.45 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.731 0.079 0.000 0.158 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 89 103 0 39 0 0 -1

N.S.

1 1.00 1.02 1.18 0.00 0.45 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.753 0.081 0.000 0.133 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 104 0 38 0 0 -1

N.S.

1 1.00 1.00 1.18 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.751 0.077 0.000 0.142 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 14 0 8 19 0 -1

N.S.

1 1.00 1.00 1.17 0.00 0.67 1.58 0.00 -0.08

time (sec)

N/A 0.005 0.221 0.098 0.000 0.119 1.622 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 58 14 0 8 0 0 -1

N.S.

1 1.00 5.80 1.40 0.00 0.80 0.00 0.00 -0.10

time (sec)

N/A 0.006 10.040 0.110 0.000 0.142 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 14 0 8 19 0 -1

N.S.

1 1.00 1.00 1.17 0.00 0.67 1.58 0.00 -0.08

time (sec)

N/A 0.005 0.224 0.080 0.000 0.109 1.611 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 10 0 8 73 0 -1

N.S.

1 1.00 1.00 1.00 0.00 0.80 7.30 0.00 -0.10

time (sec)

N/A 0.004 10.025 0.093 0.000 0.120 10.955 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 18 14 0 8 19 0 -1

N.S.

1 1.00 1.50 1.17 0.00 0.67 1.58 0.00 -0.08

time (sec)

N/A 0.005 10.051 0.094 0.000 0.193 1.215 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 0 8 0 0 -1

N.S.

1 1.00 1.00 1.08 0.00 0.67 0.00 0.00 -0.08

time (sec)

N/A 0.005 0.202 0.095 0.000 0.236 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 26 8 0 68 22 0 -1

N.S.

1 1.00 3.25 1.00 0.00 8.50 2.75 0.00 -0.12

time (sec)

N/A 0.002 0.005 0.082 0.000 1.246 0.918 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 0 8 34 0 -1

N.S.

1 1.00 1.00 1.08 0.00 0.67 2.83 0.00 -0.08

time (sec)

N/A 0.005 0.211 0.095 0.000 0.151 1.338 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 11 0 8 39 0 -1

N.S.

1 1.00 1.00 1.10 0.00 0.80 3.90 0.00 -0.10

time (sec)

N/A 0.005 0.058 0.105 0.000 0.178 1.864 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 0 8 34 0 -1

N.S.

1 1.00 1.00 1.08 0.00 0.67 2.83 0.00 -0.08

time (sec)

N/A 0.005 0.215 0.097 0.000 0.206 1.337 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 19 17 0 10 0 0 -1

N.S.

1 1.00 0.37 0.33 0.00 0.20 0.00 0.00 -0.02

time (sec)

N/A 0.006 0.205 0.080 0.000 0.478 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 17 15 0 10 0 0 -1

N.S.

1 1.00 0.35 0.31 0.00 0.20 0.00 0.00 -0.02

time (sec)

N/A 0.006 0.066 0.085 0.000 0.345 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 19 17 0 10 0 0 -1

N.S.

1 1.00 0.37 0.33 0.00 0.20 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.193 0.066 0.000 0.239 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 8 0 34 8 0 -1

N.S.

1 1.00 1.00 1.00 0.00 4.25 1.00 0.00 -0.12

time (sec)

N/A 0.002 0.003 0.063 0.000 1.200 0.952 0.000 0.000

Problem 232

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

47 47 19 15 0 10 0 0 -1

N.S.

1 1.00 0.40 0.32 0.00 0.21 0.00 0.00 -0.02

time (sec)

N/A 0.006 0.193 0.075 0.000 0.349 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 19 14 0 8 0 0 -1

N.S.

1 1.00 1.90 1.40 0.00 0.80 0.00 0.00 -0.10

time (sec)

N/A 0.005 10.038 0.089 0.000 0.177 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 10 0 8 76 0 -1

N.S.

1 1.00 1.00 1.00 0.00 0.80 7.60 0.00 -0.10

time (sec)

N/A 0.004 10.023 0.080 0.000 0.362 10.997 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 0 16 36 0 -1

N.S.

1 1.00 1.00 0.95 0.00 0.80 1.80 0.00 -0.05

time (sec)

N/A 0.005 0.212 0.079 0.000 0.271 1.494 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 15 0 9 41 0 -1

N.S.

1 1.00 1.00 0.94 0.00 0.56 2.56 0.00 -0.06

time (sec)

N/A 0.005 0.054 0.103 0.000 0.266 2.086 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 0 16 36 0 -1

N.S.

1 1.00 1.00 0.95 0.00 0.80 1.80 0.00 -0.05

time (sec)

N/A 0.006 0.207 0.094 0.000 0.154 1.501 0.000 0.000

Problem 238

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

32 32 32 37 0 0 0 0 -1

N.S.

1 1.00 1.00 1.16 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.010 0.220 0.087 0.000 0.000 0.000 0.000 0.000

Problem 239

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

30 30 30 34 0 0 0 0 -1

N.S.

1 1.00 1.00 1.13 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.010 0.069 0.099 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 A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 32 37 0 0 0 0 -1

N.S.

1 1.00 1.00 1.16 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.009 0.198 0.095 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 46 30 0 0 75 0 -1

N.S.

1 1.00 1.84 1.20 0.00 0.00 3.00 0.00 -0.04

time (sec)

N/A 0.008 0.052 0.099 0.000 0.000 10.965 0.000 0.000

Problem 242

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

32 32 32 34 0 0 0 0 -1

N.S.

1 1.00 1.00 1.06 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.009 0.188 0.088 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 47 28 0 0 0 0 -1

N.S.

1 1.00 3.92 2.33 0.00 0.00 0.00 0.00 -0.08

time (sec)

N/A 0.004 10.043 0.100 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 40 24 0 34 0 0 -1

N.S.

1 1.00 1.38 0.83 0.00 1.17 0.00 0.00 -0.03

time (sec)

N/A 0.002 0.009 0.106 0.000 0.989 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 40 29 0 0 37 0 -1

N.S.

1 1.00 1.25 0.91 0.00 0.00 1.16 0.00 -0.03

time (sec)

N/A 0.009 0.218 0.098 0.000 0.000 1.548 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 36 27 0 0 42 0 -1

N.S.

1 1.00 1.20 0.90 0.00 0.00 1.40 0.00 -0.03

time (sec)

N/A 0.010 0.070 0.118 0.000 0.000 2.047 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 40 29 0 0 37 0 -1

N.S.

1 1.00 1.25 0.91 0.00 0.00 1.16 0.00 -0.03

time (sec)

N/A 0.009 0.204 0.100 0.000 0.000 1.563 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 39 36 0 10 0 0 -1

N.S.

1 1.00 0.74 0.68 0.00 0.19 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.214 0.079 0.000 0.314 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 37 33 0 10 0 0 -1

N.S.

1 1.00 0.73 0.65 0.00 0.20 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.069 0.096 0.000 0.307 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 39 36 0 10 0 0 -1

N.S.

1 1.00 0.74 0.68 0.00 0.19 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.221 0.079 0.000 0.197 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 26 24 0 104 0 0 -1

N.S.

1 1.00 0.93 0.86 0.00 3.71 0.00 0.00 -0.04

time (sec)

N/A 0.003 0.009 0.077 0.000 1.066 0.000 0.000 0.000

Problem 252

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

49 49 53 33 0 16 0 0 -1

N.S.

1 1.00 1.08 0.67 0.00 0.33 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.028 0.074 0.000 0.182 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 39 34 0 16 0 0 -1

N.S.

1 1.00 1.26 1.10 0.00 0.52 0.00 0.00 -0.03

time (sec)

N/A 0.011 0.211 0.091 0.000 0.264 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 65 48 30 0 8 73 0 -1

N.S.

1 1.55 1.14 0.71 0.00 0.19 1.74 0.00 -0.02

time (sec)

N/A 0.009 0.057 0.091 0.000 0.185 11.162 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 34 0 22 0 0 -1

N.S.

1 1.00 1.00 0.85 0.00 0.55 0.00 0.00 -0.02

time (sec)

N/A 0.010 0.202 0.085 0.000 0.221 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 36 34 0 15 44 0 -1

N.S.

1 1.00 1.00 0.94 0.00 0.42 1.22 0.00 -0.03

time (sec)

N/A 0.011 0.070 0.098 0.000 0.240 1.969 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 34 0 22 0 0 -1

N.S.

1 1.00 1.00 0.85 0.00 0.55 0.00 0.00 -0.02

time (sec)

N/A 0.010 0.209 0.090 0.000 0.262 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 104 0 0 0 0 -1

N.S.

1 1.00 1.00 1.20 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.877 0.073 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 B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 168 0 0 0 0 -1

N.S.

1 1.00 1.00 1.87 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.888 0.085 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 B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 167 0 0 0 0 -1

N.S.

1 1.00 1.00 1.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.658 0.081 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 108 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.686 0.084 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 105 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.894 0.078 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 B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 161 0 0 0 0 -1

N.S.

1 1.00 1.00 1.81 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.879 0.088 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 B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 162 0 0 0 0 -1

N.S.

1 1.00 1.00 1.82 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.729 0.089 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 107 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.674 0.082 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 86 158 0 0 0 0 -1

N.S.

1 1.00 0.44 0.81 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.020 0.000 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 89 104 0 0 0 0 -1

N.S.

1 1.00 0.44 0.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.065 0.871 0.084 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 89 108 0 0 0 0 -1

N.S.

1 1.00 0.44 0.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.063 0.864 0.080 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 92 165 0 0 0 0 -1

N.S.

1 1.00 0.43 0.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.073 0.737 0.080 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 89 161 0 0 0 0 -1

N.S.

1 1.00 0.47 0.85 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.872 0.077 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 90 107 0 0 0 0 -1

N.S.

1 1.00 0.47 0.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.863 0.084 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 92 109 0 0 0 0 -1

N.S.

1 1.00 0.47 0.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.656 0.083 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 93 166 0 0 0 0 -1

N.S.

1 1.00 0.47 0.84 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.614 0.082 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 104 0 0 0 0 -1

N.S.

1 1.00 1.00 1.20 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.878 0.079 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 B F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 168 0 0 0 0 -1

N.S.

1 1.00 1.00 1.87 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.876 0.084 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 167 0 0 0 0 -1

N.S.

1 1.00 1.00 1.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.749 0.078 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 91 108 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.632 0.082 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 88 160 0 0 0 0 -1

N.S.

1 1.00 1.00 1.82 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.896 0.071 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 106 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.873 0.079 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 106 0 0 0 0 -1

N.S.

1 1.00 1.00 1.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.038 0.807 0.078 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 163 0 0 0 0 -1

N.S.

1 1.00 1.00 1.81 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.707 0.081 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 86 101 0 0 0 0 -1

N.S.

1 1.00 0.42 0.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.059 0.033 0.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 89 161 0 0 0 0 -1

N.S.

1 1.00 0.42 0.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.068 0.871 0.076 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 89 162 0 0 0 0 -1

N.S.

1 1.00 0.42 0.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.076 0.860 0.078 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 92 111 0 0 0 0 -1

N.S.

1 1.00 0.41 0.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.074 0.808 0.077 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 89 161 0 0 0 0 -1

N.S.

1 1.00 0.47 0.85 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.862 0.074 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 A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 90 107 0 0 0 0 -1

N.S.

1 1.00 0.47 0.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.850 0.077 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 92 109 0 0 0 0 -1

N.S.

1 1.00 0.47 0.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.681 0.088 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 93 166 0 0 0 0 -1

N.S.

1 1.00 0.47 0.84 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.661 0.078 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 A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 37 38 0 34 0 0 -1

N.S.

1 1.00 0.47 0.49 0.00 0.44 0.00 0.00 -0.01

time (sec)

N/A 0.013 0.570 0.078 0.000 0.453 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 40 38 0 14 20 0 -1

N.S.

1 1.00 1.03 0.97 0.00 0.36 0.51 0.00 -0.03

time (sec)

N/A 0.016 0.503 0.088 0.000 0.502 1.157 0.000 0.000

Problem 292

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

61 61 47 53 0 15 0 0 -1

N.S.

1 1.00 0.77 0.87 0.00 0.25 0.00 0.00 -0.02

time (sec)

N/A 0.010 0.480 0.078 0.000 0.370 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 6 27 25 0 0 0 0 -1

N.S.

1 1.00 4.50 4.17 0.00 0.00 0.00 0.00 -0.17

time (sec)

N/A 0.005 0.230 0.097 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 24 28 0 30 0 0 -1

N.S.

1 1.00 1.04 1.22 0.00 1.30 0.00 0.00 -0.04

time (sec)

N/A 0.017 0.489 0.091 0.000 0.222 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 37 37 0 0 0 0 -1

N.S.

1 1.00 0.20 0.20 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.009 0.000 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 35 37 0 23 0 0 -1

N.S.

1 1.00 1.84 1.95 0.00 1.21 0.00 0.00 -0.05

time (sec)

N/A 0.005 0.319 0.107 0.000 0.141 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 95 809 0 0 0 0 -1

N.S.

1 1.00 1.00 8.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 2.298 0.328 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 95 1388 0 0 0 0 -1

N.S.

1 1.00 1.01 14.77 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 2.376 0.255 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

478 478 102 1388 0 0 0 0 -1

N.S.

1 1.00 0.21 2.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.234 2.390 0.218 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 102 872 0 0 0 0 -1

N.S.

1 1.00 0.47 4.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.144 2.249 0.194 0.000 0.000 0.000 0.000 0.000