Integrals 201 to 300

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 Mupad

grade

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

size

15 15 17 15 17 28 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.93 1.13 1.13

time (sec)

N/A 0.060 0.388 0.007 0.255 0.255 0.576 0.333 0.144

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

120 120 111 0 0 155 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.055 0.409 0.000 0.000 0.087 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 92 86 0 0 114 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.033 0.302 0.000 0.000 0.077 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 44 44 0 0 60 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.004 0.050 0.000 0.000 0.083 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 40 12 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.67 0.80 1.13 1.13

time (sec)

N/A 0.011 0.415 0.004 0.282 0.252 1.043 0.374 0.124

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 40 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.67 0.93 1.13 1.13

time (sec)

N/A 0.206 1.458 0.004 0.282 0.252 0.586 0.342 0.145

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 40 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.67 0.93 1.13 1.13

time (sec)

N/A 0.293 1.016 0.007 0.281 0.254 0.693 0.342 0.144

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

183 183 164 0 0 158 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.117 0.398 0.000 0.000 0.079 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

138 138 138 0 0 141 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.099 0.359 0.000 0.000 0.085 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 99 89 0 0 124 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.076 0.325 0.000 0.000 0.086 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 80 74 0 0 89 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.044 0.290 0.000 0.000 0.083 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

38 38 38 0 0 44 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.007 0.040 0.000 0.000 0.081 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

33 33 35 32 34 34 37 34 34

N.S.

1 1.00 1.06 0.97 1.03 1.03 1.12 1.03 1.03

time (sec)

N/A 0.060 0.376 0.009 0.266 0.258 9.141 0.339 0.129

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

33 33 35 32 34 34 39 34 34

N.S.

1 1.00 1.06 0.97 1.03 1.03 1.18 1.03 1.03

time (sec)

N/A 0.057 0.120 0.010 0.269 0.272 91.995 0.327 0.157

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 26 29 19 19 34 19 19

N.S.

1 1.00 0.65 0.72 0.48 0.48 0.85 0.48 0.48

time (sec)

N/A 0.007 0.025 0.007 0.245 0.247 0.086 0.296 0.089

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 241 517 0 243 0 0 0

N.S.

1 1.00 0.83 1.78 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.212 0.118 0.207 0.000 0.285 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 269 179 359 0 171 0 0 0

N.S.

1 1.00 0.67 1.33 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.180 0.091 0.145 0.000 0.311 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 128 227 0 114 0 0 209

N.S.

1 1.00 0.56 0.99 0.00 0.50 0.00 0.00 0.91

time (sec)

N/A 0.155 0.066 0.114 0.000 0.261 0.000 0.000 0.572

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 82 126 0 71 0 0 136

N.S.

1 1.00 0.68 1.05 0.00 0.59 0.00 0.00 1.13

time (sec)

N/A 0.074 0.044 0.091 0.000 0.261 0.000 0.000 0.348

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 52 0 40 0 0 50

N.S.

1 1.00 1.00 1.27 0.00 0.98 0.00 0.00 1.22

time (sec)

N/A 0.028 0.015 0.068 0.000 0.287 0.000 0.000 0.220

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 47 0 41 0 0 0

N.S.

1 1.00 1.00 1.15 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.095 0.027 0.069 0.000 0.267 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 80 0 60 0 0 0

N.S.

1 1.00 1.00 1.18 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.256 0.075 0.092 0.000 0.250 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 115 174 0 110 0 0 0

N.S.

1 1.00 0.69 1.05 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.462 0.121 0.126 0.000 0.267 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

415 415 195 343 0 201 0 0 0

N.S.

1 1.00 0.47 0.83 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.292 0.150 0.277 0.000 0.261 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 148 228 0 156 0 0 0

N.S.

1 1.00 0.51 0.78 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.195 0.098 0.194 0.000 0.316 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 131 175 0 128 0 0 0

N.S.

1 1.00 0.64 0.85 0.00 0.62 0.00 0.00 0.00

time (sec)

N/A 0.143 0.074 0.155 0.000 0.259 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 89 93 0 107 0 0 0

N.S.

1 1.00 0.80 0.84 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.079 0.053 0.110 0.000 0.259 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 62 65 0 68 0 0 53

N.S.

1 1.00 1.00 1.05 0.00 1.10 0.00 0.00 0.85

time (sec)

N/A 0.026 0.022 0.105 0.000 0.294 0.000 0.000 0.352

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 28 12 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.80 1.13 1.13

time (sec)

N/A 0.012 0.092 0.001 0.248 0.243 1.397 0.375 0.176

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 28 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.93 1.13 1.13

time (sec)

N/A 0.028 0.285 0.006 0.255 0.251 1.635 0.359 0.245

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 28 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.93 1.13 1.13

time (sec)

N/A 0.026 0.194 0.009 0.258 0.268 2.273 0.357 0.253

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

239 239 219 0 0 248 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.122 0.128 0.000 0.000 0.095 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

184 184 167 0 0 221 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.103 0.245 0.000 0.000 0.092 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

142 142 127 0 0 194 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.087 0.047 0.000 0.000 0.087 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 92 86 0 0 154 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.042 0.047 0.000 0.000 0.081 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

44 44 44 0 0 94 0 0 68

N.S.

1 1.00 1.00 0.00 0.00 2.14 0.00 0.00 1.55

time (sec)

N/A 0.006 0.007 0.000 0.000 0.078 0.000 0.000 0.663

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 39 12 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.60 0.80 1.13 1.13

time (sec)

N/A 0.011 0.084 0.004 0.289 0.264 2.089 0.404 0.213

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 39 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.60 0.93 1.13 1.13

time (sec)

N/A 0.029 0.295 0.009 0.299 0.276 2.691 0.388 0.511

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 39 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.60 0.93 1.13 1.13

time (sec)

N/A 0.028 0.027 0.010 0.283 0.268 3.963 0.417 0.539

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 40 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.67 0.93 1.13 1.13

time (sec)

N/A 0.030 0.159 0.013 0.287 0.268 1.120 0.381 0.185

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 28 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.93 1.13 1.13

time (sec)

N/A 0.035 0.112 0.011 0.263 0.273 1.020 0.331 0.201

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 36 117 36 39 0 0 41

N.S.

1 1.00 0.88 2.85 0.88 0.95 0.00 0.00 1.00

time (sec)

N/A 0.014 0.021 0.056 0.072 0.083 0.000 0.000 0.169

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 17 12 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.80 1.13 1.13

time (sec)

N/A 0.027 0.030 0.017 0.244 0.276 3.018 0.327 0.182

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 28 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.87 0.93 1.13 1.13

time (sec)

N/A 0.027 0.065 0.016 0.271 0.279 38.290 0.396 0.233

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 39 1 17 17

N.S.

1 1.00 1.13 1.00 1.13 2.60 0.07 1.13 1.13

time (sec)

N/A 0.028 0.064 0.028 0.283 0.280 0.000 0.426 0.248

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.033 0.037 0.010 0.234 0.276 3.258 0.402 0.131

Problem 247

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

207 207 183 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.094 0.100 0.000 0.000 0.000 0.000 0.000 0.000

Problem 248

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 136 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.068 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 249

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

99 99 91 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.037 0.025 0.000 0.000 0.000 0.000 0.000 0.000

Problem 250

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

47 47 47 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.004 0.007 0.000 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 17 12 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.80 1.13 1.13

time (sec)

N/A 0.013 0.026 0.004 0.217 0.284 0.429 0.375 0.131

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.030 0.024 0.021 0.226 0.284 0.436 0.374 0.136

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.030 0.028 0.006 0.233 0.273 0.553 0.341 0.136

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

61 61 61 0 0 59 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 0.97 0.00 0.00 1.23

time (sec)

N/A 0.039 0.140 0.000 0.000 0.078 0.000 0.000 0.583

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 31 579 5261 468 794 145 553

N.S.

1 1.00 0.30 5.51 50.10 4.46 7.56 1.38 5.27

time (sec)

N/A 0.078 0.200 1.163 2.017 0.285 0.261 0.342 0.821

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 31 396 3727 324 556 124 391

N.S.

1 1.00 0.35 4.50 42.35 3.68 6.32 1.41 4.44

time (sec)

N/A 0.066 0.175 0.681 1.445 0.282 0.195 0.366 0.557

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 72 249 2452 208 364 103 253

N.S.

1 1.00 0.57 1.98 19.46 1.65 2.89 0.82 2.01

time (sec)

N/A 0.177 0.189 0.388 1.045 0.285 0.149 0.358 0.479

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 56 138 1438 120 212 82 142

N.S.

1 1.00 0.62 1.52 15.80 1.32 2.33 0.90 1.56

time (sec)

N/A 0.124 0.174 0.264 0.709 0.277 0.119 0.367 0.377

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 40 63 683 60 99 1227 67

N.S.

1 1.00 0.65 1.02 11.02 0.97 1.60 19.79 1.08

time (sec)

N/A 0.075 0.155 0.289 0.473 0.284 0.092 0.375 0.289

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 25 35 34 35 25

N.S.

1 1.00 1.00 0.96 0.93 1.30 1.26 1.30 0.93

time (sec)

N/A 0.030 0.021 0.017 0.186 0.279 0.075 0.322 0.218

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 23 0 32 0 0 20

N.S.

1 1.00 1.00 1.05 0.00 1.45 0.00 0.00 0.91

time (sec)

N/A 0.040 0.165 0.312 0.000 0.301 0.000 0.000 0.300

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 47 53 0 100 0 0 51

N.S.

1 1.00 0.89 1.00 0.00 1.89 0.00 0.00 0.96

time (sec)

N/A 0.087 0.187 0.260 0.000 0.284 0.000 0.000 1.240

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 64 86 0 183 0 0 76

N.S.

1 1.00 0.74 0.99 0.00 2.10 0.00 0.00 0.87

time (sec)

N/A 0.135 0.206 0.375 0.000 0.268 0.000 0.000 2.177

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 79 119 0 292 0 0 104

N.S.

1 1.00 0.65 0.98 0.00 2.41 0.00 0.00 0.86

time (sec)

N/A 0.175 0.231 0.530 0.000 0.277 0.000 0.000 0.522

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 152 0 430 0 0 120

N.S.

1 1.00 1.00 4.90 0.00 13.87 0.00 0.00 3.87

time (sec)

N/A 0.045 0.186 0.763 0.000 0.322 0.000 0.000 0.551

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 185 0 596 0 0 136

N.S.

1 1.00 1.00 5.97 0.00 19.23 0.00 0.00 4.39

time (sec)

N/A 0.041 0.175 1.073 0.000 0.287 0.000 0.000 0.678

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 1911 6135 617 0 195 209

N.S.

1 1.00 1.00 39.00 125.20 12.59 0.00 3.98 4.27

time (sec)

N/A 0.041 0.662 2.826 1.994 0.092 0.000 0.159 0.717

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 1374 4471 456 0 174 730

N.S.

1 1.00 1.00 28.04 91.24 9.31 0.00 3.55 14.90

time (sec)

N/A 0.043 0.451 1.586 1.496 0.086 0.000 0.174 0.770

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 153 929 3066 323 0 153 533

N.S.

1 1.00 0.85 5.19 17.13 1.80 0.00 0.85 2.98

time (sec)

N/A 0.213 0.600 0.876 1.221 0.274 0.000 0.343 0.554

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 126 576 1922 218 0 132 378

N.S.

1 1.00 0.87 3.97 13.26 1.50 0.00 0.91 2.61

time (sec)

N/A 0.144 0.302 0.471 0.853 0.277 0.000 0.319 0.461

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 90 315 1037 141 0 111 243

N.S.

1 1.00 0.81 2.84 9.34 1.27 0.00 1.00 2.19

time (sec)

N/A 0.102 0.233 0.366 0.609 0.271 0.000 0.308 0.364

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 77 146 413 88 0 91 130

N.S.

1 1.00 1.00 1.90 5.36 1.14 0.00 1.18 1.69

time (sec)

N/A 0.053 0.178 0.282 0.362 0.271 0.000 0.317 0.328

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 58 58 48 0 36 48

N.S.

1 1.00 1.00 1.32 1.32 1.09 0.00 0.82 1.09

time (sec)

N/A 0.007 0.057 0.020 0.201 0.283 0.000 0.321 0.041

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 63 62 0 83 0 0 86

N.S.

1 1.00 0.94 0.93 0.00 1.24 0.00 0.00 1.28

time (sec)

N/A 0.048 0.227 0.320 0.000 0.289 0.000 0.000 0.688

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 81 96 0 163 0 0 201

N.S.

1 1.00 0.79 0.94 0.00 1.60 0.00 0.00 1.97

time (sec)

N/A 0.088 0.274 0.348 0.000 0.309 0.000 0.000 1.610

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 97 129 0 288 0 0 168

N.S.

1 1.00 0.71 0.95 0.00 2.12 0.00 0.00 1.24

time (sec)

N/A 0.134 0.304 0.471 0.000 0.321 0.000 0.000 1.467

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 112 162 0 429 0 0 201

N.S.

1 1.00 0.66 0.95 0.00 2.52 0.00 0.00 1.18

time (sec)

N/A 0.181 0.353 0.566 0.000 0.282 0.000 0.000 0.804

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 195 0 598 0 0 234

N.S.

1 1.00 1.00 3.98 0.00 12.20 0.00 0.00 4.78

time (sec)

N/A 0.041 0.280 0.841 0.000 0.267 0.000 0.000 0.810

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 228 0 795 0 0 267

N.S.

1 1.00 1.00 4.65 0.00 16.22 0.00 0.00 5.45

time (sec)

N/A 0.044 0.341 1.351 0.000 0.270 0.000 0.000 0.920

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

61 61 61 0 0 71 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 1.16 0.00 0.00 1.23

time (sec)

N/A 0.041 0.135 0.000 0.000 0.085 0.000 0.000 0.408

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 31 857 1268 688 1170 0 685

N.S.

1 1.00 0.30 8.16 12.08 6.55 11.14 0.00 6.52

time (sec)

N/A 0.071 0.216 4.908 0.371 0.282 0.357 0.000 1.014

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 31 584 874 474 821 0 487

N.S.

1 1.00 0.35 6.64 9.93 5.39 9.33 0.00 5.53

time (sec)

N/A 0.078 0.192 2.606 0.426 0.274 0.286 0.000 0.742

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 75 365 555 302 536 1320 323

N.S.

1 1.00 0.60 2.94 4.48 2.44 4.32 10.65 2.60

time (sec)

N/A 0.171 0.218 1.444 0.358 0.272 0.220 0.378 0.555

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 56 200 308 172 304 705 196

N.S.

1 1.00 0.58 2.08 3.21 1.79 3.17 7.34 2.04

time (sec)

N/A 0.126 0.202 0.566 0.359 0.280 0.161 0.393 0.377

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 40 89 133 84 143 1014 95

N.S.

1 1.00 0.65 1.44 2.15 1.35 2.31 16.35 1.53

time (sec)

N/A 0.084 0.178 0.301 0.350 0.276 0.112 0.376 0.361

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 25 47 44 47 25

N.S.

1 1.00 1.00 0.96 0.93 1.74 1.63 1.74 0.93

time (sec)

N/A 0.040 0.024 0.259 0.250 0.287 0.075 0.295 0.198

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

22 22 22 0 0 44 0 0 20

N.S.

1 1.00 1.00 0.00 0.00 2.00 0.00 0.00 0.91

time (sec)

N/A 0.041 0.185 0.000 0.000 0.276 0.000 0.000 0.239

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

53 53 47 0 0 147 0 0 51

N.S.

1 1.00 0.89 0.00 0.00 2.77 0.00 0.00 0.96

time (sec)

N/A 0.104 0.196 0.000 0.000 0.270 0.000 0.000 0.620

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

87 87 64 0 0 269 0 0 76

N.S.

1 1.00 0.74 0.00 0.00 3.09 0.00 0.00 0.87

time (sec)

N/A 0.129 0.219 0.000 0.000 0.284 0.000 0.000 1.391

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

121 121 80 0 0 431 0 0 104

N.S.

1 1.00 0.66 0.00 0.00 3.56 0.00 0.00 0.86

time (sec)

N/A 0.167 0.238 0.000 0.000 0.282 0.000 0.000 0.568

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

31 31 31 0 0 636 0 0 120

N.S.

1 1.00 1.00 0.00 0.00 20.52 0.00 0.00 3.87

time (sec)

N/A 0.039 0.185 0.000 0.000 0.288 0.000 0.000 0.720

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

31 31 31 0 0 883 0 0 136

N.S.

1 1.00 1.00 0.00 0.00 28.48 0.00 0.00 4.39

time (sec)

N/A 0.041 0.200 0.000 0.000 0.257 0.000 0.000 0.989

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 118 0 0 112

N.S.

1 1.00 1.00 0.00 0.00 2.41 0.00 0.00 2.29

time (sec)

N/A 0.041 0.225 0.000 0.000 0.087 0.000 0.000 0.574

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

49 49 49 0 0 63 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.022 0.156 0.000 0.000 0.087 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

47 47 47 0 0 63 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.005 0.091 0.000 0.000 0.087 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 110 0 0 74

N.S.

1 1.00 1.00 0.00 0.00 2.24 0.00 0.00 1.51

time (sec)

N/A 0.040 0.311 0.000 0.000 0.082 0.000 0.000 0.457

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 135 0 0 87

N.S.

1 1.00 1.00 0.00 0.00 2.76 0.00 0.00 1.78

time (sec)

N/A 0.038 0.336 0.000 0.000 0.085 0.000 0.000 0.477

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

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

size

49 49 49 0 0 226 0 0 130

N.S.

1 1.00 1.00 0.00 0.00 4.61 0.00 0.00 2.65

time (sec)

N/A 0.038 0.364 0.000 0.000 0.085 0.000 0.000 1.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A C B

verified

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

size

64 64 42 0 43 42 73 781 38

N.S.

1 1.00 0.66 0.00 0.67 0.66 1.14 12.20 0.59

time (sec)

N/A 0.022 0.041 0.000 0.256 0.260 0.227 0.345 0.267

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F C B

verified

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

size

100 100 60 0 62 58 0 1338 54

N.S.

1 1.00 0.60 0.00 0.62 0.58 0.00 13.38 0.54

time (sec)

N/A 0.040 0.037 0.000 0.234 0.292 0.000 0.376 0.276