2.2.23 Integrals 2201 to 2300

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 2201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 1643 199 140 84 0 32 941 17

N.S.

1 10.08 1.22 0.86 0.52 0.00 0.20 5.77 0.10

time (sec)

N/A 2.618 1.732 58.230 0.309 0.000 0.780 0.366 5.672

Problem 2202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 1643 199 140 84 0 32 941 17

N.S.

1 10.08 1.22 0.86 0.52 0.00 0.20 5.77 0.10

time (sec)

N/A 2.391 0.002 57.868 0.331 0.000 0.789 0.382 0.002

Problem 2203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 480 162 152 0 272 0 0 0

N.S.

1 2.94 0.99 0.93 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 1.897 0.375 7.348 0.000 0.254 0.000 0.000 0.000

Problem 2204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 0 0 516 0 119 0 0 0

N.S.

1 0.00 0.00 3.17 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 13.806 0.000 1.972 0.000 0.000 0.000

Problem 2205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 1017 0 176 41 0 0 3 41

N.S.

1 6.24 0.00 1.08 0.25 0.00 0.00 0.02 0.25

time (sec)

N/A 3.062 0.000 0.744 0.242 0.000 0.000 20.011 6.408

Problem 2206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 1017 0 176 41 0 0 3 41

N.S.

1 6.24 0.00 1.08 0.25 0.00 0.00 0.02 0.25

time (sec)

N/A 2.446 0.000 0.550 0.241 0.000 0.000 19.827 0.002

Problem 2207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 0 113 112 0 627 0 0 0

N.S.

1 0.00 0.69 0.69 0.00 3.85 0.00 0.00 0.00

time (sec)

N/A 0.000 0.746 10.343 0.000 0.397 0.000 0.000 0.000

Problem 2208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 163 163 0 0 301 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.617 0.211 0.000 0.000 0.262 0.000 0.000 0.000

Problem 2209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 0 104 0 0 168 0 0 0

N.S.

1 0.00 0.64 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.000 7.527 0.000 0.000 8.711 0.000 0.000 0.000

Problem 2210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

163 0 160 0 0 168 0 0 0

N.S.

1 0.00 0.98 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.000 7.529 0.000 0.000 11.698 0.000 0.000 0.000

Problem 2211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

164 0 141 174 0 424 0 0 0

N.S.

1 0.00 0.86 1.06 0.00 2.59 0.00 0.00 0.00

time (sec)

N/A 0.000 0.486 15.886 0.000 6.585 0.000 0.000 0.000

Problem 2212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 137 164 152 0 253 0 0 0

N.S.

1 0.84 1.00 0.93 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.288 0.402 15.347 0.000 1.704 0.000 0.000 0.000

Problem 2213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

164 3465 192 148 26 0 24 3 26

N.S.

1 21.13 1.17 0.90 0.16 0.00 0.15 0.02 0.16

time (sec)

N/A 5.985 16.523 0.596 0.291 0.000 25.631 3.033 6.663

Problem 2214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

164 3465 192 148 26 0 24 3 26

N.S.

1 21.13 1.17 0.90 0.16 0.00 0.15 0.02 0.16

time (sec)

N/A 5.393 0.029 0.242 0.321 0.000 24.340 3.064 0.003

Problem 2215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 84 155 2074 0 165 0 0 0

N.S.

1 0.51 0.94 12.57 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.184 0.178 10.656 0.000 1.409 0.000 0.000 0.000

Problem 2216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 165 151 0 406 0 0 0

N.S.

1 0.00 1.00 0.92 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.000 0.435 15.721 0.000 8.293 0.000 0.000 0.000

Problem 2217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 1427 187 0 0 0 0 0 0

N.S.

1 8.65 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.297 3.288 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 184 201 28 0 26 28 28

N.S.

1 0.00 1.12 1.22 0.17 0.00 0.16 0.17 0.17

time (sec)

N/A 0.000 1.113 0.549 0.217 0.000 44.891 0.871 6.592

Problem 2219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 184 201 28 0 26 28 28

N.S.

1 0.00 1.12 1.22 0.17 0.00 0.16 0.17 0.17

time (sec)

N/A 0.000 0.001 0.480 0.241 0.000 46.352 0.880 0.002

Problem 2220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 184 201 28 0 26 28 28

N.S.

1 0.00 1.12 1.22 0.17 0.00 0.16 0.17 0.17

time (sec)

N/A 0.000 0.002 0.487 0.208 0.000 44.721 0.913 0.002

Problem 2221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 261 158 198 0 488 0 0 0

N.S.

1 1.58 0.96 1.20 0.00 2.96 0.00 0.00 0.00

time (sec)

N/A 0.479 0.522 1.368 0.000 40.356 0.000 0.000 0.000

Problem 2222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 142 129 26 0 0 26 26

N.S.

1 0.00 0.86 0.78 0.16 0.00 0.00 0.16 0.16

time (sec)

N/A 0.000 0.169 0.104 0.281 0.000 0.000 0.488 6.461

Problem 2223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 0 142 129 26 0 26 26 26

N.S.

1 0.00 0.86 0.78 0.16 0.00 0.16 0.16 0.16

time (sec)

N/A 0.000 0.001 0.112 0.303 0.000 178.180 0.491 0.002

Problem 2224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

166 312 166 0 0 253 0 0 0

N.S.

1 1.88 1.00 0.00 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 1.097 0.290 0.000 0.000 0.255 0.000 0.000 0.000

Problem 2225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

166 0 132 137 0 0 0 0 0

N.S.

1 0.00 0.80 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.582 1.069 0.000 0.000 0.000 0.000 0.000

Problem 2226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

166 254 160 207 247 222 44 223 95

N.S.

1 1.53 0.96 1.25 1.49 1.34 0.27 1.34 0.57

time (sec)

N/A 0.400 0.371 0.344 0.273 0.257 1.461 0.273 6.516

Problem 2227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 198 188 182 0 0 0 394 0

N.S.

1 1.19 1.13 1.10 0.00 0.00 0.00 2.37 0.00

time (sec)

N/A 0.585 0.645 0.453 0.000 0.000 0.000 0.308 0.000

Problem 2228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 538 181 230 0 645 0 0 202

N.S.

1 3.24 1.09 1.39 0.00 3.89 0.00 0.00 1.22

time (sec)

N/A 1.338 0.791 1.913 0.000 0.323 0.000 0.000 13.712

Problem 2229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

166 1127 166 121 22 556 42 22 22

N.S.

1 6.79 1.00 0.73 0.13 3.35 0.25 0.13 0.13

time (sec)

N/A 1.943 1.570 4.845 0.305 0.359 24.025 0.304 6.517

Problem 2230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

166 1127 166 121 22 556 42 22 22

N.S.

1 6.79 1.00 0.73 0.13 3.35 0.25 0.13 0.13

time (sec)

N/A 1.664 0.001 4.178 0.310 0.356 24.207 0.292 0.003

Problem 2231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

166 1127 166 123 22 542 42 22 22

N.S.

1 6.79 1.00 0.74 0.13 3.27 0.25 0.13 0.13

time (sec)

N/A 1.702 1.618 4.802 0.320 0.349 25.166 0.299 6.708

Problem 2232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

166 1127 166 123 22 542 42 22 22

N.S.

1 6.79 1.00 0.74 0.13 3.27 0.25 0.13 0.13

time (sec)

N/A 1.620 0.001 4.280 0.298 0.356 24.941 0.296 0.002

Problem 2233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 1192 77 78 0 101 0 0 0

N.S.

1 7.18 0.46 0.47 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 6.102 1.190 2.947 0.000 0.318 0.000 0.000 0.000

Problem 2234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 0 130 137 0 0 0 0 0

N.S.

1 0.00 0.78 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.361 0.564 0.000 0.000 0.000 0.000 0.000

Problem 2235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 260 161 207 250 236 42 224 98

N.S.

1 1.56 0.96 1.24 1.50 1.41 0.25 1.34 0.59

time (sec)

N/A 0.398 0.262 0.267 0.276 0.259 1.823 0.266 6.776

Problem 2236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 248 161 199 241 236 42 224 98

N.S.

1 1.49 0.96 1.19 1.44 1.41 0.25 1.34 0.59

time (sec)

N/A 0.383 0.232 0.244 0.271 0.245 1.792 0.273 6.601

Problem 2237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 42 183 201 0 232 0 0 0

N.S.

1 0.25 1.10 1.20 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.249 0.515 18.945 0.000 0.566 0.000 0.000 0.000

Problem 2238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 0 167 152 0 418 0 0 0

N.S.

1 0.00 1.00 0.91 0.00 2.50 0.00 0.00 0.00

time (sec)

N/A 0.000 2.599 101.716 0.000 83.491 0.000 0.000 0.000

Problem 2239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 260 161 207 250 236 41 224 98

N.S.

1 1.56 0.96 1.24 1.50 1.41 0.25 1.34 0.59

time (sec)

N/A 0.396 0.224 0.296 0.255 0.245 2.053 0.269 6.865

Problem 2240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 506 170 144 0 1877 0 0 0

N.S.

1 3.03 1.02 0.86 0.00 11.24 0.00 0.00 0.00

time (sec)

N/A 1.381 1.576 0.615 0.000 0.465 0.000 0.000 0.000

Problem 2241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

167 260 161 207 250 236 42 224 98

N.S.

1 1.56 0.96 1.24 1.50 1.41 0.25 1.34 0.59

time (sec)

N/A 0.405 0.173 0.335 0.258 0.250 2.176 0.267 6.010

Problem 2242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 0 191 205 0 1561 0 0 0

N.S.

1 0.00 1.14 1.23 0.00 9.35 0.00 0.00 0.00

time (sec)

N/A 0.000 0.793 61.487 0.000 4.015 0.000 0.000 0.000

Problem 2243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F C F F B

verified

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

size

167 0 170 178 0 742 0 0 201

N.S.

1 0.00 1.02 1.07 0.00 4.44 0.00 0.00 1.20

time (sec)

N/A 0.000 0.848 1.340 0.000 0.346 0.000 0.000 10.419

Problem 2244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A N/A N/A C N/A N/A N/A

verified

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

size

167 319 161 34 36 1046 32 36 36

N.S.

1 1.91 0.96 0.20 0.22 6.26 0.19 0.22 0.22

time (sec)

N/A 1.357 0.206 0.025 0.285 0.268 2.779 1.687 6.116

Problem 2245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 0 315 0 0 175 0 0 0

N.S.

1 0.00 1.89 0.00 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.000 8.983 0.000 0.000 18.129 0.000 0.000 0.000

Problem 2246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 264 127 175 0 639 0 0 0

N.S.

1 1.58 0.76 1.05 0.00 3.83 0.00 0.00 0.00

time (sec)

N/A 0.680 1.135 1.862 0.000 0.645 0.000 0.000 0.000

Problem 2247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

167 0 167 0 0 105 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 0.000 0.480 0.000 0.000 0.480 0.000 0.000 0.000

Problem 2248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 264 127 175 0 639 0 0 498

N.S.

1 1.58 0.76 1.05 0.00 3.83 0.00 0.00 2.98

time (sec)

N/A 0.690 1.730 1.355 0.000 0.914 0.000 0.000 173.675

Problem 2249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 95 153 1553 0 315 0 0 0

N.S.

1 0.57 0.91 9.24 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.185 0.211 7.066 0.000 3.237 0.000 0.000 0.000

Problem 2250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

168 0 181 153 0 0 0 0 0

N.S.

1 0.00 1.08 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 41.664 1.898 0.000 0.000 0.000 0.000 0.000

Problem 2251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

168 0 148 0 0 122 0 0 0

N.S.

1 0.00 0.88 0.00 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.000 0.258 0.000 0.000 0.262 0.000 0.000 0.000

Problem 2252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

169 81 126 445 0 345 0 0 0

N.S.

1 0.48 0.75 2.63 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.171 4.212 1.701 0.000 1.023 0.000 0.000 0.000

Problem 2253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 44 220 234 0 689 0 0 0

N.S.

1 0.26 1.30 1.38 0.00 4.08 0.00 0.00 0.00

time (sec)

N/A 0.300 0.643 26.578 0.000 3.169 0.000 0.000 0.000

Problem 2254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

170 0 159 0 0 543 0 0 0

N.S.

1 0.00 0.94 0.00 0.00 3.19 0.00 0.00 0.00

time (sec)

N/A 0.000 0.316 0.000 0.000 49.946 0.000 0.000 0.000

Problem 2255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

170 0 148 0 0 164 0 0 0

N.S.

1 0.00 0.87 0.00 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.000 0.350 0.000 0.000 0.979 0.000 0.000 0.000

Problem 2256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

170 0 149 133 33 0 0 33 33

N.S.

1 0.00 0.88 0.78 0.19 0.00 0.00 0.19 0.19

time (sec)

N/A 0.000 0.246 0.175 0.612 0.000 0.000 1.017 6.945

Problem 2257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

170 0 149 133 33 0 0 33 33

N.S.

1 0.00 0.88 0.78 0.19 0.00 0.00 0.19 0.19

time (sec)

N/A 0.000 0.001 0.154 0.595 0.000 0.000 1.030 0.003

Problem 2258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 102 88 72 0 100 296 66 0

N.S.

1 0.60 0.51 0.42 0.00 0.58 1.73 0.39 0.00

time (sec)

N/A 0.226 0.115 0.103 0.000 0.769 0.994 0.280 0.000

Problem 2259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 160 943 0 300 0 0 0

N.S.

1 0.00 0.94 5.51 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.000 0.199 7.749 0.000 4.347 0.000 0.000 0.000

Problem 2260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 130 0 0 0 0 0 0

N.S.

1 0.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 13.973 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

171 559 155 1176 0 316 0 0 0

N.S.

1 3.27 0.91 6.88 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 1.387 1.269 7.395 0.000 5.537 0.000 0.000 0.000

Problem 2262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 189 206 30 0 26 30 29

N.S.

1 0.00 1.11 1.20 0.18 0.00 0.15 0.18 0.17

time (sec)

N/A 0.000 1.161 0.536 0.229 0.000 45.270 0.898 6.380

Problem 2263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 189 206 30 0 26 30 29

N.S.

1 0.00 1.11 1.20 0.18 0.00 0.15 0.18 0.17

time (sec)

N/A 0.000 0.001 0.477 0.228 0.000 46.964 0.933 0.002

Problem 2264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 189 206 30 0 26 30 29

N.S.

1 0.00 1.11 1.20 0.18 0.00 0.15 0.18 0.17

time (sec)

N/A 0.000 0.001 0.488 0.239 0.000 48.277 0.932 0.002

Problem 2265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 848 143 163 0 396 0 0 0

N.S.

1 4.96 0.84 0.95 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 1.298 0.630 6.352 0.000 0.381 0.000 0.000 0.000

Problem 2266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 171 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

171 0 171 0 0 437 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 2.56 0.00 0.00 0.00

time (sec)

N/A 0.000 0.559 0.000 0.000 0.960 0.000 0.000 0.000

Problem 2268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

172 312 164 0 0 1213 0 0 0

N.S.

1 1.81 0.95 0.00 0.00 7.05 0.00 0.00 0.00

time (sec)

N/A 1.305 1.095 0.000 0.000 114.417 0.000 0.000 0.000

Problem 2269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

172 97 148 1142 0 301 0 0 0

N.S.

1 0.56 0.86 6.64 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.214 1.026 6.833 0.000 1.940 0.000 0.000 0.000

Problem 2270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 0 136 119 0 0 0 0 0

N.S.

1 0.00 0.79 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.375 1.040 0.000 0.000 0.000 0.000 0.000

Problem 2272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 140 167 152 0 289 0 0 0

N.S.

1 0.81 0.97 0.88 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.268 0.382 14.580 0.000 2.032 0.000 0.000 0.000

Problem 2273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 0 164 134 0 213 0 0 0

N.S.

1 0.00 0.95 0.77 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.000 0.614 1.355 0.000 0.309 0.000 0.000 0.000

Problem 2274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A N/A N/A C N/A C N/A

verified

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

size

173 374 193 172 22 409 26 257 22

N.S.

1 2.16 1.12 0.99 0.13 2.36 0.15 1.49 0.13

time (sec)

N/A 1.593 0.370 37.913 0.298 0.322 0.475 0.325 5.976

Problem 2275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A N/A N/A C N/A C N/A

verified

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

size

173 374 193 172 22 409 26 257 22

N.S.

1 2.16 1.12 0.99 0.13 2.36 0.15 1.49 0.13

time (sec)

N/A 1.487 0.010 15.862 0.297 0.310 0.542 0.318 0.002

Problem 2276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 1733 200 135 19 0 27 967 19

N.S.

1 10.02 1.16 0.78 0.11 0.00 0.16 5.59 0.11

time (sec)

N/A 2.730 1.724 59.182 0.312 0.000 1.018 0.373 5.952

Problem 2277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 1733 200 135 19 0 27 967 19

N.S.

1 10.02 1.16 0.78 0.11 0.00 0.16 5.59 0.11

time (sec)

N/A 2.515 0.001 3.434 0.306 0.000 1.124 0.367 0.002

Problem 2278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

173 234 141 106 0 1083 0 207 0

N.S.

1 1.35 0.82 0.61 0.00 6.26 0.00 1.20 0.00

time (sec)

N/A 0.451 0.219 1.342 0.000 0.612 0.000 0.375 0.000

Problem 2279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 0 160 197 0 468 0 0 0

N.S.

1 0.00 0.92 1.14 0.00 2.71 0.00 0.00 0.00

time (sec)

N/A 0.000 1.680 150.031 0.000 154.251 0.000 0.000 0.000

Problem 2280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 0 128 0 0 0 0 0 0

N.S.

1 0.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.243 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

173 270 0 183 0 647 0 0 0

N.S.

1 1.56 0.00 1.06 0.00 3.74 0.00 0.00 0.00

time (sec)

N/A 0.793 0.000 6.095 0.000 0.678 0.000 0.000 0.000

Problem 2282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

174 103 174 149 0 146 0 0 0

N.S.

1 0.59 1.00 0.86 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.227 0.338 14.811 0.000 0.266 0.000 0.000 0.000

Problem 2283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 0 136 120 0 0 0 0 0

N.S.

1 0.00 0.78 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.657 0.493 0.000 0.000 0.000 0.000 0.000

Problem 2284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 0 140 145 0 0 0 0 0

N.S.

1 0.00 0.80 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.419 1.190 0.000 0.000 0.000 0.000 0.000

Problem 2285

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

174 130 162 172 0 214 0 0 0

N.S.

1 0.75 0.93 0.99 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.263 0.259 16.856 0.000 4.194 0.000 0.000 0.000

Problem 2286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 64 201 199 0 0 0 403 0

N.S.

1 0.37 1.16 1.14 0.00 0.00 0.00 2.32 0.00

time (sec)

N/A 0.387 0.657 0.487 0.000 0.000 0.000 0.306 0.000

Problem 2287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 0 143 184 0 1497 0 0 0

N.S.

1 0.00 0.82 1.06 0.00 8.60 0.00 0.00 0.00

time (sec)

N/A 0.000 1.171 1.913 0.000 1.839 0.000 0.000 0.000

Problem 2288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 3520 162 148 32 0 26 3 30

N.S.

1 20.23 0.93 0.85 0.18 0.00 0.15 0.02 0.17

time (sec)

N/A 6.348 16.275 0.447 0.243 0.000 28.425 3.602 6.487

Problem 2289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 3520 162 148 32 0 26 3 30

N.S.

1 20.23 0.93 0.85 0.18 0.00 0.15 0.02 0.17

time (sec)

N/A 5.928 0.032 0.250 0.228 0.000 27.439 4.046 0.003

Problem 2290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

174 96 113 91 92 71 139 190 0

N.S.

1 0.55 0.65 0.52 0.53 0.41 0.80 1.09 0.00

time (sec)

N/A 0.323 0.125 0.144 0.172 0.378 0.634 3.562 0.000

Problem 2291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

175 83 163 1553 0 156 0 0 0

N.S.

1 0.47 0.93 8.87 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.172 0.199 11.439 0.000 1.124 0.000 0.000 0.000

Problem 2292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 0 138 145 0 0 0 0 0

N.S.

1 0.00 0.79 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.357 0.541 0.000 0.000 0.000 0.000 0.000

Problem 2293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 0 175 167 0 426 0 0 0

N.S.

1 0.00 1.00 0.95 0.00 2.43 0.00 0.00 0.00

time (sec)

N/A 0.000 0.479 16.754 0.000 9.600 0.000 0.000 0.000

Problem 2294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 0 175 169 0 427 0 0 0

N.S.

1 0.00 1.00 0.97 0.00 2.44 0.00 0.00 0.00

time (sec)

N/A 0.000 0.446 16.960 0.000 10.497 0.000 0.000 0.000

Problem 2295

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

175 138 106 102 0 202 0 62 0

N.S.

1 0.79 0.61 0.58 0.00 1.15 0.00 0.35 0.00

time (sec)

N/A 0.589 0.172 3.199 0.000 0.286 0.000 0.276 0.000

Problem 2296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 0 157 223 0 0 0 0 0

N.S.

1 0.00 0.90 1.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.706 0.250 0.000 0.000 0.000 0.000 0.000

Problem 2297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

175 529 193 13654 44 1409 22 44 44

N.S.

1 3.02 1.10 78.02 0.25 8.05 0.13 0.25 0.25

time (sec)

N/A 0.947 0.143 54.558 0.198 0.294 1.012 0.305 6.461

Problem 2298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 192 171 0 0 483 0 0 0

N.S.

1 1.10 0.98 0.00 0.00 2.76 0.00 0.00 0.00

time (sec)

N/A 1.086 0.576 0.000 0.000 3.134 0.000 0.000 0.000

Problem 2299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

176 378 147 408 0 413 0 0 0

N.S.

1 2.15 0.84 2.32 0.00 2.35 0.00 0.00 0.00

time (sec)

N/A 0.909 0.260 4.679 0.000 5.076 0.000 0.000 0.000

Problem 2300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 223 155 177 0 735 221 183 204

N.S.

1 1.27 0.88 1.01 0.00 4.18 1.26 1.04 1.16

time (sec)

N/A 0.889 0.217 1.140 0.000 0.405 50.982 0.283 15.678