2.2.25 Integrals 2401 to 2500

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 2401

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

193 209 166 131 0 1253 0 0 0

N.S.

1 1.08 0.86 0.68 0.00 6.49 0.00 0.00 0.00

time (sec)

N/A 0.378 0.490 11.076 0.000 15.399 0.000 0.000 0.000

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 189 168 131 0 1285 0 0 0

N.S.

1 0.98 0.87 0.68 0.00 6.66 0.00 0.00 0.00

time (sec)

N/A 0.532 0.551 10.183 0.000 15.552 0.000 0.000 0.000

Problem 2403

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

193 209 166 131 0 1189 0 0 0

N.S.

1 1.08 0.86 0.68 0.00 6.16 0.00 0.00 0.00

time (sec)

N/A 0.302 0.451 11.237 0.000 15.089 0.000 0.000 0.000

Problem 2404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 189 166 134 0 1307 0 0 0

N.S.

1 0.98 0.86 0.69 0.00 6.77 0.00 0.00 0.00

time (sec)

N/A 0.539 0.517 10.182 0.000 14.755 0.000 0.000 0.000

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 341 209 195 0 374 0 358 207

N.S.

1 1.77 1.08 1.01 0.00 1.94 0.00 1.85 1.07

time (sec)

N/A 0.602 0.415 0.569 0.000 0.263 0.000 0.316 9.344

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 86 172 131 0 74 0 0 47

N.S.

1 0.45 0.89 0.68 0.00 0.38 0.00 0.00 0.24

time (sec)

N/A 0.595 0.257 0.517 0.000 0.264 0.000 0.000 6.769

Problem 2407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

193 75 169 43 0 74 0 0 47

N.S.

1 0.39 0.88 0.22 0.00 0.38 0.00 0.00 0.24

time (sec)

N/A 0.551 0.260 0.145 0.000 0.277 0.000 0.000 6.822

Problem 2408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 86 172 131 0 92 0 0 73

N.S.

1 0.45 0.89 0.68 0.00 0.48 0.00 0.00 0.38

time (sec)

N/A 0.648 0.263 0.531 0.000 0.263 0.000 0.000 7.234

Problem 2409

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

193 0 193 149 28 0 27 28 31

N.S.

1 0.00 1.00 0.77 0.15 0.00 0.14 0.15 0.16

time (sec)

N/A 0.000 0.248 1.382 0.265 0.000 131.035 0.699 6.355

Problem 2410

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

193 0 193 149 28 0 27 28 31

N.S.

1 0.00 1.00 0.77 0.15 0.00 0.14 0.15 0.16

time (sec)

N/A 0.000 0.001 1.049 0.269 0.000 126.583 0.681 0.003

Problem 2411

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

193 0 174 145 0 180 0 0 0

N.S.

1 0.00 0.90 0.75 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.000 0.613 0.201 0.000 0.394 0.000 0.000 0.000

Problem 2412

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

193 0 175 144 0 532 0 0 0

N.S.

1 0.00 0.91 0.75 0.00 2.76 0.00 0.00 0.00

time (sec)

N/A 0.000 0.508 0.149 0.000 0.381 0.000 0.000 0.000

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

194 81 126 541 0 1208 0 0 0

N.S.

1 0.42 0.65 2.79 0.00 6.23 0.00 0.00 0.00

time (sec)

N/A 0.175 4.192 10.043 0.000 1.353 0.000 0.000 0.000

Problem 2414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 279 188 250 0 366 0 233 0

N.S.

1 1.44 0.97 1.29 0.00 1.89 0.00 1.20 0.00

time (sec)

N/A 0.606 0.497 1.902 0.000 0.256 0.000 0.371 0.000

Problem 2415

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

194 256 171 167 0 1053 0 0 0

N.S.

1 1.32 0.88 0.86 0.00 5.43 0.00 0.00 0.00

time (sec)

N/A 0.676 1.056 0.453 0.000 0.289 0.000 0.000 0.000

Problem 2416

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

194 196 159 0 0 112 0 0 0

N.S.

1 1.01 0.82 0.00 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.558 0.236 0.000 0.000 0.262 0.000 0.000 0.000

Problem 2417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 341 206 191 0 384 0 359 0

N.S.

1 1.75 1.06 0.98 0.00 1.97 0.00 1.84 0.00

time (sec)

N/A 0.614 0.979 0.492 0.000 0.262 0.000 0.364 0.000

Problem 2418

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

195 0 162 0 0 0 0 0 0

N.S.

1 0.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.270 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

195 0 158 0 0 98 0 0 0

N.S.

1 0.00 0.81 0.00 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.000 0.218 0.000 0.000 0.287 0.000 0.000 0.000

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

195 0 43491 35837869 0 0 0 0 0

N.S.

1 0.00 223.03 183783.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.511 14.980 0.000 0.000 0.000 0.000 0.000

Problem 2421

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

196 0 188 178 0 368 0 0 0

N.S.

1 0.00 0.96 0.91 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.000 15.790 30.158 0.000 2.870 0.000 0.000 0.000

Problem 2422

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

196 518 209 15782 46 1601 22 46 46

N.S.

1 2.64 1.07 80.52 0.23 8.17 0.11 0.23 0.23

time (sec)

N/A 1.055 0.234 53.246 0.235 0.300 1.080 0.329 6.340

Problem 2423

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

196 101 107 131 0 159 0 0 0

N.S.

1 0.52 0.55 0.67 0.00 0.81 0.00 0.00 0.00

time (sec)

N/A 0.871 0.703 3.454 0.000 0.338 0.000 0.000 0.000

Problem 2424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

196 211 189 403 23 518 20 212 23

N.S.

1 1.08 0.96 2.06 0.12 2.64 0.10 1.08 0.12

time (sec)

N/A 0.566 0.139 0.128 0.222 9.195 0.673 0.699 6.366

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

196 211 189 403 23 518 20 212 23

N.S.

1 1.08 0.96 2.06 0.12 2.64 0.10 1.08 0.12

time (sec)

N/A 0.492 0.002 0.143 0.212 9.195 0.724 0.673 0.002

Problem 2426

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

196 454 196 38 40 1727 34 40 40

N.S.

1 2.32 1.00 0.19 0.20 8.81 0.17 0.20 0.20

time (sec)

N/A 1.534 0.301 0.031 0.314 0.325 2.468 0.522 6.669

Problem 2427

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

196 454 196 38 40 1727 34 40 40

N.S.

1 2.32 1.00 0.19 0.20 8.81 0.17 0.20 0.20

time (sec)

N/A 1.281 0.001 0.004 0.292 0.321 2.516 0.526 0.003

Problem 2428

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

196 0 137 0 0 295 0 0 0

N.S.

1 0.00 0.70 0.00 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.000 6.901 0.000 0.000 14.720 0.000 0.000 0.000

Problem 2429

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

196 0 156 137 37 0 0 37 37

N.S.

1 0.00 0.80 0.70 0.19 0.00 0.00 0.19 0.19

time (sec)

N/A 0.000 0.247 0.181 0.594 0.000 0.000 1.109 6.994

Problem 2430

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

196 0 156 137 37 0 0 37 37

N.S.

1 0.00 0.80 0.70 0.19 0.00 0.00 0.19 0.19

time (sec)

N/A 0.000 0.005 0.173 0.605 0.000 0.000 1.121 0.004

Problem 2431

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

196 0 157 0 0 98 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.000 0.209 0.000 0.000 0.268 0.000 0.000 0.000

Problem 2432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

197 0 157 1411 0 0 0 0 0

N.S.

1 0.00 0.80 7.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.272 13.461 0.000 0.000 0.000 0.000 0.000

Problem 2433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 161 150 143 0 425 1732 206 143

N.S.

1 0.82 0.76 0.73 0.00 2.16 8.79 1.05 0.73

time (sec)

N/A 0.268 1.373 0.326 0.000 0.277 1.797 0.297 6.588

Problem 2434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

197 157 185 3552 0 1271 0 0 0

N.S.

1 0.80 0.94 18.03 0.00 6.45 0.00 0.00 0.00

time (sec)

N/A 0.652 0.779 11.405 0.000 9.479 0.000 0.000 0.000

Problem 2435

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

197 1288 194 38 40 1783 34 40 40

N.S.

1 6.54 0.98 0.19 0.20 9.05 0.17 0.20 0.20

time (sec)

N/A 4.035 0.298 0.028 0.311 0.320 2.282 0.521 7.073

Problem 2436

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

197 1288 194 38 40 1783 34 40 40

N.S.

1 6.54 0.98 0.19 0.20 9.05 0.17 0.20 0.20

time (sec)

N/A 3.509 0.005 0.004 0.297 0.313 2.534 0.536 0.003

Problem 2437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

197 0 159 0 0 108 0 0 0

N.S.

1 0.00 0.81 0.00 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.000 0.280 0.000 0.000 0.257 0.000 0.000 0.000

Problem 2438

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

198 97 168 2399 0 171 0 0 0

N.S.

1 0.49 0.85 12.12 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.182 0.216 10.947 0.000 1.298 0.000 0.000 0.000

Problem 2439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 386 228 219 0 485 0 461 0

N.S.

1 1.95 1.15 1.11 0.00 2.45 0.00 2.33 0.00

time (sec)

N/A 0.570 0.807 0.783 0.000 0.265 0.000 0.373 0.000

Problem 2440

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

198 0 190 180 0 397 0 0 0

N.S.

1 0.00 0.96 0.91 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.000 15.812 19.665 0.000 2.721 0.000 0.000 0.000

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 555 188 144 41 10960 0 41 41

N.S.

1 2.80 0.95 0.73 0.21 55.35 0.00 0.21 0.21

time (sec)

N/A 1.997 4.666 0.359 0.232 0.933 0.000 1.712 6.615

Problem 2442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 555 188 144 41 10960 0 41 41

N.S.

1 2.80 0.95 0.73 0.21 55.35 0.00 0.21 0.21

time (sec)

N/A 1.557 0.003 0.240 0.229 0.884 0.000 1.735 0.002

Problem 2443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 605 192 146 44 17594 0 44 44

N.S.

1 3.06 0.97 0.74 0.22 88.86 0.00 0.22 0.22

time (sec)

N/A 2.344 3.655 0.344 0.255 4.087 0.000 2.052 6.656

Problem 2444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 605 192 146 44 17594 0 44 44

N.S.

1 3.06 0.97 0.74 0.22 88.86 0.00 0.22 0.22

time (sec)

N/A 1.958 0.002 0.247 0.246 4.131 0.000 1.987 0.002

Problem 2445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 359 216 204 0 389 0 373 0

N.S.

1 1.81 1.09 1.03 0.00 1.96 0.00 1.88 0.00

time (sec)

N/A 0.641 1.003 0.519 0.000 0.308 0.000 0.336 0.000

Problem 2446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 0 147 31 0 330 51 0 0

N.S.

1 0.00 0.74 0.16 0.00 1.67 0.26 0.00 0.00

time (sec)

N/A 0.000 0.346 0.032 0.000 176.827 1.092 0.000 0.000

Problem 2447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

198 0 147 0 0 330 49 0 0

N.S.

1 0.00 0.74 0.00 0.00 1.67 0.25 0.00 0.00

time (sec)

N/A 0.000 0.319 0.000 0.000 211.132 1.249 0.000 0.000

Problem 2448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

198 98 143 93 92 94 121 444 0

N.S.

1 0.49 0.72 0.47 0.46 0.47 0.61 2.24 0.00

time (sec)

N/A 0.327 0.151 0.172 0.198 0.347 0.704 2.339 0.000

Problem 2449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

199 163 202 153 0 0 0 195 0

N.S.

1 0.82 1.02 0.77 0.00 0.00 0.00 0.98 0.00

time (sec)

N/A 0.325 5.024 1.043 0.000 0.000 0.000 0.297 0.000

Problem 2450

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

199 943 251 176 22 599 26 968 25

N.S.

1 4.74 1.26 0.88 0.11 3.01 0.13 4.86 0.13

time (sec)

N/A 1.508 0.401 31.371 0.289 0.306 0.837 38.152 6.494

Problem 2451

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

199 943 251 176 22 599 26 968 25

N.S.

1 4.74 1.26 0.88 0.11 3.01 0.13 4.86 0.13

time (sec)

N/A 1.311 0.002 30.821 0.290 0.281 0.918 37.911 0.002

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

199 3746 333 188 34 22726 27 0 35

N.S.

1 18.82 1.67 0.94 0.17 114.20 0.14 0.00 0.18

time (sec)

N/A 7.300 0.292 0.677 0.212 1.988 5.068 0.000 7.240

Problem 2453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

199 3746 333 188 34 22726 27 0 35

N.S.

1 18.82 1.67 0.94 0.17 114.20 0.14 0.00 0.18

time (sec)

N/A 6.918 0.002 0.001 0.245 1.867 5.151 0.000 0.002

Problem 2454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

199 0 313 150 40 536 0 40 40

N.S.

1 0.00 1.57 0.75 0.20 2.69 0.00 0.20 0.20

time (sec)

N/A 0.000 1.305 3.082 0.228 0.373 0.000 0.353 8.452

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

199 0 179 110 0 0 0 0 0

N.S.

1 0.00 0.90 0.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.821 1.184 0.000 0.000 0.000 0.000 0.000

Problem 2456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

199 66 180 121 0 86 0 0 47

N.S.

1 0.33 0.90 0.61 0.00 0.43 0.00 0.00 0.24

time (sec)

N/A 0.587 0.287 0.766 0.000 0.254 0.000 0.000 7.267

Problem 2457

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

199 199 199 0 0 345 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.804 0.247 0.000 0.000 0.270 0.000 0.000 0.000

Problem 2458

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

199 453 194 38 40 1728 34 40 40

N.S.

1 2.28 0.97 0.19 0.20 8.68 0.17 0.20 0.20

time (sec)

N/A 1.602 0.252 0.032 0.318 0.330 3.453 1.388 7.420

Problem 2459

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

199 453 194 38 40 1728 34 40 40

N.S.

1 2.28 0.97 0.19 0.20 8.68 0.17 0.20 0.20

time (sec)

N/A 1.354 0.004 0.003 0.313 0.328 3.496 1.204 0.003

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

200 3786 335 187 32 24658 27 0 32

N.S.

1 18.93 1.68 0.94 0.16 123.29 0.14 0.00 0.16

time (sec)

N/A 6.973 0.270 0.647 0.267 1.956 5.120 0.000 7.148

Problem 2461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

200 3786 335 187 32 24658 27 0 32

N.S.

1 18.93 1.68 0.94 0.16 123.29 0.14 0.00 0.16

time (sec)

N/A 6.665 0.004 0.003 0.218 1.904 5.094 0.000 0.002

Problem 2462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 1160 191 255 0 0 0 0 0

N.S.

1 5.80 0.96 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 6.129 3.284 6.158 0.000 0.000 0.000 0.000 0.000

Problem 2463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

200 0 0 1112 0 344 0 0 0

N.S.

1 0.00 0.00 5.56 0.00 1.72 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 36.655 0.000 44.907 0.000 0.000 0.000

Problem 2464

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

200 589 195 38 40 1776 34 40 40

N.S.

1 2.94 0.98 0.19 0.20 8.88 0.17 0.20 0.20

time (sec)

N/A 2.162 0.240 0.033 0.347 0.322 3.512 1.348 7.149

Problem 2465

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

200 589 195 38 40 1776 34 40 40

N.S.

1 2.94 0.98 0.19 0.20 8.88 0.17 0.20 0.20

time (sec)

N/A 1.850 0.001 0.003 0.337 0.307 3.533 1.524 0.002

Problem 2466

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

200 0 213 0 0 323 0 0 0

N.S.

1 0.00 1.06 0.00 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.000 4.204 0.000 0.000 0.269 0.000 0.000 0.000

Problem 2467

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

201 0 181 0 0 0 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 4.829 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2468

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

201 0 179 0 0 0 0 0 0

N.S.

1 0.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.348 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2469

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

201 0 161 0 0 0 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.489 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2470

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

201 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 2471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 213 176 131 0 1309 0 0 0

N.S.

1 1.06 0.88 0.65 0.00 6.51 0.00 0.00 0.00

time (sec)

N/A 0.571 0.804 11.981 0.000 17.461 0.000 0.000 0.000

Problem 2472

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

203 0 149 168 0 0 0 0 0

N.S.

1 0.00 0.73 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 34.462 1.007 0.000 0.000 0.000 0.000 0.000

Problem 2473

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

203 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 2474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

203 1176 228 206 32 0 0 3 30

N.S.

1 5.79 1.12 1.01 0.16 0.00 0.00 0.01 0.15

time (sec)

N/A 3.943 8.578 0.581 0.253 0.000 0.000 3.185 6.856

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

203 1176 228 206 32 0 0 3 30

N.S.

1 5.79 1.12 1.01 0.16 0.00 0.00 0.01 0.15

time (sec)

N/A 3.767 0.001 0.005 0.216 0.000 0.000 3.196 0.003

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

203 0 203 0 22 0 20 0 22

N.S.

1 0.00 1.00 0.00 0.11 0.00 0.10 0.00 0.11

time (sec)

N/A 0.000 0.464 180.000 0.202 0.000 1.083 0.000 6.941

Problem 2477

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

204 559 227 175 41 1444 31 41 38

N.S.

1 2.74 1.11 0.86 0.20 7.08 0.15 0.20 0.19

time (sec)

N/A 1.174 0.564 4.063 0.219 0.291 2.766 1.814 7.278

Problem 2478

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

204 559 227 175 41 1444 31 41 38

N.S.

1 2.74 1.11 0.86 0.20 7.08 0.15 0.20 0.19

time (sec)

N/A 1.004 0.005 0.000 0.228 0.298 2.698 1.803 0.002

Problem 2479

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

204 563 227 175 37 1462 31 37 37

N.S.

1 2.76 1.11 0.86 0.18 7.17 0.15 0.18 0.18

time (sec)

N/A 1.204 0.505 0.322 0.217 0.354 2.654 1.877 7.009

Problem 2480

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 Yes Yes N/A TBD TBD TBD TBD TBD

size

204 563 227 175 37 1462 31 37 37

N.S.

1 2.76 1.11 0.86 0.18 7.17 0.15 0.18 0.18

time (sec)

N/A 1.058 0.001 0.000 0.229 0.298 2.629 1.795 0.002

Problem 2481

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

204 0 163 0 0 0 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 12.095 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 715 203 113 34 0 31 34 34

N.S.

1 3.50 1.00 0.55 0.17 0.00 0.15 0.17 0.17

time (sec)

N/A 2.959 0.562 0.302 0.250 0.000 72.057 0.365 7.759

Problem 2483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 715 203 113 34 0 31 34 34

N.S.

1 3.50 1.00 0.55 0.17 0.00 0.15 0.17 0.17

time (sec)

N/A 2.798 0.002 0.000 0.230 0.000 70.411 0.352 0.002

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 339 212 105 19 4535 17 0 19

N.S.

1 1.66 1.04 0.51 0.09 22.23 0.08 0.00 0.09

time (sec)

N/A 0.970 0.167 0.099 0.303 3.472 1.410 0.000 6.904

Problem 2485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 339 212 105 19 4535 17 0 19

N.S.

1 1.66 1.04 0.51 0.09 22.23 0.08 0.00 0.09

time (sec)

N/A 0.870 0.001 0.000 0.303 3.339 1.367 0.000 0.002

Problem 2486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 0 212 107 25 36926 22 25 27

N.S.

1 0.00 1.04 0.52 0.12 181.01 0.11 0.12 0.13

time (sec)

N/A 0.000 0.191 0.046 0.212 18.146 1.585 0.421 6.973

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

204 0 212 107 25 36926 22 25 27

N.S.

1 0.00 1.04 0.52 0.12 181.01 0.11 0.12 0.13

time (sec)

N/A 0.000 0.001 0.000 0.212 18.324 1.550 0.430 0.003

Problem 2488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 270 198 223 0 326 0 209 0

N.S.

1 1.32 0.97 1.09 0.00 1.59 0.00 1.02 0.00

time (sec)

N/A 0.600 0.606 1.236 0.000 0.255 0.000 0.298 0.000

Problem 2489

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

205 0 166 138 0 0 0 0 0

N.S.

1 0.00 0.81 0.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.386 1.066 0.000 0.000 0.000 0.000 0.000

Problem 2490

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

206 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 2491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

206 0 128 1366 0 189 0 0 0

N.S.

1 0.00 0.62 6.63 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.000 0.115 1.484 0.000 0.274 0.000 0.000 0.000

Problem 2492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

206 0 184 2717 0 223 0 0 0

N.S.

1 0.00 0.89 13.19 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.000 4.574 17.111 0.000 12.284 0.000 0.000 0.000

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

206 0 184 2717 0 223 0 0 0

N.S.

1 0.00 0.89 13.19 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.000 0.002 0.000 0.000 12.278 0.000 0.000 0.000

Problem 2494

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

206 0 285 255 0 268 0 0 0

N.S.

1 0.00 1.38 1.24 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.000 6.874 17.939 0.000 2.732 0.000 0.000 0.000

Problem 2495

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

207 0 145 0 0 0 0 0 0

N.S.

1 0.00 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.489 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 359 189 204 0 1051 0 308 248

N.S.

1 1.73 0.91 0.99 0.00 5.08 0.00 1.49 1.20

time (sec)

N/A 1.089 0.695 1.242 0.000 0.767 0.000 0.276 14.995

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

207 0 175 87 0 288 0 399 0

N.S.

1 0.00 0.85 0.42 0.00 1.39 0.00 1.93 0.00

time (sec)

N/A 0.000 0.301 0.254 0.000 0.290 0.000 0.497 0.000

Problem 2498

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

208 0 164 0 0 0 0 0 0

N.S.

1 0.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.657 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C 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

208 330 225 189 21 499 24 21 21

N.S.

1 1.59 1.08 0.91 0.10 2.40 0.12 0.10 0.10

time (sec)

N/A 0.566 0.389 55.425 0.307 0.269 0.691 0.313 6.951

Problem 2500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C 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

208 330 225 189 21 499 24 21 21

N.S.

1 1.59 1.08 0.91 0.10 2.40 0.12 0.10 0.10

time (sec)

N/A 0.531 0.003 0.000 0.293 0.277 0.695 0.303 0.002