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

Integrals 801 to 893

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 Reduce Mupad

grade

N/A B A A B A F F F B

verified

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

size

19 100 19 16 145 15 0 0 30 15

N.S.

1 5.26 1.00 0.84 7.63 0.79 0.00 0.00 1.58 0.79

time (sec)

N/A 0.934 0.079 2.315 0.143 0.073 0.000 0.000 0.156 17.284

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 68 125 518 96 0 0 18 0

N.S.

1 0.00 1.55 2.84 11.77 2.18 0.00 0.00 0.41 0.00

time (sec)

N/A 0.000 0.833 2.334 0.259 0.081 0.000 0.000 0.169 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 72 17 16 329 3 0 11 41 0

N.S.

1 3.79 0.89 0.84 17.32 0.16 0.00 0.58 2.16 0.00

time (sec)

N/A 1.533 0.051 3.073 0.150 0.069 0.000 0.141 0.159 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A F A F B F B

verified

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

size

13 13 37 10 0 21 0 55 11 14

N.S.

1 1.00 2.85 0.77 0.00 1.62 0.00 4.23 0.85 1.08

time (sec)

N/A 0.442 0.047 0.286 0.000 0.069 0.000 0.200 0.203 0.320

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 10 25 29 68 15 29

N.S.

1 1.00 1.00 0.79 0.71 1.79 2.07 4.86 1.07 2.07

time (sec)

N/A 0.233 0.055 0.127 0.028 0.071 0.181 0.129 0.198 17.717

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B F B F B

verified

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

size

25 25 30 18 21 35 0 128 79 24

N.S.

1 1.00 1.20 0.72 0.84 1.40 0.00 5.12 3.16 0.96

time (sec)

N/A 0.312 0.188 0.127 0.037 0.075 0.000 0.155 0.174 17.255

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B F B F B

verified

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

size

25 25 18 18 21 44 0 128 79 24

N.S.

1 1.00 0.72 0.72 0.84 1.76 0.00 5.12 3.16 0.96

time (sec)

N/A 0.302 0.030 0.149 0.027 0.073 0.000 0.154 0.190 17.090

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 17 0 0 0 0 0 22 77

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 1.10 3.85

time (sec)

N/A 0.316 1.397 0.000 0.000 0.000 0.000 0.000 0.177 16.342

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 95 78 37 136 34 0 97 86 0

N.S.

1 1.25 1.03 0.49 1.79 0.45 0.00 1.28 1.13 0.00

time (sec)

N/A 0.412 0.267 0.482 0.114 0.076 0.000 0.135 0.242 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 44 40 48 86 41 0 44 67 0

N.S.

1 0.54 0.49 0.59 1.06 0.51 0.00 0.54 0.83 0.00

time (sec)

N/A 0.463 0.037 0.503 0.033 0.085 0.000 0.115 0.214 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 53 69 83 79 124 0 0 12 0

N.S.

1 0.70 0.91 1.09 1.04 1.63 0.00 0.00 0.16 0.00

time (sec)

N/A 0.671 0.087 0.182 0.126 0.088 0.000 0.000 0.175 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 87 99 106 107 227 0 0 14 0

N.S.

1 0.68 0.77 0.83 0.84 1.77 0.00 0.00 0.11 0.00

time (sec)

N/A 0.879 0.099 0.154 0.134 0.090 0.000 0.000 0.162 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 127 147 137 131 327 0 0 14 0

N.S.

1 0.68 0.79 0.74 0.70 1.76 0.00 0.00 0.08 0.00

time (sec)

N/A 0.936 0.112 0.155 0.123 0.103 0.000 0.000 0.162 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 63 50 127 83 138 0 0 16 0

N.S.

1 0.78 0.62 1.57 1.02 1.70 0.00 0.00 0.20 0.00

time (sec)

N/A 0.682 0.075 0.209 0.125 0.088 0.000 0.000 0.177 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 86 75 153 113 248 0 0 18 0

N.S.

1 0.79 0.69 1.40 1.04 2.28 0.00 0.00 0.17 0.00

time (sec)

N/A 0.841 0.086 0.160 0.151 0.095 0.000 0.000 0.163 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 111 87 181 137 356 0 0 18 0

N.S.

1 0.78 0.61 1.27 0.96 2.49 0.00 0.00 0.13 0.00

time (sec)

N/A 0.956 0.085 0.164 0.152 0.107 0.000 0.000 0.158 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 62 108 290 294 140 0 0 13 0

N.S.

1 0.59 1.03 2.76 2.80 1.33 0.00 0.00 0.12 0.00

time (sec)

N/A 0.513 0.085 0.218 0.134 0.093 0.000 0.000 0.199 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 153 174 200 0 337 0 0 15 0

N.S.

1 0.68 0.77 0.89 0.00 1.50 0.00 0.00 0.07 0.00

time (sec)

N/A 0.759 0.125 0.248 0.000 0.114 0.000 0.000 0.157 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

341 225 290 250 567 539 0 0 15 0

N.S.

1 0.66 0.85 0.73 1.66 1.58 0.00 0.00 0.04 0.00

time (sec)

N/A 0.857 0.323 0.337 0.154 0.153 0.000 0.000 0.161 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 79 85 140 423 270 0 0 13 0

N.S.

1 0.56 0.60 0.99 2.98 1.90 0.00 0.00 0.09 0.00

time (sec)

N/A 0.582 0.214 0.181 0.158 0.110 0.000 0.000 0.166 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

220 115 138 191 639 550 0 0 15 0

N.S.

1 0.52 0.63 0.87 2.90 2.50 0.00 0.00 0.07 0.00

time (sec)

N/A 0.758 0.482 0.209 0.173 0.161 0.000 0.000 0.186 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

356 203 191 254 852 740 0 0 15 0

N.S.

1 0.57 0.54 0.71 2.39 2.08 0.00 0.00 0.04 0.00

time (sec)

N/A 0.858 0.778 0.204 0.190 0.169 0.000 0.000 0.175 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 20 19 17 114 13 89 14

N.S.

1 1.00 1.00 0.80 0.76 0.68 4.56 0.52 3.56 0.56

time (sec)

N/A 0.211 0.008 1.424 0.029 0.070 0.815 0.124 0.166 16.060

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 30 23 22 25 116 22 89 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.87 0.73 2.97 0.73

time (sec)

N/A 0.214 0.007 1.448 0.030 0.074 0.765 0.138 0.167 15.917

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 30 30 23 22 25 114 22 89 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.80 0.73 2.97 0.73

time (sec)

N/A 0.210 0.006 1.369 0.029 0.074 0.802 0.106 0.173 16.897

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 20 19 19 116 19 89 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 4.64 0.76 3.56 0.76

time (sec)

N/A 0.208 0.007 1.352 0.024 0.068 0.803 0.133 0.165 16.445

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 7 6 6 7 6 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75 0.75

time (sec)

N/A 0.183 0.007 0.200 0.025 0.069 0.065 0.131 0.162 16.679

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 20 9 34 46 19 45 20

N.S.

1 1.00 1.00 1.82 0.82 3.09 4.18 1.73 4.09 1.82

time (sec)

N/A 0.187 0.039 1.239 0.038 0.071 0.256 0.118 0.177 15.757

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 18 18 12 133 15 8 52 18 16

N.S.

1 1.64 1.64 1.09 12.09 1.36 0.73 4.73 1.64 1.45

time (sec)

N/A 0.214 0.012 0.196 0.037 0.065 0.391 0.136 0.178 15.391

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A F B

verified

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

size

12 10 12 9 18 13 7 8 20 8

N.S.

1 0.83 1.00 0.75 1.50 1.08 0.58 0.67 1.67 0.67

time (sec)

N/A 0.210 0.046 0.650 0.030 0.071 0.606 0.116 0.170 16.031

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 23 17 27 26 33 29 24 37 19

N.S.

1 1.92 1.42 2.25 2.17 2.75 2.42 2.00 3.08 1.58

time (sec)

N/A 0.241 0.011 0.233 0.029 0.073 0.333 0.109 0.179 0.100

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 19 18 20 20 19 20 18 19

N.S.

1 1.00 1.00 0.95 1.05 1.05 1.00 1.05 0.95 1.00

time (sec)

N/A 0.240 0.015 0.036 0.028 0.076 2.025 0.115 0.167 17.259

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 53 52 50 49 65 51 51 84 69

N.S.

1 1.20 1.18 1.14 1.11 1.48 1.16 1.16 1.91 1.57

time (sec)

N/A 0.223 0.024 0.674 0.028 0.081 0.057 0.194 0.171 17.452

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 35 57 33 32 34 33 44 30

N.S.

1 1.00 0.95 1.54 0.89 0.86 0.92 0.89 1.19 0.81

time (sec)

N/A 0.207 0.088 1.013 0.025 0.074 0.045 0.399 0.184 17.108

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 63 68 58 57 73 61 59 92 85

N.S.

1 1.17 1.26 1.07 1.06 1.35 1.13 1.09 1.70 1.57

time (sec)

N/A 0.230 0.020 9.584 0.025 0.081 0.058 0.258 0.163 21.975

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 33 37 30 31 34 42 33 122 33

N.S.

1 0.89 1.00 0.81 0.84 0.92 1.14 0.89 3.30 0.89

time (sec)

N/A 0.266 0.081 0.426 0.025 0.069 105.457 0.113 0.158 0.100

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 54 42 46 46 49 49 42 53 69

N.S.

1 1.59 1.24 1.35 1.35 1.44 1.44 1.24 1.56 2.03

time (sec)

N/A 0.204 0.007 0.510 0.024 0.081 0.076 0.119 0.155 15.879

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 47 43 68 41 52 42 41 42 42

N.S.

1 1.09 1.00 1.58 0.95 1.21 0.98 0.95 0.98 0.98

time (sec)

N/A 0.216 0.015 387.679 0.032 0.071 0.046 0.131 0.170 15.645

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 85 87 72 73 92 0 73 74 74

N.S.

1 0.98 1.00 0.83 0.84 1.06 0.00 0.84 0.85 0.85

time (sec)

N/A 0.413 0.044 0.694 0.029 0.100 0.000 0.261 0.166 15.718

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 48 42 37 44 79 0 52 68 71

N.S.

1 1.14 1.00 0.88 1.05 1.88 0.00 1.24 1.62 1.69

time (sec)

N/A 0.355 0.033 16.600 0.031 0.082 0.000 0.147 0.162 17.409

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 63 63 49 57 84 0 57 58 57

N.S.

1 1.00 1.00 0.78 0.90 1.33 0.00 0.90 0.92 0.90

time (sec)

N/A 0.410 0.025 0.471 0.027 0.083 0.000 0.141 0.168 17.558

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 58 60 49 52 103 0 60 80 84

N.S.

1 0.97 1.00 0.82 0.87 1.72 0.00 1.00 1.33 1.40

time (sec)

N/A 0.372 0.026 59.396 0.024 0.088 0.000 0.201 0.169 18.043

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 59 38 41 42 44 41 154 42

N.S.

1 1.00 1.26 0.81 0.87 0.89 0.94 0.87 3.28 0.89

time (sec)

N/A 0.367 0.107 0.337 0.024 0.065 2.366 69.063 0.179 18.537

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 42 38 37 41 44 39 37 37

N.S.

1 1.00 0.98 0.88 0.86 0.95 1.02 0.91 0.86 0.86

time (sec)

N/A 0.364 0.018 2.159 0.028 0.086 0.399 0.152 0.169 0.081

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 46 42 69 44 79 41 52 68 71

N.S.

1 1.10 1.00 1.64 1.05 1.88 0.98 1.24 1.62 1.69

time (sec)

N/A 0.231 0.004 203.593 0.025 0.082 0.053 0.168 0.181 15.486

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

74 41 63 55 91 82 0 72 49 41

N.S.

1 0.55 0.85 0.74 1.23 1.11 0.00 0.97 0.66 0.55

time (sec)

N/A 0.603 0.080 0.135 0.104 0.083 0.000 0.205 0.162 16.443

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 47 32 176 39 17 949 38 34

N.S.

1 1.00 3.36 2.29 12.57 2.79 1.21 67.79 2.71 2.43

time (sec)

N/A 0.204 0.033 0.099 0.109 0.076 0.901 0.318 0.160 18.251

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

14 14 14 13 12 10 12 12 26 10

N.S.

1 1.00 1.00 0.93 0.86 0.71 0.86 0.86 1.86 0.71

time (sec)

N/A 0.218 0.012 0.201 0.024 0.074 0.539 0.165 0.167 0.182

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 15 11 10 0 24 0 9 26 18

N.S.

1 1.36 1.00 0.91 0.00 2.18 0.00 0.82 2.36 1.64

time (sec)

N/A 0.240 0.013 0.288 0.000 0.105 0.000 0.155 0.165 18.190

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 37 32 33 19 32 32 34 36 33

N.S.

1 1.09 0.94 0.97 0.56 0.94 0.94 1.00 1.06 0.97

time (sec)

N/A 0.369 0.021 0.203 0.058 0.063 0.496 0.128 0.163 17.124

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 25 18 17 17 24 17 18 18

N.S.

1 1.00 1.19 0.86 0.81 0.81 1.14 0.81 0.86 0.86

time (sec)

N/A 0.204 0.029 1.234 0.027 0.071 0.240 0.179 0.160 0.074

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 103 55 60 51 66 189 58 115 69

N.S.

1 1.05 0.56 0.61 0.52 0.67 1.93 0.59 1.17 0.70

time (sec)

N/A 0.316 0.142 0.519 0.028 0.070 0.190 0.161 0.169 15.434

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 40 41 59 51 0 70 48 64

N.S.

1 1.00 1.08 1.11 1.59 1.38 0.00 1.89 1.30 1.73

time (sec)

N/A 0.282 0.213 0.232 0.115 0.077 0.000 0.194 0.168 15.883

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 49 42 41 73 90 41 69 45

N.S.

1 1.00 0.86 0.74 0.72 1.28 1.58 0.72 1.21 0.79

time (sec)

N/A 0.266 0.072 0.677 0.031 0.077 0.591 0.142 0.171 16.220

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 243 68 96 0 85 0 0 27 51

N.S.

1 4.26 1.19 1.68 0.00 1.49 0.00 0.00 0.47 0.89

time (sec)

N/A 0.504 0.042 14.163 0.000 0.092 0.000 0.000 0.160 19.033

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

5 5 5 8 7 17 7 10 14 10

N.S.

1 1.00 1.00 1.60 1.40 3.40 1.40 2.00 2.80 2.00

time (sec)

N/A 0.205 0.002 0.134 0.029 0.062 0.989 0.144 0.167 17.658

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 0 11 12 11 11 0 0 11 11

N.S.

1 0.00 1.00 1.09 1.00 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.000 0.222 1.814 0.085 0.071 0.000 0.000 0.161 18.811

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A B A F B F B

verified

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

size

27 0 24 22 74 27 0 93 17 38

N.S.

1 0.00 0.89 0.81 2.74 1.00 0.00 3.44 0.63 1.41

time (sec)

N/A 0.000 0.148 0.620 0.112 0.079 0.000 0.143 0.161 0.515

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 75 50 48 66 50 100 51 68 65

N.S.

1 1.15 0.77 0.74 1.02 0.77 1.54 0.78 1.05 1.00

time (sec)

N/A 0.489 0.053 0.531 0.038 0.072 0.175 0.120 0.170 17.533

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F F F B

verified

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

size

8 8 8 17 10 14 0 0 11 10

N.S.

1 1.00 1.00 2.12 1.25 1.75 0.00 0.00 1.38 1.25

time (sec)

N/A 0.174 0.021 0.033 0.025 0.070 0.000 0.000 0.165 0.157

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F B A F F F B

verified

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

size

32 32 32 0 125 41 0 0 29 45

N.S.

1 1.00 1.00 0.00 3.91 1.28 0.00 0.00 0.91 1.41

time (sec)

N/A 0.210 0.057 0.000 0.114 0.083 0.000 0.000 0.170 17.410

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

3 3 3 4 45 3 0 3 46 26

N.S.

1 1.00 1.00 1.33 15.00 1.00 0.00 1.00 15.33 8.67

time (sec)

N/A 0.230 0.014 0.195 0.035 0.071 0.000 0.123 0.175 16.567

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 32 31 35 27 39 27 35 34

N.S.

1 1.00 0.91 0.89 1.00 0.77 1.11 0.77 1.00 0.97

time (sec)

N/A 0.248 0.071 0.206 0.032 0.068 0.094 0.132 0.178 0.066

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

8 8 8 7 17 6 5 6 10 0

N.S.

1 1.00 1.00 0.88 2.12 0.75 0.62 0.75 1.25 0.00

time (sec)

N/A 0.146 0.003 0.168 0.058 0.063 0.349 0.140 0.177 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 29 29 30 0 29 0 29 14 0

N.S.

1 0.78 0.78 0.81 0.00 0.78 0.00 0.78 0.38 0.00

time (sec)

N/A 0.353 0.043 0.203 0.000 0.071 0.000 0.161 0.162 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 11 10 10 10 10 10 41

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 2.93

time (sec)

N/A 0.161 0.005 0.065 0.024 0.072 4.266 0.115 0.175 16.109

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

10 10 10 9 8 20 7 8 24 19

N.S.

1 1.00 1.00 0.90 0.80 2.00 0.70 0.80 2.40 1.90

time (sec)

N/A 0.195 0.003 0.197 0.031 0.068 0.488 0.157 0.164 16.494

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 17 16 15 15 27 15 15 56

N.S.

1 1.00 1.00 0.94 0.88 0.88 1.59 0.88 0.88 3.29

time (sec)

N/A 0.175 0.014 7.867 0.029 0.082 1.275 0.115 0.165 16.356

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 149 120 127 126 85 241 155 157 147

N.S.

1 1.16 0.93 0.98 0.98 0.66 1.87 1.20 1.22 1.14

time (sec)

N/A 0.546 0.379 8.948 0.047 0.083 3.493 0.155 0.178 16.775

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 128 352 160 3830 115 0 1363 370 730

N.S.

1 1.16 3.20 1.45 34.82 1.05 0.00 12.39 3.36 6.64

time (sec)

N/A 0.577 0.763 69.183 0.259 0.083 0.000 0.670 0.186 31.182

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F B B B

verified

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

size

6 6 6 7 36 12 0 20 12 14

N.S.

1 1.00 1.00 1.17 6.00 2.00 0.00 3.33 2.00 2.33

time (sec)

N/A 0.209 0.017 0.148 0.031 0.063 0.000 0.130 0.170 17.216

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

4 4 4 5 4 4 3 4 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.00 1.00 1.00

time (sec)

N/A 0.183 0.001 0.161 0.024 0.071 0.082 0.103 0.165 0.087

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 27 30 24 98 39 22 908 71 23

N.S.

1 1.00 1.11 0.89 3.63 1.44 0.81 33.63 2.63 0.85

time (sec)

N/A 0.248 0.013 0.188 0.109 0.076 0.676 0.263 0.205 0.105

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 28 0 0 0 0 86 22

N.S.

1 0.00 1.00 1.08 0.00 0.00 0.00 0.00 3.31 0.85

time (sec)

N/A 0.000 0.343 0.950 0.000 0.000 0.000 0.000 0.199 16.921

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 26 28 24 26 0 26 26 27 26

N.S.

1 1.00 1.08 0.92 1.00 0.00 1.00 1.00 1.04 1.00

time (sec)

N/A 0.264 4.826 0.027 1.111 0.000 2.078 0.246 0.172 17.363

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 0 9 24 82 10 10 69 9 10

N.S.

1 0.00 1.00 2.67 9.11 1.11 1.11 7.67 1.00 1.11

time (sec)

N/A 0.000 0.311 0.335 0.177 0.078 0.150 0.114 0.174 16.220

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 79 76 60 57 60 150 62 72 111

N.S.

1 1.03 0.99 0.78 0.74 0.78 1.95 0.81 0.94 1.44

time (sec)

N/A 0.498 0.176 1.984 0.033 0.075 0.176 0.110 0.166 20.296

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 161 134 125 131 123 326 143 191 210

N.S.

1 1.00 0.83 0.78 0.81 0.76 2.02 0.89 1.19 1.30

time (sec)

N/A 0.794 0.280 52.228 0.036 0.083 0.533 0.158 0.169 19.789

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 86 105 70 79 72 201 70 92 73

N.S.

1 0.97 1.18 0.79 0.89 0.81 2.26 0.79 1.03 0.82

time (sec)

N/A 0.502 0.191 2.264 0.033 0.073 0.211 0.132 0.169 15.891

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

288 288 167 182 218 162 541 186 316 456

N.S.

1 1.00 0.58 0.63 0.76 0.56 1.88 0.65 1.10 1.58

time (sec)

N/A 0.728 1.649 85.758 0.041 0.085 0.574 0.141 0.164 17.416

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 61 55 132 0 102 0 0 47 51

N.S.

1 1.00 0.90 2.16 0.00 1.67 0.00 0.00 0.77 0.84

time (sec)

N/A 0.496 0.577 0.405 0.000 0.084 0.000 0.000 0.168 16.437

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 148 137 256 0 198 0 0 116 129

N.S.

1 1.00 0.93 1.73 0.00 1.34 0.00 0.00 0.78 0.87

time (sec)

N/A 0.505 1.067 0.531 0.000 0.089 0.000 0.000 0.167 20.241

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 62 43 32 50 30 73 31 61 35

N.S.

1 1.82 1.26 0.94 1.47 0.88 2.15 0.91 1.79 1.03

time (sec)

N/A 0.329 0.071 0.323 0.037 0.070 0.528 0.189 0.155 16.235

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 66 43 34 62 30 71 31 63 35

N.S.

1 1.83 1.19 0.94 1.72 0.83 1.97 0.86 1.75 0.97

time (sec)

N/A 0.331 0.101 0.307 0.041 0.066 0.525 0.231 0.159 15.916

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A B A F B

verified

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

size

116 119 73 111 0 150 379 128 34 226

N.S.

1 1.03 0.63 0.96 0.00 1.29 3.27 1.10 0.29 1.95

time (sec)

N/A 0.799 8.777 1.291 0.000 0.095 86.499 0.297 0.171 17.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 70 25 72 58 74 122 48 63 23

N.S.

1 2.50 0.89 2.57 2.07 2.64 4.36 1.71 2.25 0.82

time (sec)

N/A 0.339 0.027 0.734 0.108 0.076 1.774 0.219 0.160 15.748

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A F B

verified

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

size

55 56 42 51 154 42 76 52 63 105

N.S.

1 1.02 0.76 0.93 2.80 0.76 1.38 0.95 1.15 1.91

time (sec)

N/A 0.534 9.862 0.671 0.120 0.083 0.434 0.163 0.163 15.678

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A A B A F B

verified

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

size

16 16 33 15 22 16 32 14 63 14

N.S.

1 1.00 2.06 0.94 1.38 1.00 2.00 0.88 3.94 0.88

time (sec)

N/A 0.250 0.013 0.428 0.031 0.070 0.112 0.141 0.161 15.424

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 18 19 18 22 31 29 18 50

N.S.

1 1.00 1.00 1.06 1.00 1.22 1.72 1.61 1.00 2.78

time (sec)

N/A 0.202 0.163 0.250 0.025 0.071 0.218 0.129 0.153 15.454

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

19 31 19 30 70 22 0 29 53 50

N.S.

1 1.63 1.00 1.58 3.68 1.16 0.00 1.53 2.79 2.63

time (sec)

N/A 0.449 0.390 0.394 0.116 0.074 0.000 0.173 0.157 16.469

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A F B

verified

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

size

17 23 33 15 23 17 0 14 63 14

N.S.

1 1.35 1.94 0.88 1.35 1.00 0.00 0.82 3.71 0.82

time (sec)

N/A 0.334 0.008 0.334 0.027 0.068 0.000 0.179 0.188 16.095

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A F B

verified

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

size

54 56 42 51 154 42 0 52 63 106

N.S.

1 1.04 0.78 0.94 2.85 0.78 0.00 0.96 1.17 1.96

time (sec)

N/A 0.682 11.056 0.776 0.121 0.079 0.000 0.259 0.153 16.280

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 70 26 72 58 74 0 48 63 23

N.S.

1 2.41 0.90 2.48 2.00 2.55 0.00 1.66 2.17 0.79

time (sec)

N/A 1.205 0.020 0.559 0.106 0.081 0.000 0.203 0.155 16.021

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