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

2.2.30 Integrals 2901 to 3000

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 2901

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

size

321 710 324 38 40 10253 39 40 40

N.S.

1 2.21 1.01 0.12 0.12 31.94 0.12 0.12 0.12

time (sec)

N/A 3.034 0.580 0.022 0.348 20.874 29.724 0.448 7.460

Problem 2902

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

size

321 710 324 38 40 10253 39 40 40

N.S.

1 2.21 1.01 0.12 0.12 31.94 0.12 0.12 0.12

time (sec)

N/A 2.802 0.001 0.000 0.341 20.913 29.591 0.443 0.002

Problem 2903

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

size

323 1348 340 178 30 1365 22 0 31

N.S.

1 4.17 1.05 0.55 0.09 4.23 0.07 0.00 0.10

time (sec)

N/A 5.141 0.561 0.559 0.243 0.307 1.963 0.000 7.142

Problem 2904

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

size

323 1348 340 178 30 1365 22 0 31

N.S.

1 4.17 1.05 0.55 0.09 4.23 0.07 0.00 0.10

time (sec)

N/A 4.817 0.002 0.537 0.246 0.301 1.958 0.000 0.002

Problem 2905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

323 0 682 41 41 6976 48 0 41

N.S.

1 0.00 2.11 0.13 0.13 21.60 0.15 0.00 0.13

time (sec)

N/A 0.000 0.601 0.020 0.896 1.125 43.443 0.000 7.539

Problem 2906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

323 0 682 41 41 6976 48 0 41

N.S.

1 0.00 2.11 0.13 0.13 21.60 0.15 0.00 0.13

time (sec)

N/A 0.000 0.006 0.001 0.900 1.113 43.692 0.000 0.003

Problem 2907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

324 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 2908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 564 296 272 0 0 0 0 0

N.S.

1 1.74 0.91 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.166 1.828 111.852 0.000 0.000 0.000 0.000 0.000

Problem 2909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

326 341 279 0 0 429 0 0 0

N.S.

1 1.05 0.86 0.00 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 1.032 0.381 0.000 0.000 0.267 0.000 0.000 0.000

Problem 2910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

327 1400 338 195 34 6380 27 243 34

N.S.

1 4.28 1.03 0.60 0.10 19.51 0.08 0.74 0.10

time (sec)

N/A 4.703 1.011 0.601 0.213 3.073 4.684 5.051 7.498

Problem 2911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

327 1400 338 195 34 6380 27 243 34

N.S.

1 4.28 1.03 0.60 0.10 19.51 0.08 0.74 0.10

time (sec)

N/A 4.772 0.005 0.001 0.211 3.049 4.701 5.011 0.002

Problem 2912

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

328 737 312 216 0 470 0 0 0

N.S.

1 2.25 0.95 0.66 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 2.083 0.692 29.374 0.000 1.617 0.000 0.000 0.000

Problem 2913

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

328 0 323 42 44 0 37 44 46

N.S.

1 0.00 0.98 0.13 0.13 0.00 0.11 0.13 0.14

time (sec)

N/A 0.000 2.040 0.475 0.298 0.000 0.884 13.912 7.257

Problem 2914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F B B

verified

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

size

329 658 171 0 487 4866 0 1490 1566

N.S.

1 2.00 0.52 0.00 1.48 14.79 0.00 4.53 4.76

time (sec)

N/A 0.866 10.157 0.000 0.283 0.376 0.000 1.349 8.907

Problem 2915

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

329 20 52 23 0 51 0 0 0

N.S.

1 0.06 0.16 0.07 0.00 0.16 0.00 0.00 0.00

time (sec)

N/A 0.280 1.143 1.184 0.000 0.303 0.000 0.000 0.000

Problem 2916

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

330 261 304 6693 0 305 0 0 0

N.S.

1 0.79 0.92 20.28 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.586 0.723 37.760 0.000 0.269 0.000 0.000 0.000

Problem 2917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

330 0 755 0 0 0 0 0 0

N.S.

1 0.00 2.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 20.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2918

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 Yes Yes Yes TBD TBD TBD TBD TBD

size

331 263 310 255 0 0 0 300 0

N.S.

1 0.79 0.94 0.77 0.00 0.00 0.00 0.91 0.00

time (sec)

N/A 0.589 10.361 0.839 0.000 0.000 0.000 0.332 0.000

Problem 2919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

332 139 310 0 0 0 0 0 0

N.S.

1 0.42 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.259 2.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2920

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

333 0 331 172 42 745 105 42 42

N.S.

1 0.00 0.99 0.52 0.13 2.24 0.32 0.13 0.13

time (sec)

N/A 0.000 1.058 3.816 0.252 1.772 127.474 0.348 7.679

Problem 2921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 336 295 368 0 707 0 0 0

N.S.

1 1.01 0.88 1.10 0.00 2.12 0.00 0.00 0.00

time (sec)

N/A 0.628 1.487 0.404 0.000 47.040 0.000 0.000 0.000

Problem 2922

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

334 880 383 252 38 0 31 38 38

N.S.

1 2.63 1.15 0.75 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 3.142 0.990 0.707 0.217 0.000 15.340 1.421 7.536

Problem 2923

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

334 880 383 252 38 0 31 38 38

N.S.

1 2.63 1.15 0.75 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 2.930 0.004 0.002 0.226 0.000 15.425 1.341 0.003

Problem 2924

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

337 441 339 161 29 5812 27 0 29

N.S.

1 1.31 1.01 0.48 0.09 17.25 0.08 0.00 0.09

time (sec)

N/A 1.698 0.265 0.159 0.329 9.952 11.721 0.000 7.972

Problem 2925

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

337 441 339 161 29 5812 27 0 29

N.S.

1 1.31 1.01 0.48 0.09 17.25 0.08 0.00 0.09

time (sec)

N/A 1.510 0.001 0.156 0.336 9.871 11.761 0.000 0.003

Problem 2926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

337 776 327 0 243 2052 177 929 540

N.S.

1 2.30 0.97 0.00 0.72 6.09 0.53 2.76 1.60

time (sec)

N/A 2.457 0.792 180.000 0.260 1.075 102.661 1.015 7.760

Problem 2927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 993 401 333 0 325 0 572 0

N.S.

1 2.93 1.18 0.98 0.00 0.96 0.00 1.69 0.00

time (sec)

N/A 1.090 3.806 7.013 0.000 0.269 0.000 0.340 0.000

Problem 2928

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

340 0 212 0 0 0 0 0 0

N.S.

1 0.00 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.693 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2929

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

342 913 401 279 39 0 31 39 39

N.S.

1 2.67 1.17 0.82 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 3.100 0.992 0.582 0.219 0.000 14.665 1.426 7.102

Problem 2930

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

342 913 401 279 39 0 31 39 39

N.S.

1 2.67 1.17 0.82 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 3.010 0.002 0.000 0.250 0.000 14.796 1.427 0.003

Problem 2931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

343 1106 417 520 42 0 37 0 42

N.S.

1 3.22 1.22 1.52 0.12 0.00 0.11 0.00 0.12

time (sec)

N/A 3.065 0.562 0.318 0.226 0.000 2.726 0.000 7.388

Problem 2932

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

343 901 405 280 38 0 31 38 38

N.S.

1 2.63 1.18 0.82 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 2.970 0.965 0.434 0.219 0.000 13.457 1.380 7.015

Problem 2933

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

343 901 405 280 38 0 31 38 38

N.S.

1 2.63 1.18 0.82 0.11 0.00 0.09 0.11 0.11

time (sec)

N/A 2.817 0.001 0.000 0.218 0.000 13.453 1.367 0.002

Problem 2934

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

343 0 270 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 25.327 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

345 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 2936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

346 1415 380 215 41 0 31 252 39

N.S.

1 4.09 1.10 0.62 0.12 0.00 0.09 0.73 0.11

time (sec)

N/A 4.706 1.078 0.407 0.213 0.000 12.000 44.178 7.129

Problem 2937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

346 1415 380 215 41 0 31 252 39

N.S.

1 4.09 1.10 0.62 0.12 0.00 0.09 0.73 0.11

time (sec)

N/A 4.509 0.004 0.000 0.229 0.000 12.106 44.020 0.002

Problem 2938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

347 0 0 0 0 811 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 2.34 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.453 0.000 0.000 0.000

Problem 2939

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

348 1370 205 36 38 12728 34 38 38

N.S.

1 3.94 0.59 0.10 0.11 36.57 0.10 0.11 0.11

time (sec)

N/A 4.202 0.381 0.010 0.309 2.039 1.931 0.566 7.218

Problem 2940

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

size

349 683 359 36 38 10165 37 38 38

N.S.

1 1.96 1.03 0.10 0.11 29.13 0.11 0.11 0.11

time (sec)

N/A 2.443 0.521 0.016 0.323 16.264 24.238 0.354 7.502

Problem 2941

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

size

349 683 359 36 38 10165 37 38 38

N.S.

1 1.96 1.03 0.10 0.11 29.13 0.11 0.11 0.11

time (sec)

N/A 2.299 0.001 0.000 0.325 16.153 24.010 0.392 0.002

Problem 2942

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 Yes TBD TBD TBD TBD TBD

size

351 196 331 37 0 2012 0 0 0

N.S.

1 0.56 0.94 0.11 0.00 5.73 0.00 0.00 0.00

time (sec)

N/A 0.628 2.746 33.642 0.000 132.860 0.000 0.000 0.000

Problem 2943

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

351 0 407 0 0 0 0 0 0

N.S.

1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.969 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

351 0 0 53 55 0 49 55 55

N.S.

1 0.00 0.00 0.15 0.16 0.00 0.14 0.16 0.16

time (sec)

N/A 0.000 0.000 0.011 0.302 0.000 2.288 1.603 7.919

Problem 2945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

351 0 0 53 55 0 49 55 55

N.S.

1 0.00 0.00 0.15 0.16 0.00 0.14 0.16 0.16

time (sec)

N/A 0.000 0.000 0.000 0.311 0.000 2.251 1.653 0.003

Problem 2946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

352 0 288 435 0 14643 0 0 0

N.S.

1 0.00 0.82 1.24 0.00 41.60 0.00 0.00 0.00

time (sec)

N/A 0.000 2.607 2.184 0.000 11.912 0.000 0.000 0.000

Problem 2947

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

352 0 226 203 0 0 0 0 0

N.S.

1 0.00 0.64 0.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.435 0.277 0.000 0.000 0.000 0.000 0.000

Problem 2948

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

352 0 223 278 0 0 0 0 0

N.S.

1 0.00 0.63 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.485 0.315 0.000 0.000 0.000 0.000 0.000

Problem 2949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

352 0 129 169 40 607 0 0 40

N.S.

1 0.00 0.37 0.48 0.11 1.72 0.00 0.00 0.11

time (sec)

N/A 0.000 1.334 0.602 0.247 3.160 0.000 0.000 7.461

Problem 2950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

354 166 301 0 0 0 0 0 0

N.S.

1 0.47 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.450 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2951

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

354 0 295 494 84 0 95 64 64

N.S.

1 0.00 0.83 1.40 0.24 0.00 0.27 0.18 0.18

time (sec)

N/A 0.000 0.163 135.562 0.228 0.000 3.510 0.281 8.628

Problem 2952

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

355 0 250 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 13.717 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2953

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

356 0 383 218 0 418 0 0 0

N.S.

1 0.00 1.08 0.61 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.000 0.808 26.893 0.000 1.621 0.000 0.000 0.000

Problem 2954

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

357 0 606 32 32 6616 37 32 32

N.S.

1 0.00 1.70 0.09 0.09 18.53 0.10 0.09 0.09

time (sec)

N/A 0.000 0.565 0.026 0.595 1.197 23.199 124.946 7.554

Problem 2955

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

357 0 606 32 32 6616 37 32 32

N.S.

1 0.00 1.70 0.09 0.09 18.53 0.10 0.09 0.09

time (sec)

N/A 0.000 0.001 0.000 0.656 1.169 23.038 125.451 0.003

Problem 2956

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

357 0 511 32 32 6606 37 32 32

N.S.

1 0.00 1.43 0.09 0.09 18.50 0.10 0.09 0.09

time (sec)

N/A 0.000 0.472 0.016 0.599 1.127 6.329 123.893 7.422

Problem 2957

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

357 0 511 32 32 6606 37 32 32

N.S.

1 0.00 1.43 0.09 0.09 18.50 0.10 0.09 0.09

time (sec)

N/A 0.000 0.001 0.000 0.592 1.136 6.308 124.627 0.002

Problem 2958

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

357 0 511 32 32 6606 37 32 32

N.S.

1 0.00 1.43 0.09 0.09 18.50 0.10 0.09 0.09

time (sec)

N/A 0.000 0.001 0.000 0.581 1.116 6.397 123.832 0.002

Problem 2959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 299 316 523 0 854 0 0 0

N.S.

1 0.83 0.87 1.44 0.00 2.36 0.00 0.00 0.00

time (sec)

N/A 0.593 1.640 0.167 0.000 14.607 0.000 0.000 0.000

Problem 2960

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

362 0 348 0 0 635 0 0 0

N.S.

1 0.00 0.96 0.00 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.000 4.366 0.000 0.000 4.760 0.000 0.000 0.000

Problem 2961

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 Yes Yes Yes TBD TBD TBD TBD TBD

size

363 146 137 214 0 0 0 127 0

N.S.

1 0.40 0.38 0.59 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.457 0.318 0.052 0.000 0.000 0.000 0.636 0.000

Problem 2962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

366 1255 454 372 37 7889 27 310 37

N.S.

1 3.43 1.24 1.02 0.10 21.55 0.07 0.85 0.10

time (sec)

N/A 4.814 1.169 0.408 0.230 10.591 5.682 5.828 7.217

Problem 2963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

366 1255 454 372 37 7889 27 310 37

N.S.

1 3.43 1.24 1.02 0.10 21.55 0.07 0.85 0.10

time (sec)

N/A 4.421 0.008 0.000 0.234 10.535 5.643 5.891 0.002

Problem 2964

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

366 0 364 187 42 1303 0 42 42

N.S.

1 0.00 0.99 0.51 0.11 3.56 0.00 0.11 0.11

time (sec)

N/A 0.000 2.105 2.908 0.289 1.237 0.000 0.393 7.452

Problem 2965

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

366 0 364 187 42 1303 0 42 42

N.S.

1 0.00 0.99 0.51 0.11 3.56 0.00 0.11 0.11

time (sec)

N/A 0.000 0.001 0.000 0.288 1.231 0.000 0.404 0.003

Problem 2966

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 Yes Yes Yes TBD TBD TBD TBD TBD

size

367 312 411 331 0 0 0 354 0

N.S.

1 0.85 1.12 0.90 0.00 0.00 0.00 0.96 0.00

time (sec)

N/A 0.728 9.062 0.666 0.000 0.000 0.000 0.309 0.000

Problem 2967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

367 0 367 208 82 606 0 0 11152

N.S.

1 0.00 1.00 0.57 0.22 1.65 0.00 0.00 30.39

time (sec)

N/A 0.000 0.417 0.222 0.282 0.608 0.000 0.000 21.098

Problem 2968

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

369 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 2969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

370 0 504 0 0 735 0 0 0

N.S.

1 0.00 1.36 0.00 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.000 3.593 0.000 0.000 10.480 0.000 0.000 0.000

Problem 2970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

371 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 2971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

375 0 311 37 39 974 85 0 38

N.S.

1 0.00 0.83 0.10 0.10 2.60 0.23 0.00 0.10

time (sec)

N/A 0.000 0.502 0.016 0.870 0.301 43.626 0.000 8.167

Problem 2972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

375 0 311 37 39 974 85 0 38

N.S.

1 0.00 0.83 0.10 0.10 2.60 0.23 0.00 0.10

time (sec)

N/A 0.000 0.005 0.000 0.957 0.302 43.587 0.000 0.002

Problem 2973

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

376 455 517 276 44 777 126 44 44

N.S.

1 1.21 1.38 0.73 0.12 2.07 0.34 0.12 0.12

time (sec)

N/A 3.945 1.638 10.214 0.443 1.689 34.098 0.354 7.987

Problem 2974

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

376 0 364 40 42 0 39 42 42

N.S.

1 0.00 0.97 0.11 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 7.880 0.014 0.252 0.000 2.530 1.167 7.814

Problem 2975

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

376 0 364 40 42 0 39 42 42

N.S.

1 0.00 0.97 0.11 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 0.001 0.000 0.287 0.000 2.581 1.251 0.003

Problem 2976

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

380 0 383 203 31 0 0 30 28

N.S.

1 0.00 1.01 0.53 0.08 0.00 0.00 0.08 0.07

time (sec)

N/A 0.000 0.265 0.038 0.302 0.000 0.000 0.576 7.596

Problem 2977

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

380 0 383 203 31 0 0 30 28

N.S.

1 0.00 1.01 0.53 0.08 0.00 0.00 0.08 0.07

time (sec)

N/A 0.000 0.002 0.000 0.307 0.000 0.000 0.567 0.003

Problem 2978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

383 0 0 260 0 0 0 0 0

N.S.

1 0.00 0.00 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.013 0.000 0.000 0.000 0.000 0.000

Problem 2979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

383 0 297 258 0 0 0 0 0

N.S.

1 0.00 0.78 0.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.098 0.763 0.000 0.000 0.000 0.000 0.000

Problem 2980

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

383 0 537 0 0 563 0 0 0

N.S.

1 0.00 1.40 0.00 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.000 10.649 0.000 0.000 0.337 0.000 0.000 0.000

Problem 2981

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

383 0 383 0 0 210 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.000 0.815 0.000 0.000 0.251 0.000 0.000 0.000

Problem 2982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

384 869 13171 0 0 2872 0 0 0

N.S.

1 2.26 34.30 0.00 0.00 7.48 0.00 0.00 0.00

time (sec)

N/A 1.938 40.286 0.000 0.000 0.299 0.000 0.000 0.000

Problem 2983

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 Yes Yes Yes TBD TBD TBD TBD TBD

size

385 315 414 330 0 0 0 372 0

N.S.

1 0.82 1.08 0.86 0.00 0.00 0.00 0.97 0.00

time (sec)

N/A 0.778 9.162 0.603 0.000 0.000 0.000 0.385 0.000

Problem 2984

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

387 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 2985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A C F B B

verified

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

size

388 351 155 0 535 6825 0 1632 532

N.S.

1 0.90 0.40 0.00 1.38 17.59 0.00 4.21 1.37

time (sec)

N/A 0.530 10.112 0.000 0.265 0.394 0.000 1.352 8.802

Problem 2986

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

388 0 381 32 198 0 31 34 34

N.S.

1 0.00 0.98 0.08 0.51 0.00 0.08 0.09 0.09

time (sec)

N/A 0.000 1.003 0.254 0.348 0.000 1.391 4.769 7.102

Problem 2987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

390 0 408 65 0 2118 0 0 0

N.S.

1 0.00 1.05 0.17 0.00 5.43 0.00 0.00 0.00

time (sec)

N/A 0.000 3.282 68.112 0.000 143.787 0.000 0.000 0.000

Problem 2988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

390 433 367 0 0 319 0 0 0

N.S.

1 1.11 0.94 0.00 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 1.891 0.774 0.000 0.000 0.277 0.000 0.000 0.000

Problem 2989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

392 0 689 32 32 6658 37 0 32

N.S.

1 0.00 1.76 0.08 0.08 16.98 0.09 0.00 0.08

time (sec)

N/A 0.000 0.651 0.019 0.599 1.125 47.278 0.000 6.865

Problem 2990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

392 0 689 32 32 6658 37 0 32

N.S.

1 0.00 1.76 0.08 0.08 16.98 0.09 0.00 0.08

time (sec)

N/A 0.000 0.005 0.000 0.588 1.102 47.335 0.000 0.002

Problem 2991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

392 0 689 32 32 6658 37 0 32

N.S.

1 0.00 1.76 0.08 0.08 16.98 0.09 0.00 0.08

time (sec)

N/A 0.000 0.001 0.000 0.573 1.081 47.390 0.000 0.002

Problem 2992

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

size

394 621 399 39 41 10117 46 41 41

N.S.

1 1.58 1.01 0.10 0.10 25.68 0.12 0.10 0.10

time (sec)

N/A 2.708 0.607 0.010 0.337 13.023 35.267 0.483 6.849

Problem 2993

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

size

394 621 399 39 41 10117 46 41 41

N.S.

1 1.58 1.01 0.10 0.10 25.68 0.12 0.10 0.10

time (sec)

N/A 2.417 0.001 0.000 0.348 13.122 35.487 0.471 0.002

Problem 2994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

397 499 391 0 0 328 0 0 0

N.S.

1 1.26 0.98 0.00 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 1.772 0.782 0.000 0.000 0.255 0.000 0.000 0.000

Problem 2995

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

398 0 367 29 31 0 27 31 31

N.S.

1 0.00 0.92 0.07 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 2.092 0.008 0.253 0.000 0.525 0.520 7.324

Problem 2996

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

398 0 367 29 31 0 27 31 31

N.S.

1 0.00 0.92 0.07 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 0.001 0.000 0.247 0.000 0.527 0.527 0.002

Problem 2997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

399 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 2998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

399 0 307 40 0 3667 0 0 0

N.S.

1 0.00 0.77 0.10 0.00 9.19 0.00 0.00 0.00

time (sec)

N/A 0.000 2.989 0.994 0.000 6.401 0.000 0.000 0.000

Problem 2999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

399 0 427 34 36 3329 39 0 36

N.S.

1 0.00 1.07 0.09 0.09 8.34 0.10 0.00 0.09

time (sec)

N/A 0.000 0.579 0.008 0.608 1.032 3.638 0.000 6.961

Problem 3000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

399 0 427 34 36 3329 39 0 36

N.S.

1 0.00 1.07 0.09 0.09 8.34 0.10 0.00 0.09

time (sec)

N/A 0.000 0.004 0.001 0.603 0.984 3.620 0.000 0.004

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