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

2.2.9 Integrals 801 to 900

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 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 0 61 50 43 0 37 43 43

N.S.

1 0.00 1.00 0.82 0.70 0.00 0.61 0.70 0.70

time (sec)

N/A 0.000 0.268 17.933 0.229 0.000 2.419 0.291 6.488

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 0 61 50 43 0 37 43 43

N.S.

1 0.00 1.00 0.82 0.70 0.00 0.61 0.70 0.70

time (sec)

N/A 0.000 0.001 17.158 0.214 0.000 2.325 0.291 0.005

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 85 61 79 0 45 56 47 47

N.S.

1 1.39 1.00 1.30 0.00 0.74 0.92 0.77 0.77

time (sec)

N/A 0.256 0.060 1.815 0.000 0.252 14.627 0.277 6.559

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 2940 92 55 99 0 19 19 19

N.S.

1 48.20 1.51 0.90 1.62 0.00 0.31 0.31 0.31

time (sec)

N/A 4.995 7.956 5.259 0.299 0.000 7.141 0.322 6.330

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 2940 92 55 99 0 19 19 19

N.S.

1 48.20 1.51 0.90 1.62 0.00 0.31 0.31 0.31

time (sec)

N/A 4.526 0.001 2.253 0.306 0.000 7.221 0.326 0.002

Problem 806

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

61 471 54 76 0 0 0 0 0

N.S.

1 7.72 0.89 1.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.539 13.484 2.869 0.000 0.000 0.000 0.000 0.000

Problem 807

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

61 0 58 65 0 0 0 0 0

N.S.

1 0.00 0.95 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.216 1.955 0.000 0.000 0.000 0.000 0.000

Problem 808

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

61 0 61 54 30 583 0 30 30

N.S.

1 0.00 1.00 0.89 0.49 9.56 0.00 0.49 0.49

time (sec)

N/A 0.000 0.378 21.247 0.241 19.061 0.000 0.297 6.055

Problem 809

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

61 0 61 54 30 583 0 30 30

N.S.

1 0.00 1.00 0.89 0.49 9.56 0.00 0.49 0.49

time (sec)

N/A 0.000 0.002 18.169 0.220 19.105 0.000 0.295 0.002

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 0 102 0 41 0 37 41 41

N.S.

1 0.00 1.67 0.00 0.67 0.00 0.61 0.67 0.67

time (sec)

N/A 0.000 3.243 0.000 0.274 0.000 3.707 0.335 6.008

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 0 102 0 41 0 37 41 41

N.S.

1 0.00 1.67 0.00 0.67 0.00 0.61 0.67 0.67

time (sec)

N/A 0.000 0.001 0.000 0.250 0.000 3.661 0.346 0.002

Problem 812

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

61 63 57 0 0 57 0 0 0

N.S.

1 1.03 0.93 0.00 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.206 0.078 0.000 0.000 0.250 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

62 96 61 33 123 75 36 105 0

N.S.

1 1.55 0.98 0.53 1.98 1.21 0.58 1.69 0.00

time (sec)

N/A 0.225 0.164 1.839 0.292 0.279 3.880 0.271 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 96 61 17 123 75 31 104 0

N.S.

1 1.55 0.98 0.27 1.98 1.21 0.50 1.68 0.00

time (sec)

N/A 0.225 0.169 1.761 0.268 0.244 3.832 0.278 0.000

Problem 815

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

62 522 93 51 108 1566 26 29 29

N.S.

1 8.42 1.50 0.82 1.74 25.26 0.42 0.47 0.47

time (sec)

N/A 0.729 0.234 35.837 0.313 2.865 2.707 0.301 5.930

Problem 816

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

62 341 101 56 28 0 22 28 29

N.S.

1 5.50 1.63 0.90 0.45 0.00 0.35 0.45 0.47

time (sec)

N/A 0.573 0.335 1.335 0.222 0.000 2.031 0.960 6.317

Problem 817

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

62 341 101 56 28 0 22 28 29

N.S.

1 5.50 1.63 0.90 0.45 0.00 0.35 0.45 0.47

time (sec)

N/A 0.498 0.001 1.265 0.213 0.000 1.942 0.969 0.002

Problem 818

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

62 0 56 58 0 148 0 0 0

N.S.

1 0.00 0.90 0.94 0.00 2.39 0.00 0.00 0.00

time (sec)

N/A 0.000 0.225 1.896 0.000 0.819 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

62 0 61 70 0 231 0 0 73

N.S.

1 0.00 0.98 1.13 0.00 3.73 0.00 0.00 1.18

time (sec)

N/A 0.000 22.199 1.365 0.000 0.314 0.000 0.000 6.159

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

62 0 62 95 0 118 0 0 0

N.S.

1 0.00 1.00 1.53 0.00 1.90 0.00 0.00 0.00

time (sec)

N/A 0.000 33.805 5.461 0.000 24.661 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 103 58 38 67 38 88 67 0

N.S.

1 1.66 0.94 0.61 1.08 0.61 1.42 1.08 0.00

time (sec)

N/A 0.265 0.039 0.391 0.182 0.259 0.528 0.265 0.000

Problem 822

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

62 0 62 71 0 47 0 0 0

N.S.

1 0.00 1.00 1.15 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.000 0.295 1.558 0.000 0.297 0.000 0.000 0.000

Problem 823

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

size

62 63 57 0 0 56 0 0 0

N.S.

1 1.02 0.92 0.00 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.392 0.097 0.000 0.000 0.244 0.000 0.000 0.000

Problem 824

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

62 63 59 0 0 44 0 0 0

N.S.

1 1.02 0.95 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.204 0.071 0.000 0.000 0.262 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 52 0 102 0 76 0

N.S.

1 1.00 1.00 0.83 0.00 1.62 0.00 1.21 0.00

time (sec)

N/A 0.226 0.137 1.000 0.000 0.942 0.000 0.568 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 82 80 43 0 89 0 0 187

N.S.

1 1.30 1.27 0.68 0.00 1.41 0.00 0.00 2.97

time (sec)

N/A 0.699 0.249 2.546 0.000 0.269 0.000 0.000 5.950

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 42 509 0 0 0 0 0

N.S.

1 0.00 0.67 8.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.435 8.063 0.000 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 65 60 44 0 154 83 54 89

N.S.

1 1.03 0.95 0.70 0.00 2.44 1.32 0.86 1.41

time (sec)

N/A 0.241 0.068 2.260 0.000 0.285 8.610 0.269 6.945

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 61 58 0 293 0 0 125

N.S.

1 0.00 0.97 0.92 0.00 4.65 0.00 0.00 1.98

time (sec)

N/A 0.000 1.568 11.093 0.000 0.426 0.000 0.000 45.870

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 42 531 0 0 0 0 0

N.S.

1 0.00 0.67 8.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.516 8.149 0.000 0.000 0.000 0.000 0.000

Problem 831

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

63 333 63 41 0 88 0 0 0

N.S.

1 5.29 1.00 0.65 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.978 0.994 2.254 0.000 0.325 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

63 106 56 33 0 99 0 68 0

N.S.

1 1.68 0.89 0.52 0.00 1.57 0.00 1.08 0.00

time (sec)

N/A 0.301 10.034 4.261 0.000 1.175 0.000 0.258 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

63 103 75 27 0 80 0 68 27

N.S.

1 1.63 1.19 0.43 0.00 1.27 0.00 1.08 0.43

time (sec)

N/A 0.269 0.224 1.354 0.000 0.309 0.000 0.263 5.879

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 52 49 0 75 0 0 0

N.S.

1 0.00 0.83 0.78 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.000 0.882 13.245 0.000 0.355 0.000 0.000 0.000

Problem 835

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

63 487 92 51 29 1693 22 29 29

N.S.

1 7.73 1.46 0.81 0.46 26.87 0.35 0.46 0.46

time (sec)

N/A 1.239 0.395 2.121 0.223 0.303 1.588 2.302 5.894

Problem 836

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

63 487 92 51 29 1693 22 29 29

N.S.

1 7.73 1.46 0.81 0.46 26.87 0.35 0.46 0.46

time (sec)

N/A 0.952 0.001 1.877 0.219 0.317 1.491 2.478 0.003

Problem 837

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

63 47 56 37 0 82 0 72 0

N.S.

1 0.75 0.89 0.59 0.00 1.30 0.00 1.14 0.00

time (sec)

N/A 0.205 0.127 1.186 0.000 0.256 0.000 0.275 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 0 87 0 137 0 0 0

N.S.

1 0.00 0.00 1.38 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 16.175 0.000 48.336 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

63 1234 60 68 0 86 126 87 724

N.S.

1 19.59 0.95 1.08 0.00 1.37 2.00 1.38 11.49

time (sec)

N/A 3.536 0.095 3.688 0.000 0.259 20.185 0.274 0.062

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 63 270 0 301 0 0 0

N.S.

1 0.00 1.00 4.29 0.00 4.78 0.00 0.00 0.00

time (sec)

N/A 0.000 1.520 14.959 0.000 0.287 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 61 0 0 34 0 0 0

N.S.

1 0.00 0.97 0.00 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.000 2.101 0.000 0.000 0.256 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 51 41 118 0 47 286 0 0

N.S.

1 0.81 0.65 1.87 0.00 0.75 4.54 0.00 0.00

time (sec)

N/A 0.186 0.096 0.079 0.000 0.282 0.977 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

63 0 63 135 0 78 0 0 121

N.S.

1 0.00 1.00 2.14 0.00 1.24 0.00 0.00 1.92

time (sec)

N/A 0.000 0.105 0.855 0.000 0.257 0.000 0.000 6.650

Problem 844

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

64 91 91 39 0 213 0 0 0

N.S.

1 1.42 1.42 0.61 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.471 0.534 5.002 0.000 0.291 0.000 0.000 0.000

Problem 845

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

64 91 91 40 0 213 0 0 0

N.S.

1 1.42 1.42 0.62 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.492 0.530 2.547 0.000 0.293 0.000 0.000 0.000

Problem 846

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

64 91 91 39 0 213 0 0 0

N.S.

1 1.42 1.42 0.61 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.533 0.004 1.168 0.000 0.282 0.000 0.000 0.000

Problem 847

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

64 0 64 123 0 58 0 0 0

N.S.

1 0.00 1.00 1.92 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.000 3.605 5.168 0.000 0.273 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 113 65 55 67 64 151 0 0

N.S.

1 1.77 1.02 0.86 1.05 1.00 2.36 0.00 0.00

time (sec)

N/A 0.248 0.148 1.403 0.275 0.255 3.838 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 65 61 92 0 54 60 50 50

N.S.

1 1.02 0.95 1.44 0.00 0.84 0.94 0.78 0.78

time (sec)

N/A 0.243 0.088 2.998 0.000 0.247 16.347 0.273 5.718

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 64 84 0 318 0 0 0

N.S.

1 1.00 1.00 1.31 0.00 4.97 0.00 0.00 0.00

time (sec)

N/A 0.223 0.304 5.870 0.000 2.991 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 51 57 62 0 51 0 0 0

N.S.

1 0.80 0.89 0.97 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.260 0.080 1.293 0.000 0.246 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 45 60 46 80 66 0 83 111

N.S.

1 0.69 0.92 0.71 1.23 1.02 0.00 1.28 1.71

time (sec)

N/A 0.169 0.139 1.079 0.282 0.240 0.000 0.299 5.617

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 78 65 68 71 126 46 185 49

N.S.

1 1.20 1.00 1.05 1.09 1.94 0.71 2.85 0.75

time (sec)

N/A 0.191 0.054 0.914 0.272 0.254 0.700 0.282 5.420

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 86 77 45 0 92 0 0 116

N.S.

1 1.32 1.18 0.69 0.00 1.42 0.00 0.00 1.78

time (sec)

N/A 0.718 0.471 3.799 0.000 0.289 0.000 0.000 5.368

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

65 527 65 91 0 41 0 0 0

N.S.

1 8.11 1.00 1.40 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 0.867 3.538 1.527 0.000 0.276 0.000 0.000 0.000

Problem 856

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

65 428 100 58 27 0 24 27 30

N.S.

1 6.58 1.54 0.89 0.42 0.00 0.37 0.42 0.46

time (sec)

N/A 0.759 0.336 1.465 0.223 0.000 2.579 2.935 5.466

Problem 857

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

65 428 100 58 27 0 24 27 30

N.S.

1 6.58 1.54 0.89 0.42 0.00 0.37 0.42 0.46

time (sec)

N/A 0.585 0.001 1.330 0.223 0.000 3.274 2.955 0.002

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 0 59 86 0 134 0 0 0

N.S.

1 0.00 0.91 1.32 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 0.000 0.422 2.711 0.000 0.304 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 0 58 78 0 129 0 0 0

N.S.

1 0.00 0.89 1.20 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.000 0.596 2.711 0.000 0.323 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 0 65 58 39 0 31 39 39

N.S.

1 0.00 1.00 0.89 0.60 0.00 0.48 0.60 0.60

time (sec)

N/A 0.000 1.502 2.276 0.222 0.000 11.355 0.309 5.491

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 0 65 58 39 0 31 39 39

N.S.

1 0.00 1.00 0.89 0.60 0.00 0.48 0.60 0.60

time (sec)

N/A 0.000 0.002 1.305 0.222 0.000 11.536 0.341 0.002

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 155 57 44 0 130 0 0 0

N.S.

1 2.38 0.88 0.68 0.00 2.00 0.00 0.00 0.00

time (sec)

N/A 0.642 0.247 3.852 0.000 0.360 0.000 0.000 0.000

Problem 863

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

65 269 64 58 28 0 20 28 29

N.S.

1 4.14 0.98 0.89 0.43 0.00 0.31 0.43 0.45

time (sec)

N/A 0.448 0.410 1.281 0.216 0.000 9.444 0.308 5.284

Problem 864

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

65 0 65 34 36 2463 37 0 36

N.S.

1 0.00 1.00 0.52 0.55 37.89 0.57 0.00 0.55

time (sec)

N/A 0.000 0.119 0.194 0.604 1.038 1.018 0.000 5.635

Problem 865

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

65 0 65 34 36 2463 37 0 36

N.S.

1 0.00 1.00 0.52 0.55 37.89 0.57 0.00 0.55

time (sec)

N/A 0.000 0.001 0.026 0.629 1.025 1.021 0.000 0.002

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 68 62 49 0 151 78 50 96

N.S.

1 1.03 0.94 0.74 0.00 2.29 1.18 0.76 1.45

time (sec)

N/A 0.215 0.052 4.687 0.000 0.319 2.806 0.280 8.233

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 69 62 50 0 158 76 49 96

N.S.

1 1.05 0.94 0.76 0.00 2.39 1.15 0.74 1.45

time (sec)

N/A 0.223 0.049 1.135 0.000 0.301 6.555 0.285 7.462

Problem 868

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

66 0 66 49 0 106 0 0 0

N.S.

1 0.00 1.00 0.74 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.000 0.560 2.771 0.000 0.294 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 81 66 67 66 92 42 183 48

N.S.

1 1.23 1.00 1.02 1.00 1.39 0.64 2.77 0.73

time (sec)

N/A 0.196 0.051 0.927 0.270 0.260 0.648 0.263 5.350

Problem 870

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

66 439 105 60 28 0 24 28 31

N.S.

1 6.65 1.59 0.91 0.42 0.00 0.36 0.42 0.47

time (sec)

N/A 0.671 0.338 1.377 0.229 0.000 2.805 2.920 5.336

Problem 871

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

66 439 105 60 28 0 24 28 31

N.S.

1 6.65 1.59 0.91 0.42 0.00 0.36 0.42 0.47

time (sec)

N/A 0.594 0.001 1.334 0.234 0.000 2.879 2.922 0.002

Problem 872

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

66 325 65 57 28 0 24 28 28

N.S.

1 4.92 0.98 0.86 0.42 0.00 0.36 0.42 0.42

time (sec)

N/A 0.966 0.661 1.388 0.239 0.000 11.292 0.307 5.229

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

66 0 64 0 0 39 0 0 0

N.S.

1 0.00 0.97 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.000 0.061 0.000 0.000 0.284 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 1038 53 50 0 0 0 0 722

N.S.

1 15.49 0.79 0.75 0.00 0.00 0.00 0.00 10.78

time (sec)

N/A 7.879 11.234 2.561 0.000 0.000 0.000 0.000 0.123

Problem 875

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

67 472 105 59 30 1372 24 30 30

N.S.

1 7.04 1.57 0.88 0.45 20.48 0.36 0.45 0.45

time (sec)

N/A 0.610 0.257 2.229 0.229 0.324 0.869 0.530 5.322

Problem 876

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

67 472 105 59 30 1372 24 30 30

N.S.

1 7.04 1.57 0.88 0.45 20.48 0.36 0.45 0.45

time (sec)

N/A 0.528 0.001 1.253 0.218 0.298 0.863 0.553 0.002

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 45 53 53 0 51 0 0 0

N.S.

1 0.67 0.79 0.79 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.159 0.166 2.741 0.000 0.331 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 116 91 33 0 118 0 69 0

N.S.

1 1.73 1.36 0.49 0.00 1.76 0.00 1.03 0.00

time (sec)

N/A 0.264 0.213 2.994 0.000 0.826 0.000 0.280 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 0 80 151 0 70 0 0 0

N.S.

1 0.00 1.19 2.25 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.000 5.004 1.350 0.000 0.306 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 0 86 151 0 70 0 0 0

N.S.

1 0.00 1.28 2.25 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.000 5.062 1.425 0.000 0.302 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 65 67 127 0 120 0 0 0

N.S.

1 0.97 1.00 1.90 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.586 0.268 3.017 0.000 0.272 0.000 0.000 0.000

Problem 882

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

67 310 102 60 30 0 24 30 31

N.S.

1 4.63 1.52 0.90 0.45 0.00 0.36 0.45 0.46

time (sec)

N/A 0.676 0.432 1.378 0.239 0.000 3.498 1.035 5.288

Problem 883

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

67 310 102 60 30 0 24 30 31

N.S.

1 4.63 1.52 0.90 0.45 0.00 0.36 0.45 0.46

time (sec)

N/A 0.624 0.003 1.399 0.232 0.000 3.352 1.109 0.002

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 0 58 85 0 133 0 0 0

N.S.

1 0.00 0.87 1.27 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.000 0.375 2.849 0.000 0.308 0.000 0.000 0.000

Problem 885

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

67 0 58 83 0 0 0 0 0

N.S.

1 0.00 0.87 1.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.640 2.964 0.000 0.000 0.000 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 0 52 47 0 66 0 0 0

N.S.

1 0.00 0.78 0.70 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.000 1.460 4.538 0.000 0.337 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 58 63 84 0 310 0 0 0

N.S.

1 0.87 0.94 1.25 0.00 4.63 0.00 0.00 0.00

time (sec)

N/A 0.211 0.277 6.099 0.000 2.926 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 67 84 0 312 0 0 0

N.S.

1 1.07 1.00 1.25 0.00 4.66 0.00 0.00 0.00

time (sec)

N/A 0.218 0.241 6.107 0.000 3.044 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 67 85 0 313 0 0 0

N.S.

1 1.07 1.00 1.27 0.00 4.67 0.00 0.00 0.00

time (sec)

N/A 0.233 0.297 3.745 0.000 3.188 0.000 0.000 0.000

Problem 890

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

67 67 67 73 0 90 0 0 0

N.S.

1 1.00 1.00 1.09 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.543 0.327 5.292 0.000 0.282 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 663 67 71 0 326 0 0 0

N.S.

1 9.90 1.00 1.06 0.00 4.87 0.00 0.00 0.00

time (sec)

N/A 3.344 0.400 21.043 0.000 0.336 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 56 57 0 0 38 63 0 0

N.S.

1 0.84 0.85 0.00 0.00 0.57 0.94 0.00 0.00

time (sec)

N/A 0.571 0.064 0.000 0.000 0.253 0.263 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 60 57 0 0 38 63 0 0

N.S.

1 0.90 0.85 0.00 0.00 0.57 0.94 0.00 0.00

time (sec)

N/A 0.214 0.054 0.000 0.000 0.253 0.292 0.000 0.000

Problem 894

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

68 440 106 60 32 1358 24 32 33

N.S.

1 6.47 1.56 0.88 0.47 19.97 0.35 0.47 0.49

time (sec)

N/A 0.550 0.255 2.262 0.218 0.283 1.024 0.554 5.388

Problem 895

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

68 440 106 60 32 1358 24 32 33

N.S.

1 6.47 1.56 0.88 0.47 19.97 0.35 0.47 0.49

time (sec)

N/A 0.476 0.001 1.289 0.218 0.276 0.990 0.557 0.002

Problem 896

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

68 449 105 59 29 1358 24 29 29

N.S.

1 6.60 1.54 0.87 0.43 19.97 0.35 0.43 0.43

time (sec)

N/A 0.591 0.273 1.416 0.223 0.285 1.100 0.573 5.408

Problem 897

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

68 449 105 59 29 1358 24 29 29

N.S.

1 6.60 1.54 0.87 0.43 19.97 0.35 0.43 0.43

time (sec)

N/A 0.488 0.001 1.298 0.233 0.269 0.968 0.589 0.002

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

68 128 69 33 0 104 0 88 0

N.S.

1 1.88 1.01 0.49 0.00 1.53 0.00 1.29 0.00

time (sec)

N/A 0.332 10.025 4.480 0.000 1.321 0.000 0.278 0.000

Problem 899

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

68 0 68 104 0 0 0 0 0

N.S.

1 0.00 1.00 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.252 8.062 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 99 91 87 0 131 0 65 0

N.S.

1 1.46 1.34 1.28 0.00 1.93 0.00 0.96 0.00

time (sec)

N/A 0.311 0.272 6.622 0.000 0.257 0.000 0.305 0.000

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