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

2.2.31 Integrals 3001 to 3100

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 3001

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

401 0 546 36 36 6966 42 0 36

N.S.

1 0.00 1.36 0.09 0.09 17.37 0.10 0.00 0.09

time (sec)

N/A 0.000 0.563 0.014 0.656 1.122 15.773 0.000 6.840

Problem 3002

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

401 0 546 36 36 6966 42 0 36

N.S.

1 0.00 1.36 0.09 0.09 17.37 0.10 0.00 0.09

time (sec)

N/A 0.000 0.008 0.000 0.643 1.129 15.915 0.000 0.004

Problem 3003

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

402 0 444 34 36 3327 39 0 36

N.S.

1 0.00 1.10 0.08 0.09 8.28 0.10 0.00 0.09

time (sec)

N/A 0.000 0.525 0.010 0.630 0.977 9.399 0.000 7.052

Problem 3004

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

402 0 444 34 36 3327 39 0 36

N.S.

1 0.00 1.10 0.08 0.09 8.28 0.10 0.00 0.09

time (sec)

N/A 0.000 0.002 0.000 0.622 0.964 9.309 0.000 0.004

Problem 3005

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

404 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 3006

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

404 0 552 36 36 6878 42 0 36

N.S.

1 0.00 1.37 0.09 0.09 17.02 0.10 0.00 0.09

time (sec)

N/A 0.000 0.504 0.017 0.643 1.148 50.034 0.000 7.434

Problem 3007

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

404 0 552 36 36 6878 42 0 36

N.S.

1 0.00 1.37 0.09 0.09 17.02 0.10 0.00 0.09

time (sec)

N/A 0.000 0.003 0.000 0.709 1.133 50.139 0.000 0.002

Problem 3008

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

405 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 3009

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

406 0 367 41 43 7234 105 0 42

N.S.

1 0.00 0.90 0.10 0.11 17.82 0.26 0.00 0.10

time (sec)

N/A 0.000 0.631 0.016 0.949 1.198 53.868 0.000 7.664

Problem 3010

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

406 0 367 41 43 7234 105 0 42

N.S.

1 0.00 0.90 0.10 0.11 17.82 0.26 0.00 0.10

time (sec)

N/A 0.000 0.001 0.000 0.910 1.208 54.318 0.000 0.002

Problem 3011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

407 249 324 274 0 2014 0 259 0

N.S.

1 0.61 0.80 0.67 0.00 4.95 0.00 0.64 0.00

time (sec)

N/A 2.716 0.674 0.102 0.000 0.322 0.000 0.324 0.000

Problem 3012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

411 503 151 0 0 3059 0 1194 132915

N.S.

1 1.22 0.37 0.00 0.00 7.44 0.00 2.91 323.39

time (sec)

N/A 1.147 10.113 0.000 0.000 1.516 0.000 1.945 56.626

Problem 3013

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

413 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 3014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

415 22 31 24 0 40 0 0 0

N.S.

1 0.05 0.07 0.06 0.00 0.10 0.00 0.00 0.00

time (sec)

N/A 0.282 1.085 0.748 0.000 0.827 0.000 0.000 0.000

Problem 3015

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

415 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 3016

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

417 285 598 307 0 790 0 247 0

N.S.

1 0.68 1.43 0.74 0.00 1.89 0.00 0.59 0.00

time (sec)

N/A 0.400 2.196 1.122 0.000 0.262 0.000 24.516 0.000

Problem 3017

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

421 0 0 44 46 0 41 46 47

N.S.

1 0.00 0.00 0.10 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 0.000 0.027 0.266 0.000 2.216 0.893 7.438

Problem 3018

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

421 0 0 44 46 0 41 46 47

N.S.

1 0.00 0.00 0.10 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 0.000 0.000 0.251 0.000 2.209 0.910 0.002

Problem 3019

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

423 388 172 0 0 301 0 0 0

N.S.

1 0.92 0.41 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.589 0.198 0.000 0.000 0.247 0.000 0.000 0.000

Problem 3020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

423 0 0 0 0 960 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 38.796 0.000 0.000 0.000

Problem 3021

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

425 295 638 323 0 806 0 255 0

N.S.

1 0.69 1.50 0.76 0.00 1.90 0.00 0.60 0.00

time (sec)

N/A 0.422 2.181 1.079 0.000 0.254 0.000 19.914 0.000

Problem 3022

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

428 0 151 150 52 2083 0 0 52

N.S.

1 0.00 0.35 0.35 0.12 4.87 0.00 0.00 0.12

time (sec)

N/A 0.000 2.903 0.463 0.250 89.378 0.000 0.000 7.325

Problem 3023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

428 0 306 37 39 1598 85 0 38

N.S.

1 0.00 0.71 0.09 0.09 3.73 0.20 0.00 0.09

time (sec)

N/A 0.000 0.484 0.020 0.920 0.335 32.494 0.000 7.971

Problem 3024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

428 0 306 37 39 1598 85 0 38

N.S.

1 0.00 0.71 0.09 0.09 3.73 0.20 0.00 0.09

time (sec)

N/A 0.000 0.001 0.000 0.962 0.351 32.346 0.000 0.002

Problem 3025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

429 0 471 388 0 0 0 0 0

N.S.

1 0.00 1.10 0.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.642 321.797 0.000 0.000 0.000 0.000 0.000

Problem 3026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

429 0 470 0 0 0 0 0 0

N.S.

1 0.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.542 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3027

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

431 0 407 0 0 564 0 0 0

N.S.

1 0.00 0.94 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.000 1.208 0.000 0.000 0.290 0.000 0.000 0.000

Problem 3028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

432 160 385 38 0 0 0 0 0

N.S.

1 0.37 0.89 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.555 8.872 0.377 0.000 0.000 0.000 0.000 0.000

Problem 3029

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

433 294 622 325 0 823 0 255 0

N.S.

1 0.68 1.44 0.75 0.00 1.90 0.00 0.59 0.00

time (sec)

N/A 0.407 2.217 0.682 0.000 0.255 0.000 20.196 0.000

Problem 3030

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

434 463 236 0 0 429 0 0 0

N.S.

1 1.07 0.54 0.00 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 1.082 2.637 0.000 0.000 0.248 0.000 0.000 0.000

Problem 3031

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

437 0 633 0 53 0 107 0 34

N.S.

1 0.00 1.45 0.00 0.12 0.00 0.24 0.00 0.08

time (sec)

N/A 0.000 0.936 180.000 0.226 0.000 2.115 0.000 7.324

Problem 3032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

438 335 228 0 0 1146 0 0 0

N.S.

1 0.76 0.52 0.00 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 1.135 0.872 0.000 0.000 0.261 0.000 0.000 0.000

Problem 3033

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

441 306 662 341 0 843 0 263 0

N.S.

1 0.69 1.50 0.77 0.00 1.91 0.00 0.60 0.00

time (sec)

N/A 0.412 2.223 1.168 0.000 0.245 0.000 22.652 0.000

Problem 3034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

445 0 292 0 0 468 0 0 0

N.S.

1 0.00 0.66 0.00 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.000 1.418 0.000 0.000 0.336 0.000 0.000 0.000

Problem 3035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 409 376 44 0 0 0 0 0

N.S.

1 0.91 0.84 0.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.835 10.446 0.226 0.000 0.000 0.000 0.000 0.000

Problem 3036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

448 1077 208 0 0 2886 0 0 0

N.S.

1 2.40 0.46 0.00 0.00 6.44 0.00 0.00 0.00

time (sec)

N/A 2.152 10.974 0.000 0.000 0.309 0.000 0.000 0.000

Problem 3037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

452 50 163 384 0 1089 0 0 0

N.S.

1 0.11 0.36 0.85 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.236 0.775 65.510 0.000 12.592 0.000 0.000 0.000

Problem 3038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

452 50 163 384 0 1089 0 0 0

N.S.

1 0.11 0.36 0.85 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.227 0.001 0.001 0.000 12.314 0.000 0.000 0.000

Problem 3039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

452 51 161 390 0 1141 0 0 0

N.S.

1 0.11 0.36 0.86 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.271 0.702 52.359 0.000 66.619 0.000 0.000 0.000

Problem 3040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

452 565 0 44 0 0 0 0 0

N.S.

1 1.25 0.00 0.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.828 0.000 0.214 0.000 0.000 0.000 0.000 0.000

Problem 3041

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

452 0 744 23 25 3420 27 25 25

N.S.

1 0.00 1.65 0.05 0.06 7.57 0.06 0.06 0.06

time (sec)

N/A 0.000 0.902 0.021 0.619 1.021 11.874 126.447 7.274

Problem 3042

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

452 0 744 23 25 3420 27 25 25

N.S.

1 0.00 1.65 0.05 0.06 7.57 0.06 0.06 0.06

time (sec)

N/A 0.000 0.004 0.000 0.615 1.016 11.796 127.586 0.002

Problem 3043

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

455 0 459 264 39 0 0 39 42

N.S.

1 0.00 1.01 0.58 0.09 0.00 0.00 0.09 0.09

time (sec)

N/A 0.000 0.643 0.137 0.509 0.000 0.000 2.835 7.653

Problem 3044

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

455 0 459 264 39 0 0 39 42

N.S.

1 0.00 1.01 0.58 0.09 0.00 0.00 0.09 0.09

time (sec)

N/A 0.000 0.001 0.000 0.393 0.000 0.000 2.786 0.002

Problem 3045

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

455 0 417 0 0 535 0 0 0

N.S.

1 0.00 0.92 0.00 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.000 1.302 0.000 0.000 0.324 0.000 0.000 0.000

Problem 3046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

456 457 418 42 0 0 0 0 0

N.S.

1 1.00 0.92 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.878 10.507 0.270 0.000 0.000 0.000 0.000 0.000

Problem 3047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

457 0 15065 40 0 0 0 0 0

N.S.

1 0.00 32.96 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 17.588 0.696 0.000 0.000 0.000 0.000 0.000

Problem 3048

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

459 613 179 25543 37 910 39 37 37

N.S.

1 1.34 0.39 55.65 0.08 1.98 0.08 0.08 0.08

time (sec)

N/A 0.990 0.178 15.054 0.284 0.267 0.679 0.295 7.009

Problem 3049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

460 614 0 42 0 0 0 0 0

N.S.

1 1.33 0.00 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.825 0.000 0.272 0.000 0.000 0.000 0.000 0.000

Problem 3050

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

460 0 437 38 40 0 37 40 40

N.S.

1 0.00 0.95 0.08 0.09 0.00 0.08 0.09 0.09

time (sec)

N/A 0.000 2.001 0.017 0.269 0.000 0.801 1.018 7.399

Problem 3051

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

460 0 437 38 40 0 37 40 40

N.S.

1 0.00 0.95 0.08 0.09 0.00 0.08 0.09 0.09

time (sec)

N/A 0.000 0.001 0.001 0.274 0.000 0.812 1.088 0.002

Problem 3052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

463 521 441 1195 31 7282 42 0 31

N.S.

1 1.13 0.95 2.58 0.07 15.73 0.09 0.00 0.07

time (sec)

N/A 1.746 0.874 0.576 0.246 8.245 3.406 0.000 7.145

Problem 3053

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

463 0 451 38 40 0 34 40 40

N.S.

1 0.00 0.97 0.08 0.09 0.00 0.07 0.09 0.09

time (sec)

N/A 0.000 0.891 0.009 0.279 0.000 1.878 0.869 7.539

Problem 3054

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

463 0 451 38 40 0 34 40 40

N.S.

1 0.00 0.97 0.08 0.09 0.00 0.07 0.09 0.09

time (sec)

N/A 0.000 0.004 0.000 0.286 0.000 1.902 0.857 0.003

Problem 3055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

466 0 243 281 0 1023 0 0 0

N.S.

1 0.00 0.52 0.60 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.000 0.421 0.144 0.000 0.283 0.000 0.000 0.000

Problem 3056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

468 193 407 0 0 0 0 0 0

N.S.

1 0.41 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.278 5.596 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

469 138 0 37 0 1936 0 0 0

N.S.

1 0.29 0.00 0.08 0.00 4.13 0.00 0.00 0.00

time (sec)

N/A 0.545 0.000 59.077 0.000 155.829 0.000 0.000 0.000

Problem 3058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

469 138 342 0 0 0 0 0 0

N.S.

1 0.29 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.523 25.294 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

469 138 342 0 0 0 0 0 0

N.S.

1 0.29 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.531 0.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

470 0 378 0 0 431 0 0 0

N.S.

1 0.00 0.80 0.00 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.000 1.072 0.000 0.000 0.419 0.000 0.000 0.000

Problem 3061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

471 0 659 0 0 0 0 0 0

N.S.

1 0.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

472 630 0 44 0 0 0 0 0

N.S.

1 1.33 0.00 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.842 0.000 0.125 0.000 0.000 0.000 0.000 0.000

Problem 3063

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

472 0 454 38 40 0 34 40 40

N.S.

1 0.00 0.96 0.08 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 1.022 0.010 0.310 0.000 2.691 1.997 7.705

Problem 3064

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

472 0 454 38 40 0 34 40 40

N.S.

1 0.00 0.96 0.08 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 0.005 0.001 0.320 0.000 2.641 2.058 0.002

Problem 3065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

476 465 426 44 0 0 0 0 0

N.S.

1 0.98 0.89 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.725 10.454 0.127 0.000 0.000 0.000 0.000 0.000

Problem 3066

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

477 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 3067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

481 335 238 0 0 1826 0 0 0

N.S.

1 0.70 0.49 0.00 0.00 3.80 0.00 0.00 0.00

time (sec)

N/A 0.988 1.165 0.000 0.000 0.271 0.000 0.000 0.000

Problem 3068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

482 451 0 107 0 415 0 0 0

N.S.

1 0.94 0.00 0.22 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 1.271 0.000 0.251 0.000 0.299 0.000 0.000 0.000

Problem 3069

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

495 0 447 0 0 581 0 0 0

N.S.

1 0.00 0.90 0.00 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.000 1.013 0.000 0.000 0.321 0.000 0.000 0.000

Problem 3070

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

496 0 189 5455 0 0 0 0 0

N.S.

1 0.00 0.38 11.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.245 11.599 0.000 0.000 0.000 0.000 0.000

Problem 3071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

497 46 78 51 0 62 0 0 0

N.S.

1 0.09 0.16 0.10 0.00 0.12 0.00 0.00 0.00

time (sec)

N/A 0.357 9.540 2.004 0.000 0.269 0.000 0.000 0.000

Problem 3072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

499 213 444 0 0 0 0 0 0

N.S.

1 0.43 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 6.873 180.000 0.000 0.000 0.000 0.000 0.000

Problem 3073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

501 730 285 0 0 358 0 0 0

N.S.

1 1.46 0.57 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 1.253 1.444 0.000 0.000 0.251 0.000 0.000 0.000

Problem 3074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 160 203 407 0 1108 0 0 0

N.S.

1 0.32 0.41 0.81 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.720 0.968 143.551 0.000 22.030 0.000 0.000 0.000

Problem 3075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 160 203 407 0 1108 0 0 0

N.S.

1 0.32 0.41 0.81 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.684 0.001 139.445 0.000 22.035 0.000 0.000 0.000

Problem 3076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 162 203 408 0 1108 0 0 0

N.S.

1 0.32 0.41 0.81 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.659 0.884 125.729 0.000 20.919 0.000 0.000 0.000

Problem 3077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

501 162 203 408 0 1108 0 0 0

N.S.

1 0.32 0.41 0.81 0.00 2.21 0.00 0.00 0.00

time (sec)

N/A 0.662 0.002 132.215 0.000 20.756 0.000 0.000 0.000

Problem 3078

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

506 337 694 409 0 408 0 322 0

N.S.

1 0.67 1.37 0.81 0.00 0.81 0.00 0.64 0.00

time (sec)

N/A 0.416 1.952 0.769 0.000 0.257 0.000 23.246 0.000

Problem 3079

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

507 0 507 0 0 679 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.000 1.568 0.000 0.000 0.314 0.000 0.000 0.000

Problem 3080

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

514 0 298 0 0 0 0 0 0

N.S.

1 0.00 0.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 16.595 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3081

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

514 0 477 41 43 7760 82 0 42

N.S.

1 0.00 0.93 0.08 0.08 15.10 0.16 0.00 0.08

time (sec)

N/A 0.000 0.607 0.012 0.891 1.271 67.052 0.000 8.191

Problem 3082

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

514 0 477 41 43 7760 82 0 42

N.S.

1 0.00 0.93 0.08 0.08 15.10 0.16 0.00 0.08

time (sec)

N/A 0.000 0.009 0.000 0.903 1.301 66.629 0.000 0.003

Problem 3083

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

515 0 455 0 0 554 0 0 0

N.S.

1 0.00 0.88 0.00 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.000 1.155 0.000 0.000 0.317 0.000 0.000 0.000

Problem 3084

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

518 276 138 146 0 652 0 92 0

N.S.

1 0.53 0.27 0.28 0.00 1.26 0.00 0.18 0.00

time (sec)

N/A 1.390 0.122 33.289 0.000 0.262 0.000 0.296 0.000

Problem 3085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

520 2475 799 41 43 10224 0 43 43

N.S.

1 4.76 1.54 0.08 0.08 19.66 0.00 0.08 0.08

time (sec)

N/A 9.559 1.053 0.016 0.339 24.926 0.000 0.441 8.039

Problem 3086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

520 2475 799 41 43 10224 0 43 43

N.S.

1 4.76 1.54 0.08 0.08 19.66 0.00 0.08 0.08

time (sec)

N/A 8.810 0.001 0.001 0.336 25.481 0.000 0.435 0.003

Problem 3087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

524 777 54 49 0 0 0 0 0

N.S.

1 1.48 0.10 0.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.482 0.873 1.392 0.000 0.000 0.000 0.000 0.000

Problem 3088

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

526 347 495 429 0 437 0 339 0

N.S.

1 0.66 0.94 0.82 0.00 0.83 0.00 0.64 0.00

time (sec)

N/A 0.408 2.116 0.544 0.000 0.291 0.000 19.270 0.000

Problem 3089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

526 471 469 0 0 432 0 0 0

N.S.

1 0.90 0.89 0.00 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.633 1.425 0.000 0.000 0.301 0.000 0.000 0.000

Problem 3090

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

530 0 174 0 0 0 0 0 0

N.S.

1 0.00 0.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.713 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

535 490 477 0 0 562 0 0 0

N.S.

1 0.92 0.89 0.00 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 1.997 1.625 0.000 0.000 0.293 0.000 0.000 0.000

Problem 3092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

540 522 481 0 0 486 0 0 0

N.S.

1 0.97 0.89 0.00 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.674 1.712 0.000 0.000 0.262 0.000 0.000 0.000

Problem 3093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

541 335 254 0 0 323 0 0 0

N.S.

1 0.62 0.47 0.00 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.985 0.304 0.000 0.000 0.265 0.000 0.000 0.000

Problem 3094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

541 335 254 0 0 323 0 0 0

N.S.

1 0.62 0.47 0.00 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.915 0.009 0.000 0.000 0.256 0.000 0.000 0.000

Problem 3095

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

541 0 208 0 0 0 0 0 0

N.S.

1 0.00 0.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.604 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3096

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

543 386 174 0 0 662 0 0 0

N.S.

1 0.71 0.32 0.00 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.582 0.197 0.000 0.000 0.273 0.000 0.000 0.000

Problem 3097

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

549 0 392 40 42 0 39 42 42

N.S.

1 0.00 0.71 0.07 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 0.928 0.013 0.268 0.000 0.627 1.017 8.708

Problem 3098

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

549 0 392 40 42 0 39 42 42

N.S.

1 0.00 0.71 0.07 0.08 0.00 0.07 0.08 0.08

time (sec)

N/A 0.000 0.002 0.000 0.288 0.000 0.632 0.952 0.003

Problem 3099

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

553 0 436 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 4.627 0.000 0.000 0.000 0.000 0.000 0.000

Problem 3100

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

561 659 535 0 0 3633 0 0 0

N.S.

1 1.17 0.95 0.00 0.00 6.48 0.00 0.00 0.00

time (sec)

N/A 4.438 2.340 0.000 0.000 170.247 0.000 0.000 0.000

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