[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 C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

434 434 6019 5421 0 0 0 0 -1

N.S.

1 1.00 13.87 12.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.352 16.040 0.622 0.000 0.000 0.000 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

577 577 6084 5477 0 0 0 0 -1

N.S.

1 1.00 10.54 9.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.477 16.068 0.631 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

130 130 826 1182 0 0 0 0 -1

N.S.

1 1.00 6.35 9.09 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 10.096 0.413 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

444 444 4974 5427 0 0 0 0 -1

N.S.

1 1.00 11.20 12.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.316 15.786 0.133 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 257 76 57 81 0 0 158

N.S.

1 1.00 4.59 1.36 1.02 1.45 0.00 0.00 2.82

time (sec)

N/A 0.141 0.621 0.474 0.497 0.364 0.000 0.000 7.906

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 49 56 0 84 63 89 55

N.S.

1 1.00 0.75 0.86 0.00 1.29 0.97 1.37 0.85

time (sec)

N/A 0.106 0.176 0.110 0.000 0.338 2.893 3.265 0.043

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 101 53 58 0 78 0 80 52

N.S.

1 1.91 1.00 1.09 0.00 1.47 0.00 1.51 0.98

time (sec)

N/A 0.143 0.149 0.074 0.000 0.361 0.000 4.209 0.045

Problem 808

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

14 14 14 13 12 12 12 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.86 0.86 0.86

time (sec)

N/A 0.079 0.007 0.506 0.515 0.381 0.053 2.790 3.387

Problem 809

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

61 61 56 46 45 43 60 43 43

N.S.

1 1.00 0.92 0.75 0.74 0.70 0.98 0.70 0.70

time (sec)

N/A 0.117 0.034 0.051 0.285 0.328 1.228 1.797 3.360

Problem 810

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

114 114 103 86 85 91 116 84 84

N.S.

1 1.00 0.90 0.75 0.75 0.80 1.02 0.74 0.74

time (sec)

N/A 0.135 0.051 0.085 0.288 0.349 1.852 1.696 0.060

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 103 102 0 180 70 92 46

N.S.

1 1.00 1.78 1.76 0.00 3.10 1.21 1.59 0.79

time (sec)

N/A 0.043 0.110 0.048 0.000 0.383 1.583 2.572 4.083

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 103 102 0 180 70 92 62

N.S.

1 1.00 1.78 1.76 0.00 3.10 1.21 1.59 1.07

time (sec)

N/A 0.097 0.004 0.049 0.000 0.406 3.652 2.556 4.045

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 55 39 0 182 0 123 67

N.S.

1 1.00 1.04 0.74 0.00 3.43 0.00 2.32 1.26

time (sec)

N/A 0.022 0.345 0.724 0.000 0.350 0.000 4.106 3.588

Problem 814

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

23 23 24 18 17 22 27 18 23

N.S.

1 1.00 1.04 0.78 0.74 0.96 1.17 0.78 1.00

time (sec)

N/A 0.005 0.016 0.473 0.299 0.341 0.066 3.774 0.030

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 24 26 17 25 139 54 35

N.S.

1 1.00 1.04 1.13 0.74 1.09 6.04 2.35 1.52

time (sec)

N/A 0.006 0.002 0.502 0.488 0.327 53.317 2.558 3.695

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 54 58 36 37 0 39 180

N.S.

1 1.00 1.64 1.76 1.09 1.12 0.00 1.18 5.45

time (sec)

N/A 0.011 0.050 0.498 0.283 0.361 0.000 2.611 7.557

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 2 31 -1

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.04 0.69 -0.02

time (sec)

N/A 0.108 0.762 0.464 0.494 0.339 0.027 2.834 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 2 31 -1

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.04 0.69 -0.02

time (sec)

N/A 0.037 0.002 0.488 0.507 0.376 0.026 2.404 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 2 31 -1

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.04 0.69 -0.02

time (sec)

N/A 0.064 0.002 0.485 0.529 0.341 0.029 2.073 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 27 2 2 2 12 -1

N.S.

1 1.00 1.27 0.60 0.04 0.04 0.04 0.27 -0.02

time (sec)

N/A 0.091 3.888 0.559 0.505 0.326 0.027 2.504 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 39 41 0 6 0 6 -1

N.S.

1 1.00 0.75 0.79 0.00 0.12 0.00 0.12 -0.02

time (sec)

N/A 0.126 1.626 0.487 0.000 0.344 0.000 2.100 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 39 30 6 6 0 6 -1

N.S.

1 1.00 0.75 0.58 0.12 0.12 0.00 0.12 -0.02

time (sec)

N/A 0.082 1.608 0.500 0.522 0.342 0.000 2.297 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 67 40 0 8 0 8 -1

N.S.

1 1.00 0.99 0.59 0.00 0.12 0.00 0.12 -0.01

time (sec)

N/A 0.102 1.755 0.031 0.000 0.328 0.000 3.013 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 39 32 27 25 0 54 19

N.S.

1 1.00 1.26 1.03 0.87 0.81 0.00 1.74 0.61

time (sec)

N/A 0.013 0.273 0.570 0.538 0.343 0.000 2.342 3.327

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 23 32 25 25 0 54 19

N.S.

1 1.00 0.74 1.03 0.81 0.81 0.00 1.74 0.61

time (sec)

N/A 0.193 0.262 0.531 0.316 0.371 0.000 3.078 0.036

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 23 81 0 25 0 68 19

N.S.

1 1.00 0.74 2.61 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.096 0.285 0.044 0.000 0.324 0.000 2.594 0.065

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 23 81 0 25 0 68 19

N.S.

1 1.00 0.74 2.61 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.089 0.284 0.042 0.000 0.326 0.000 3.040 0.053

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 23 32 0 25 0 68 19

N.S.

1 1.00 0.74 1.03 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.447 0.280 0.500 0.000 0.334 0.000 5.717 3.324

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 38 58 85 44 216 0 -1

N.S.

1 1.00 0.88 1.35 1.98 1.02 5.02 0.00 -0.02

time (sec)

N/A 0.051 0.118 0.550 0.290 0.354 1.949 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 53 45 0 44 0 57 31

N.S.

1 1.00 1.26 1.07 0.00 1.05 0.00 1.36 0.74

time (sec)

N/A 0.088 0.106 0.487 0.000 0.339 0.000 2.350 3.388

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 50 262 0 80 0 133 60

N.S.

1 1.00 0.77 4.03 0.00 1.23 0.00 2.05 0.92

time (sec)

N/A 0.094 0.121 0.506 0.000 0.340 0.000 2.672 3.444

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 179 729 0 1122 0 536 -1

N.S.

1 1.00 0.92 3.74 0.00 5.75 0.00 2.75 -0.01

time (sec)

N/A 0.150 1.023 0.522 0.000 0.401 0.000 1.737 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 27 34 52 37 34 20

N.S.

1 1.00 1.00 0.96 1.21 1.86 1.32 1.21 0.71

time (sec)

N/A 0.010 0.027 0.531 0.505 0.339 10.747 2.804 3.850

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 27 0 52 0 34 -1

N.S.

1 1.00 1.00 0.96 0.00 1.86 0.00 1.21 -0.04

time (sec)

N/A 0.040 0.004 0.507 0.000 0.351 0.000 2.436 0.000

Problem 835

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

22 22 22 19 18 18 17 18 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.77 0.82 0.82

time (sec)

N/A 0.004 0.005 0.506 0.276 0.362 0.049 2.966 0.044

Problem 836

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

22 22 22 19 18 18 17 18 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.77 0.82 0.82

time (sec)

N/A 0.055 0.001 0.556 0.281 0.349 0.252 2.317 0.029

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 12 0 11 36 11 11

N.S.

1 1.00 1.00 0.71 0.00 0.65 2.12 0.65 0.65

time (sec)

N/A 0.040 0.029 0.543 0.000 0.407 0.275 3.264 3.700

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 125 0 11 0 11 -1

N.S.

1 1.00 1.00 7.35 0.00 0.65 0.00 0.65 -0.06

time (sec)

N/A 0.032 0.029 0.562 0.000 0.404 0.000 1.651 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 24 7 6 19 7 19 6

N.S.

1 1.00 2.40 0.70 0.60 1.90 0.70 1.90 0.60

time (sec)

N/A 0.001 0.019 0.527 0.503 0.338 0.050 2.674 0.010

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 24 34 6 25 49 12 32

N.S.

1 1.00 2.40 3.40 0.60 2.50 4.90 1.20 3.20

time (sec)

N/A 0.001 0.002 0.523 0.551 0.347 0.546 3.250 0.148

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 24 7 6 19 7 19 6

N.S.

1 1.00 2.40 0.70 0.60 1.90 0.70 1.90 0.60

time (sec)

N/A 0.003 0.002 0.512 0.486 0.389 0.653 3.584 0.012

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 23 7 8 29 0 26 6

N.S.

1 1.00 1.92 0.58 0.67 2.42 0.00 2.17 0.50

time (sec)

N/A 0.005 0.053 0.595 0.489 0.352 0.000 3.123 3.125

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 44 31 8 29 39 13 30

N.S.

1 1.00 3.67 2.58 0.67 2.42 3.25 1.08 2.50

time (sec)

N/A 0.006 0.032 0.519 0.506 0.345 0.488 2.704 3.428

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 44 7 8 29 0 26 6

N.S.

1 1.00 3.67 0.58 0.67 2.42 0.00 2.17 0.50

time (sec)

N/A 0.006 0.002 0.572 0.514 0.374 0.000 3.168 3.370

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 23 5 8 29 0 24 4

N.S.

1 1.00 5.75 1.25 2.00 7.25 0.00 6.00 1.00

time (sec)

N/A 0.004 0.053 0.565 0.516 0.342 0.000 2.493 3.185

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 44 29 8 29 39 13 33

N.S.

1 1.00 11.00 7.25 2.00 7.25 9.75 3.25 8.25

time (sec)

N/A 0.004 0.032 0.618 0.493 0.345 0.488 2.856 0.082

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 4 44 5 8 29 0 24 4

N.S.

1 1.00 11.00 1.25 2.00 7.25 0.00 6.00 1.00

time (sec)

N/A 0.005 0.002 0.583 0.502 0.334 0.000 2.369 3.362

Problem 848

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

11 11 11 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.001 0.001 0.019 0.279 0.339 0.007 2.414 0.026

Problem 849

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

11 11 11 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.006 0.000 0.518 0.283 0.366 0.047 2.502 0.026

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 39 30 0 26 7 10 -1

N.S.

1 1.00 1.44 1.11 0.00 0.96 0.26 0.37 -0.04

time (sec)

N/A 0.004 0.020 0.523 0.000 0.432 0.864 2.167 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 39 30 0 26 0 10 -1

N.S.

1 1.00 1.44 1.11 0.00 0.96 0.00 0.37 -0.04

time (sec)

N/A 0.011 0.002 0.085 0.000 0.368 0.000 2.768 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 56 28 14 14 15 26 -1

N.S.

1 1.00 2.24 1.12 0.56 0.56 0.60 1.04 -0.04

time (sec)

N/A 0.003 0.014 0.583 0.285 0.329 0.756 3.443 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 56 28 0 14 0 21 -1

N.S.

1 1.00 2.24 1.12 0.00 0.56 0.00 0.84 -0.04

time (sec)

N/A 0.010 0.003 0.078 0.000 0.346 0.000 2.959 0.000

Problem 854

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

11 11 11 10 9 9 8 9 9

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 0.82

time (sec)

N/A 0.001 0.005 0.548 0.287 0.327 0.007 3.252 0.193

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C C F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 20 17 12 16 0 15 16

N.S.

1 1.00 1.82 1.55 1.09 1.45 0.00 1.36 1.45

time (sec)

N/A 0.001 0.028 0.559 0.300 0.331 0.000 2.596 3.557

Problem 856

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

9 9 9 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.001 0.004 0.536 0.269 0.324 0.007 3.853 0.095

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A C F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 22 24 7 23 0 13 18

N.S.

1 1.00 2.44 2.67 0.78 2.56 0.00 1.44 2.00

time (sec)

N/A 0.001 0.030 0.559 0.280 0.354 0.000 2.642 3.635

Problem 858

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

13 13 13 10 9 12 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.92 0.77 0.69 0.69

time (sec)

N/A 0.001 0.005 0.531 0.284 0.331 0.007 4.743 3.507

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 22 20 12 19 0 15 20

N.S.

1 1.00 1.69 1.54 0.92 1.46 0.00 1.15 1.54

time (sec)

N/A 0.001 0.030 0.605 0.274 0.335 0.000 2.298 3.523

Problem 860

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

11 11 11 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.001 0.004 0.554 0.311 0.352 0.007 3.188 3.419

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 24 27 7 26 0 13 22

N.S.

1 1.00 2.18 2.45 0.64 2.36 0.00 1.18 2.00

time (sec)

N/A 0.001 0.030 0.590 0.276 0.332 0.000 2.375 3.491

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 43 67 41 52 100 39 172

N.S.

1 1.00 1.23 1.91 1.17 1.49 2.86 1.11 4.91

time (sec)

N/A 0.005 0.078 0.557 0.525 0.354 0.920 3.398 6.136

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 49 86 0 96 0 0 -1

N.S.

1 1.00 1.40 2.46 0.00 2.74 0.00 0.00 -0.03

time (sec)

N/A 0.005 1.737 0.642 0.000 0.415 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 61 70 53 74 0 0 -1

N.S.

1 1.00 1.42 1.63 1.23 1.72 0.00 0.00 -0.02

time (sec)

N/A 0.010 0.134 0.595 0.482 0.353 0.000 0.000 0.000

Problem 865

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

35 35 59 41 53 63 0 44 37

N.S.

1 1.00 1.69 1.17 1.51 1.80 0.00 1.26 1.06

time (sec)

N/A 0.041 0.122 0.617 0.477 0.351 0.000 3.413 3.204

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 75 134 65 93 0 0 -1

N.S.

1 1.00 1.47 2.63 1.27 1.82 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.161 0.698 0.480 0.370 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 94 99 65 82 0 87 82

N.S.

1 1.00 2.09 2.20 1.44 1.82 0.00 1.93 1.82

time (sec)

N/A 0.065 0.240 0.591 0.487 0.397 0.000 3.826 3.491

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2 2 14 3 2 18 2 17 2

N.S.

1 1.00 7.00 1.50 1.00 9.00 1.00 8.50 1.00

time (sec)

N/A 0.001 0.002 0.612 0.488 0.344 0.046 3.735 0.006

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2 2 32 29 0 27 0 0 -1

N.S.

1 1.00 16.00 14.50 0.00 13.50 0.00 0.00 -0.50

time (sec)

N/A 0.001 0.539 0.571 0.000 0.360 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2 2 12 3 2 14 2 25 2

N.S.

1 1.00 6.00 1.50 1.00 7.00 1.00 12.50 1.00

time (sec)

N/A 0.001 0.011 0.539 0.481 0.346 0.046 3.678 0.028

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2 2 42 29 0 81 0 0 -1

N.S.

1 1.00 21.00 14.50 0.00 40.50 0.00 0.00 -0.50

time (sec)

N/A 0.001 0.524 0.504 0.000 0.358 0.000 0.000 0.000

Problem 872

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

23 23 37 18 17 31 15 17 17

N.S.

1 1.00 1.61 0.78 0.74 1.35 0.65 0.74 0.74

time (sec)

N/A 0.002 0.003 0.502 0.492 0.380 0.062 3.330 0.031

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 50 42 0 60 0 0 -1

N.S.

1 1.00 2.17 1.83 0.00 2.61 0.00 0.00 -0.04

time (sec)

N/A 0.002 0.614 0.484 0.000 0.347 0.000 0.000 0.000

Problem 874

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

21 21 28 16 15 25 15 25 15

N.S.

1 1.00 1.33 0.76 0.71 1.19 0.71 1.19 0.71

time (sec)

N/A 0.002 0.022 0.510 0.504 0.379 0.061 2.738 0.028

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 70 47 0 120 0 0 -1

N.S.

1 1.00 3.33 2.24 0.00 5.71 0.00 0.00 -0.05

time (sec)

N/A 0.002 0.622 0.701 0.000 0.331 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 57 53 0 0 0 0 0 54

N.S.

1 1.16 1.08 0.00 0.00 0.00 0.00 0.00 1.10

time (sec)

N/A 0.013 0.022 0.031 0.000 0.000 0.000 0.000 4.673

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 33 21 0 30 58 30 20

N.S.

1 1.00 1.18 0.75 0.00 1.07 2.07 1.07 0.71

time (sec)

N/A 0.006 0.024 0.510 0.000 0.353 0.175 3.445 0.034

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 39 197 0 84 17 140 105

N.S.

1 1.00 1.05 5.32 0.00 2.27 0.46 3.78 2.84

time (sec)

N/A 0.028 0.042 0.148 0.000 0.386 0.079 3.415 0.143

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 68 33 0 90 27 88 57

N.S.

1 1.00 1.70 0.82 0.00 2.25 0.68 2.20 1.42

time (sec)

N/A 0.028 0.096 0.129 0.000 0.336 0.071 3.647 3.501

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 77 111 94 67 0 117 86

N.S.

1 1.00 1.43 2.06 1.74 1.24 0.00 2.17 1.59

time (sec)

N/A 0.088 0.106 0.273 0.496 0.354 0.000 3.988 3.328

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 77 111 0 67 0 117 86

N.S.

1 1.00 1.28 1.85 0.00 1.12 0.00 1.95 1.43

time (sec)

N/A 0.198 0.106 0.271 0.000 0.328 0.000 3.542 3.377

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 45 38 0 66 0 50 -1

N.S.

1 1.00 0.88 0.75 0.00 1.29 0.00 0.98 -0.02

time (sec)

N/A 0.073 0.111 0.050 0.000 0.327 0.000 3.584 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 45 38 54 66 0 50 -1

N.S.

1 1.00 0.88 0.75 1.06 1.29 0.00 0.98 -0.02

time (sec)

N/A 0.065 0.095 0.249 0.500 0.334 0.000 2.708 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 45 51 54 64 0 0 56

N.S.

1 1.00 0.88 1.00 1.06 1.25 0.00 0.00 1.10

time (sec)

N/A 0.099 0.004 0.247 0.498 0.331 0.000 0.000 4.782

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

54 54 53 51 0 64 0 0 56

N.S.

1 1.00 0.98 0.94 0.00 1.19 0.00 0.00 1.04

time (sec)

N/A 0.031 0.255 0.015 0.000 0.323 0.000 0.000 0.061

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 23 20 0 20 0 0 20

N.S.

1 1.00 0.85 0.74 0.00 0.74 0.00 0.00 0.74

time (sec)

N/A 0.020 0.023 0.026 0.000 0.363 0.000 0.000 3.419

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 12 13 0 16 0 0 138

N.S.

1 1.00 0.86 0.93 0.00 1.14 0.00 0.00 9.86

time (sec)

N/A 0.098 0.135 0.259 0.000 0.357 0.000 0.000 3.380

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 0 16 0 0 10

N.S.

1 1.00 1.00 1.08 0.00 1.33 0.00 0.00 0.83

time (sec)

N/A 0.045 0.002 0.241 0.000 0.360 0.000 0.000 0.051

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 29 31 0 30 0 0 48

N.S.

1 1.00 0.81 0.86 0.00 0.83 0.00 0.00 1.33

time (sec)

N/A 0.094 0.009 0.213 0.000 0.323 0.000 0.000 3.492

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 29 31 0 30 0 0 43

N.S.

1 1.00 0.88 0.94 0.00 0.91 0.00 0.00 1.30

time (sec)

N/A 0.125 0.004 0.215 0.000 0.329 0.000 0.000 3.494

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 70 103 0 208 0 92 -1

N.S.

1 1.00 1.00 1.47 0.00 2.97 0.00 1.31 -0.01

time (sec)

N/A 0.048 0.380 0.231 0.000 0.361 0.000 2.289 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 56 63 0 38 0 46 -1

N.S.

1 1.00 0.67 0.76 0.00 0.46 0.00 0.55 -0.01

time (sec)

N/A 0.098 0.036 0.322 0.000 0.353 0.000 3.107 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 73 44 63 0 36 0 18 -1

N.S.

1 1.55 0.94 1.34 0.00 0.77 0.00 0.38 -0.02

time (sec)

N/A 0.293 5.524 0.231 0.000 0.369 0.000 5.509 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 70 75 0 74 0 39 -1

N.S.

1 1.00 0.57 0.61 0.00 0.60 0.00 0.32 -0.01

time (sec)

N/A 0.178 0.030 0.233 0.000 0.356 0.000 3.272 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 74 62 0 117 0 86 -1

N.S.

1 1.00 0.56 0.47 0.00 0.88 0.00 0.65 -0.01

time (sec)

N/A 0.048 0.277 0.089 0.000 0.346 0.000 4.033 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 54 49 0 83 0 67 -1

N.S.

1 1.00 0.60 0.54 0.00 0.92 0.00 0.74 -0.01

time (sec)

N/A 0.033 0.147 0.084 0.000 0.332 0.000 4.599 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 50 42 0 75 0 49 -1

N.S.

1 1.00 0.82 0.69 0.00 1.23 0.00 0.80 -0.02

time (sec)

N/A 0.022 0.071 0.063 0.000 0.348 0.000 6.355 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 82 79 0 142 0 88 -1

N.S.

1 1.00 0.75 0.72 0.00 1.30 0.00 0.81 -0.01

time (sec)

N/A 0.044 0.114 0.161 0.000 0.348 0.000 5.721 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 106 217 0 205 0 170 -1

N.S.

1 1.00 0.74 1.51 0.00 1.42 0.00 1.18 -0.01

time (sec)

N/A 0.058 0.300 0.157 0.000 0.326 0.000 5.327 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 25 28 0 31 0 30 23

N.S.

1 1.00 0.89 1.00 0.00 1.11 0.00 1.07 0.82

time (sec)

N/A 0.079 0.090 0.215 0.000 0.380 0.000 5.222 3.515

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