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

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 34 73 0 55 0 35 -1

N.S.

1 1.00 1.55 3.32 0.00 2.50 0.00 1.59 -0.05

time (sec)

N/A 0.054 0.072 1.424 0.000 0.384 0.000 0.412 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 86 94 58 107 753 58 57

N.S.

1 1.00 1.21 1.32 0.82 1.51 10.61 0.82 0.80

time (sec)

N/A 0.034 0.152 1.089 0.277 0.379 2.650 0.414 1.660

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 84 97 57 110 806 58 57

N.S.

1 1.00 1.09 1.26 0.74 1.43 10.47 0.75 0.74

time (sec)

N/A 0.031 0.128 1.084 0.261 0.402 2.857 0.406 1.688

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 103 121 99 134 1321 79 75

N.S.

1 1.00 1.20 1.41 1.15 1.56 15.36 0.92 0.87

time (sec)

N/A 0.050 0.208 1.063 0.258 0.408 2.930 0.407 1.718

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 86 91 65 59 852 49 48

N.S.

1 1.00 1.12 1.18 0.84 0.77 11.06 0.64 0.62

time (sec)

N/A 0.032 0.170 1.111 0.261 0.461 2.840 0.417 0.122

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 86 92 62 56 904 48 47

N.S.

1 1.00 1.10 1.18 0.79 0.72 11.59 0.62 0.60

time (sec)

N/A 0.031 0.112 1.102 0.268 0.378 2.679 0.395 1.587

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 102 112 105 70 1420 69 64

N.S.

1 1.00 1.26 1.38 1.30 0.86 17.53 0.85 0.79

time (sec)

N/A 0.050 0.204 1.114 0.276 0.362 3.285 0.399 1.628

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

3 3 3 72 35 19 172 5 5

N.S.

1 1.00 1.00 24.00 11.67 6.33 57.33 1.67 1.67

time (sec)

N/A 0.011 0.005 1.392 0.464 0.406 3.715 0.397 0.045

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 8 36 8 40 48 10 10

N.S.

1 1.00 0.73 3.27 0.73 3.64 4.36 0.91 0.91

time (sec)

N/A 0.016 0.003 1.110 0.265 0.365 0.669 0.406 1.550

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 22 123 64 304 3602 46 28

N.S.

1 1.00 0.85 4.73 2.46 11.69 138.54 1.77 1.08

time (sec)

N/A 0.018 0.006 1.355 0.473 0.413 143.402 0.409 1.557

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 10 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 10.00 1.00 1.00

time (sec)

N/A 0.010 0.000 0.721 0.267 0.465 0.193 0.411 1.522

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 22 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 22.00 1.00 1.00

time (sec)

N/A 0.009 0.000 0.986 0.252 0.367 0.316 0.415 0.037

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 34 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 34.00 1.00 1.00

time (sec)

N/A 0.010 0.000 0.939 0.264 0.380 0.624 0.409 0.020

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.008 0.000 0.736 0.254 0.402 0.000 0.413 1.569

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.009 0.000 0.750 0.269 0.371 0.000 0.410 1.567

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.009 0.000 0.745 0.260 0.406 0.000 0.391 1.506

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 54 64 70 0 41 56

N.S.

1 1.00 1.00 2.84 3.37 3.68 0.00 2.16 2.95

time (sec)

N/A 0.021 0.031 1.207 0.476 0.411 0.000 0.418 0.170

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 42 108 88 266 0 63 78

N.S.

1 1.00 1.35 3.48 2.84 8.58 0.00 2.03 2.52

time (sec)

N/A 0.034 0.083 1.197 0.479 0.382 0.000 0.424 1.613

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 66 140 114 717 0 77 114

N.S.

1 1.00 1.22 2.59 2.11 13.28 0.00 1.43 2.11

time (sec)

N/A 0.040 0.151 1.231 0.483 0.416 0.000 0.408 0.072

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 156 36 67 0 36 54

N.S.

1 1.00 1.00 8.67 2.00 3.72 0.00 2.00 3.00

time (sec)

N/A 0.020 0.031 1.163 0.486 0.391 0.000 0.393 0.150

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 64 183 60 262 0 60 77

N.S.

1 1.00 2.00 5.72 1.88 8.19 0.00 1.88 2.41

time (sec)

N/A 0.030 0.070 1.187 0.487 0.402 0.000 0.406 0.057

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 66 199 84 715 0 72 112

N.S.

1 1.00 1.22 3.69 1.56 13.24 0.00 1.33 2.07

time (sec)

N/A 0.051 0.144 1.201 0.487 0.463 0.000 0.404 1.667

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.011 0.000 0.736 0.275 0.413 0.000 0.400 0.066

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.010 0.000 0.769 0.273 0.408 0.000 0.406 0.025

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1 1 1 8 1 1 0 1 1

N.S.

1 1.00 1.00 8.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.011 0.000 0.786 0.259 0.366 0.000 0.392 1.540

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 217 74 0 3313 0 1 -1

N.S.

1 1.00 0.80 0.27 0.00 12.23 0.00 0.00 -0.00

time (sec)

N/A 0.580 0.463 1.946 0.000 0.516 0.000 53.419 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 244 70 0 3309 0 1 -1

N.S.

1 1.00 0.87 0.25 0.00 11.82 0.00 0.00 -0.00

time (sec)

N/A 0.476 0.333 2.333 0.000 0.513 0.000 284.450 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 283 108 0 4943 0 5 -1

N.S.

1 1.00 0.92 0.35 0.00 16.00 0.00 0.02 -0.00

time (sec)

N/A 0.756 0.376 2.513 0.000 0.713 0.000 0.803 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 363 326 144 0 6680 0 24 -1

N.S.

1 1.00 0.90 0.40 0.00 18.40 0.00 0.07 -0.00

time (sec)

N/A 3.464 0.561 3.345 0.000 1.232 0.000 0.867 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 14 36 225 57 0 28 48

N.S.

1 1.00 1.17 3.00 18.75 4.75 0.00 2.33 4.00

time (sec)

N/A 0.058 0.027 0.889 0.476 0.394 0.000 0.431 1.913

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

300 300 258 79 0 15745 0 1 -1

N.S.

1 1.00 0.86 0.26 0.00 52.48 0.00 0.00 -0.00

time (sec)

N/A 0.505 0.355 7.141 0.000 2.852 0.000 1.600 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 198 208 0 3485 0 1 -1

N.S.

1 1.00 0.89 0.93 0.00 15.63 0.00 0.00 -0.00

time (sec)

N/A 0.396 0.386 1.687 0.000 0.522 0.000 52.073 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 227 204 0 3505 0 1 -1

N.S.

1 1.00 0.99 0.89 0.00 15.24 0.00 0.00 -0.00

time (sec)

N/A 0.388 0.334 1.627 0.000 0.548 0.000 290.847 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 264 274 0 5079 0 5 -1

N.S.

1 1.00 1.04 1.07 0.00 19.92 0.00 0.02 -0.00

time (sec)

N/A 0.857 0.362 2.264 0.000 0.703 0.000 0.804 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 309 354 0 6794 0 24 -1

N.S.

1 1.00 1.03 1.18 0.00 22.72 0.00 0.08 -0.00

time (sec)

N/A 4.589 0.509 2.998 0.000 1.182 0.000 0.874 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 29 0 54 0 26 51

N.S.

1 1.00 1.00 2.64 0.00 4.91 0.00 2.36 4.64

time (sec)

N/A 0.057 0.038 0.646 0.000 0.400 0.000 0.410 1.926

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 241 254 0 15981 0 1 -1

N.S.

1 1.00 0.98 1.03 0.00 64.96 0.00 0.00 -0.00

time (sec)

N/A 0.472 0.313 6.789 0.000 3.119 0.000 1.517 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 34 191 74 367 202 46 209

N.S.

1 1.00 0.87 4.90 1.90 9.41 5.18 1.18 5.36

time (sec)

N/A 0.099 0.074 1.165 0.495 0.375 0.649 0.428 2.291

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 33 186 74 363 224 45 208

N.S.

1 1.00 0.87 4.89 1.95 9.55 5.89 1.18 5.47

time (sec)

N/A 0.082 0.041 1.221 0.485 0.373 0.720 0.417 1.948

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 40 96 73 95 136 33 25

N.S.

1 1.00 1.05 2.53 1.92 2.50 3.58 0.87 0.66

time (sec)

N/A 0.095 0.093 1.374 0.484 0.388 0.555 0.414 1.745

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 40 96 73 95 136 33 25

N.S.

1 1.00 1.05 2.53 1.92 2.50 3.58 0.87 0.66

time (sec)

N/A 0.063 0.068 1.922 0.481 0.409 0.548 0.418 1.689

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 55 136 36 91 0 0 -1

N.S.

1 1.00 0.93 2.31 0.61 1.54 0.00 0.00 -0.02

time (sec)

N/A 0.401 0.037 1.700 0.490 0.390 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 83 209 60 188 0 0 -1

N.S.

1 1.00 0.80 2.01 0.58 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.447 0.047 1.464 0.478 0.349 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 113 281 80 272 0 0 -1

N.S.

1 1.00 0.75 1.87 0.53 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.443 0.058 1.463 0.486 0.385 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 44 175 43 152 0 0 -1

N.S.

1 1.00 0.60 2.40 0.59 2.08 0.00 0.00 -0.01

time (sec)

N/A 0.326 0.035 1.543 0.498 0.384 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 57 253 67 294 0 0 -1

N.S.

1 1.00 0.58 2.58 0.68 3.00 0.00 0.00 -0.01

time (sec)

N/A 0.387 0.036 1.551 0.500 0.384 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 68 329 87 427 0 0 -1

N.S.

1 1.00 0.53 2.55 0.67 3.31 0.00 0.00 -0.01

time (sec)

N/A 0.382 0.041 1.549 0.507 0.379 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 74 150 60 351 0 0 -1

N.S.

1 1.00 0.84 1.70 0.68 3.99 0.00 0.00 -0.01

time (sec)

N/A 0.243 0.041 1.496 0.495 0.358 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 154 0 0 786 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 4.20 0.00 0.00 -0.01

time (sec)

N/A 0.359 0.133 1.582 0.000 0.410 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 249 0 0 1202 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 4.19 0.00 0.00 -0.00

time (sec)

N/A 0.442 0.399 1.472 0.000 0.407 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 71 252 92 1757 0 0 -1

N.S.

1 1.00 0.54 1.91 0.70 13.31 0.00 0.00 -0.01

time (sec)

N/A 0.306 0.153 1.484 0.487 0.496 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 120 441 154 3431 0 0 -1

N.S.

1 1.00 0.59 2.16 0.75 16.82 0.00 0.00 -0.00

time (sec)

N/A 0.465 0.425 1.503 0.490 0.459 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 157 602 207 4629 0 0 -1

N.S.

1 1.00 0.48 1.85 0.63 14.20 0.00 0.00 -0.00

time (sec)

N/A 0.471 0.646 1.531 0.500 0.450 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 162 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.468 4.884 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 77 106 126 164 190 138 79

N.S.

1 1.00 0.71 0.97 1.16 1.50 1.74 1.27 0.72

time (sec)

N/A 0.067 0.188 3.747 0.264 0.335 0.484 0.418 1.872

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 50 68 63 80 129 81 44

N.S.

1 1.00 0.79 1.08 1.00 1.27 2.05 1.29 0.70

time (sec)

N/A 0.026 0.084 3.729 0.269 0.350 0.221 0.395 0.138

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 38 19 18 31 24 34 18

N.S.

1 1.00 1.90 0.95 0.90 1.55 1.20 1.70 0.90

time (sec)

N/A 0.013 0.008 1.988 0.274 0.333 0.071 0.400 1.645

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 48 151 73 299 0 79 343

N.S.

1 1.00 1.09 3.43 1.66 6.80 0.00 1.80 7.80

time (sec)

N/A 0.050 0.053 4.671 0.475 0.394 0.000 0.553 2.299

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 90 309 150 765 0 140 229

N.S.

1 1.00 1.01 3.47 1.69 8.60 0.00 1.57 2.57

time (sec)

N/A 0.073 0.240 5.961 0.489 0.340 0.000 0.554 2.110

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 121 588 327 2439 0 256 -1

N.S.

1 1.00 0.85 4.11 2.29 17.06 0.00 1.79 -0.01

time (sec)

N/A 0.117 0.437 6.022 0.515 0.364 0.000 0.573 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 239 1260 0 0 0 0 -1

N.S.

1 1.00 0.79 4.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.257 0.964 3.889 0.000 0.000 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 202 935 0 0 0 0 -1

N.S.

1 1.00 0.81 3.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.169 0.595 3.511 0.000 0.000 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 94 351 0 0 0 0 -1

N.S.

1 1.00 0.98 3.66 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.081 3.359 0.000 0.000 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 90 181 0 142 0 0 -1

N.S.

1 1.00 0.94 1.89 0.00 1.48 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.097 3.200 0.000 0.076 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 119 630 0 0 0 0 -1

N.S.

1 1.00 0.75 3.99 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.310 3.955 0.000 0.000 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-2) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 237 641 0 0 0 0 -1

N.S.

1 1.00 0.73 1.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.229 1.142 5.715 0.000 0.000 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

386 386 279 687 0 1488 0 0 -1

N.S.

1 1.00 0.72 1.78 0.00 3.85 0.00 0.00 -0.00

time (sec)

N/A 0.379 0.269 1.672 0.000 0.355 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 210 530 0 1122 0 0 -1

N.S.

1 1.00 0.75 1.89 0.00 3.99 0.00 0.00 -0.00

time (sec)

N/A 0.332 0.184 1.674 0.000 0.371 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 956 376 0 754 0 0 -1

N.S.

1 1.00 5.14 2.02 0.00 4.05 0.00 0.00 -0.01

time (sec)

N/A 0.200 1.306 2.173 0.000 0.351 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

20 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.064 0.740 1.278 0.000 0.000 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.049 0.359 0.000 0.000 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 50 80 53 105 124 54 45

N.S.

1 1.00 0.76 1.21 0.80 1.59 1.88 0.82 0.68

time (sec)

N/A 0.024 0.027 1.232 0.267 0.367 1.376 0.417 0.276

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 32 61 37 92 141 32 32

N.S.

1 1.00 0.80 1.52 0.92 2.30 3.52 0.80 0.80

time (sec)

N/A 0.022 0.014 0.977 0.261 0.356 0.543 0.406 1.857

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 25 52 26 54 54 26 25

N.S.

1 1.00 0.78 1.62 0.81 1.69 1.69 0.81 0.78

time (sec)

N/A 0.012 0.011 0.550 0.276 0.334 0.217 0.405 0.070

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 23 40 45 53 0 34 39

N.S.

1 1.00 0.88 1.54 1.73 2.04 0.00 1.31 1.50

time (sec)

N/A 0.014 0.014 1.284 0.256 0.348 0.000 0.402 0.081

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 37 43 62 104 0 44 37

N.S.

1 1.00 0.88 1.02 1.48 2.48 0.00 1.05 0.88

time (sec)

N/A 0.032 0.038 1.234 0.267 0.330 0.000 0.401 1.788

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 61 67 88 388 0 64 90

N.S.

1 1.00 0.84 0.92 1.21 5.32 0.00 0.88 1.23

time (sec)

N/A 0.032 0.040 1.151 0.258 0.337 0.000 0.399 1.812

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 108 166 0 316 1085 84 127

N.S.

1 1.00 0.78 1.19 0.00 2.27 7.81 0.60 0.91

time (sec)

N/A 0.043 0.355 1.818 0.000 0.334 3.439 0.411 2.320

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 58 112 0 149 432 56 105

N.S.

1 1.00 0.66 1.27 0.00 1.69 4.91 0.64 1.19

time (sec)

N/A 0.025 0.113 1.162 0.000 0.338 1.012 0.397 0.245

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 38 78 0 67 167 40 54

N.S.

1 1.00 0.70 1.44 0.00 1.24 3.09 0.74 1.00

time (sec)

N/A 0.012 0.052 0.642 0.000 0.333 0.414 0.420 0.107

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 59 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.089 1.414 0.000 0.000 0.000 0.000 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 131 0 0 0 0 0 -1

N.S.

1 1.00 2.43 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.022 2.250 2.016 0.000 0.000 0.000 0.000 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 94 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.038 1.698 1.429 0.000 0.000 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 96 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.049 0.766 0.000 0.000 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 106 166 0 313 976 84 125

N.S.

1 1.00 0.76 1.19 0.00 2.25 7.02 0.60 0.90

time (sec)

N/A 0.038 0.354 1.480 0.000 0.373 2.920 0.405 2.207

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 56 112 0 146 428 56 68

N.S.

1 1.00 0.64 1.27 0.00 1.66 4.86 0.64 0.77

time (sec)

N/A 0.022 0.113 1.478 0.000 0.362 1.009 0.408 0.228

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 38 78 0 66 201 40 53

N.S.

1 1.00 0.70 1.44 0.00 1.22 3.72 0.74 0.98

time (sec)

N/A 0.012 0.053 0.816 0.000 0.333 0.493 0.410 0.077

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 51 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.015 1.251 0.000 0.000 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 56 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.014 1.192 0.000 0.000 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 80 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 0.107 1.524 0.000 0.000 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 89 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.051 1.414 0.000 0.000 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 90 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.069 0.834 0.000 0.000 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 196 434 197 438 7759 1546 252

N.S.

1 1.00 0.77 1.71 0.78 1.72 30.55 6.09 0.99

time (sec)

N/A 0.297 0.878 4.364 0.294 0.346 78.749 0.455 2.778

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 93 141 92 136 867 885 88

N.S.

1 1.00 0.88 1.33 0.87 1.28 8.18 8.35 0.83

time (sec)

N/A 0.136 0.279 0.839 0.263 0.340 3.576 0.428 1.980

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 104 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 2.097 0.759 0.000 0.000 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 255 0 0 0 0 0 -1

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 1.656 2.888 0.000 0.000 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 230 426 195 5502 7720 1548 288

N.S.

1 1.00 0.92 1.70 0.78 21.92 30.76 6.17 1.15

time (sec)

N/A 0.231 0.354 3.125 0.294 0.411 24.801 0.447 1.994

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 88 135 91 685 852 886 134

N.S.

1 1.00 0.87 1.34 0.90 6.78 8.44 8.77 1.33

time (sec)

N/A 0.110 0.135 1.148 0.272 0.363 2.576 0.449 1.742

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 61 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.043 0.032 0.757 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 127 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.230 1.621 0.000 0.000 0.000 0.000 0.000

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