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

2.2.10 Integrals 901 to 1000

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 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 62 51 44 56 111 139 52 50

N.S.

1 0.90 0.74 0.64 0.81 1.61 2.01 0.75 0.72

time (sec)

N/A 0.212 0.051 284.720 0.196 0.249 2.172 0.271 0.541

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

57 47 45 47 50 95 177 57 43

N.S.

1 0.82 0.79 0.82 0.88 1.67 3.11 1.00 0.75

time (sec)

N/A 0.217 0.052 19.050 0.188 0.250 0.934 0.260 2.540

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 32 28 26 29 53 76 26 26

N.S.

1 0.91 0.80 0.74 0.83 1.51 2.17 0.74 0.74

time (sec)

N/A 0.198 0.005 1.799 0.181 0.243 0.391 0.258 2.364

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 22 22 27 38 49 0 32 38

N.S.

1 0.88 0.88 1.08 1.52 1.96 0.00 1.28 1.52

time (sec)

N/A 0.170 0.007 0.063 0.189 0.270 0.000 0.261 0.065

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 38 34 25 45 103 0 46 36

N.S.

1 0.93 0.83 0.61 1.10 2.51 0.00 1.12 0.88

time (sec)

N/A 0.203 0.039 0.118 0.185 0.261 0.000 0.260 2.365

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 77 59 55 78 387 0 62 102

N.S.

1 1.10 0.84 0.79 1.11 5.53 0.00 0.89 1.46

time (sec)

N/A 0.214 0.063 0.441 0.200 0.253 0.000 0.262 0.148

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

91 73 67 89 77 167 294 81 65

N.S.

1 0.80 0.74 0.98 0.85 1.84 3.23 0.89 0.71

time (sec)

N/A 0.240 0.071 0.032 0.183 0.261 5.104 0.272 0.630

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 45 40 41 38 90 144 36 36

N.S.

1 0.92 0.82 0.84 0.78 1.84 2.94 0.73 0.73

time (sec)

N/A 0.222 0.024 96.043 0.199 0.258 2.201 0.254 0.520

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

57 45 43 47 50 96 175 57 42

N.S.

1 0.79 0.75 0.82 0.88 1.68 3.07 1.00 0.74

time (sec)

N/A 0.215 0.050 10.561 0.191 0.253 0.881 0.276 0.287

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 48 37 41 50 72 0 39 35

N.S.

1 1.14 0.88 0.98 1.19 1.71 0.00 0.93 0.83

time (sec)

N/A 0.211 0.026 0.372 0.203 0.271 0.000 0.263 2.359

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 47 179 48 62 198 0 56 62

N.S.

1 0.89 3.38 0.91 1.17 3.74 0.00 1.06 1.17

time (sec)

N/A 0.198 1.167 0.081 0.202 0.268 0.000 0.251 2.389

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 59 46 35 69 262 0 59 65

N.S.

1 0.95 0.74 0.56 1.11 4.23 0.00 0.95 1.05

time (sec)

N/A 0.229 0.070 0.147 0.197 0.254 0.000 0.263 2.461

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 60 51 88 54 154 202 52 50

N.S.

1 0.87 0.74 1.28 0.78 2.23 2.93 0.75 0.72

time (sec)

N/A 0.227 0.032 0.047 0.190 0.254 11.958 0.272 2.708

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

91 75 67 84 77 165 325 81 65

N.S.

1 0.82 0.74 0.92 0.85 1.81 3.57 0.89 0.71

time (sec)

N/A 0.243 0.075 0.028 0.197 0.250 5.273 0.257 0.622

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 62 51 52 56 111 139 52 50

N.S.

1 0.90 0.74 0.75 0.81 1.61 2.01 0.75 0.72

time (sec)

N/A 0.216 0.030 48.589 0.201 0.253 2.211 0.247 0.526

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 51 68 50 65 170 0 57 66

N.S.

1 0.86 1.15 0.85 1.10 2.88 0.00 0.97 1.12

time (sec)

N/A 0.217 0.057 5.153 0.190 0.253 0.000 0.263 2.372

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 52 56 68 213 0 63 53

N.S.

1 1.02 0.83 0.89 1.08 3.38 0.00 1.00 0.84

time (sec)

N/A 0.226 0.083 0.802 0.204 0.252 0.000 0.252 2.474

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 72 286 77 88 459 0 72 97

N.S.

1 0.89 3.53 0.95 1.09 5.67 0.00 0.89 1.20

time (sec)

N/A 0.215 1.055 0.139 0.192 0.265 0.000 0.267 0.081

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

57 57 43 47 52 152 235 46 42

N.S.

1 1.00 0.75 0.82 0.91 2.67 4.12 0.81 0.74

time (sec)

N/A 0.221 0.078 290.280 0.208 0.260 2.192 0.248 0.575

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 57 51 55 53 105 128 54 47

N.S.

1 0.86 0.77 0.83 0.80 1.59 1.94 0.82 0.71

time (sec)

N/A 0.218 0.068 21.420 0.189 0.268 0.873 0.262 0.251

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 32 25 19 24 91 117 18 18

N.S.

1 1.39 1.09 0.83 1.04 3.96 5.09 0.78 0.78

time (sec)

N/A 0.198 0.014 1.926 0.189 0.251 0.430 0.264 2.431

Problem 922

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

37 37 34 38 57 64 0 30 30

N.S.

1 1.00 0.92 1.03 1.54 1.73 0.00 0.81 0.81

time (sec)

N/A 0.197 0.028 0.104 0.190 0.263 0.000 0.258 0.064

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 47 66 65 76 200 0 55 63

N.S.

1 0.87 1.22 1.20 1.41 3.70 0.00 1.02 1.17

time (sec)

N/A 0.200 0.092 0.162 0.199 0.267 0.000 0.262 2.382

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 55 48 56 86 262 0 48 66

N.S.

1 0.87 0.76 0.89 1.37 4.16 0.00 0.76 1.05

time (sec)

N/A 0.228 0.061 0.430 0.197 0.265 0.000 0.260 2.420

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 85 73 108 78 175 197 82 69

N.S.

1 0.85 0.73 1.08 0.78 1.75 1.97 0.82 0.69

time (sec)

N/A 0.238 0.076 0.024 0.199 0.271 5.636 0.265 0.609

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 48 38 44 42 108 128 43 39

N.S.

1 0.92 0.73 0.85 0.81 2.08 2.46 0.83 0.75

time (sec)

N/A 0.227 0.028 107.880 0.197 0.264 2.350 0.266 0.542

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 55 54 55 53 105 128 54 47

N.S.

1 0.83 0.82 0.83 0.80 1.59 1.94 0.82 0.71

time (sec)

N/A 0.213 0.032 10.725 0.195 0.260 1.011 0.275 2.527

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 41 58 54 61 98 0 46 53

N.S.

1 0.91 1.29 1.20 1.36 2.18 0.00 1.02 1.18

time (sec)

N/A 0.201 0.097 0.515 0.191 0.254 0.000 0.261 0.089

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 53 49 57 86 195 0 56 51

N.S.

1 0.90 0.83 0.97 1.46 3.31 0.00 0.95 0.86

time (sec)

N/A 0.206 0.050 0.218 0.193 0.266 0.000 0.289 2.375

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 84 247 78 96 459 0 72 98

N.S.

1 0.99 2.91 0.92 1.13 5.40 0.00 0.85 1.15

time (sec)

N/A 0.224 3.665 0.292 0.197 0.270 0.000 0.281 2.492

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

57 59 45 61 52 186 382 46 46

N.S.

1 1.04 0.79 1.07 0.91 3.26 6.70 0.81 0.81

time (sec)

N/A 0.231 0.040 0.025 0.202 0.260 12.490 0.255 2.549

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 85 73 108 76 176 197 82 69

N.S.

1 0.85 0.73 1.08 0.76 1.76 1.97 0.82 0.69

time (sec)

N/A 0.237 0.072 0.043 0.196 0.271 5.490 0.265 0.602

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

57 59 43 47 52 152 233 46 42

N.S.

1 1.04 0.75 0.82 0.91 2.67 4.09 0.81 0.74

time (sec)

N/A 0.221 0.044 48.701 0.192 0.256 2.334 0.262 0.576

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

59 50 48 55 70 127 0 50 49

N.S.

1 0.85 0.81 0.93 1.19 2.15 0.00 0.85 0.83

time (sec)

N/A 0.228 0.040 5.520 0.196 0.277 0.000 0.282 0.102

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 66 220 79 87 272 0 69 77

N.S.

1 0.90 3.01 1.08 1.19 3.73 0.00 0.95 1.05

time (sec)

N/A 0.224 1.011 1.105 0.200 0.280 0.000 0.264 2.517

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 73 61 70 106 398 0 70 80

N.S.

1 0.91 0.76 0.88 1.32 4.98 0.00 0.88 1.00

time (sec)

N/A 0.224 0.102 0.334 0.199 0.272 0.000 0.276 0.078

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 127 42 40 90 373 0 90 91

N.S.

1 1.12 0.37 0.35 0.80 3.30 0.00 0.80 0.81

time (sec)

N/A 0.335 0.029 0.635 0.283 0.263 0.000 0.261 0.279

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 148 120 44 101 882 0 95 122

N.S.

1 1.15 0.93 0.34 0.78 6.84 0.00 0.74 0.95

time (sec)

N/A 0.360 0.075 5.142 0.278 0.278 0.000 0.263 2.653

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 150 58 48 105 920 0 99 112

N.S.

1 1.15 0.45 0.37 0.81 7.08 0.00 0.76 0.86

time (sec)

N/A 0.377 0.053 1.463 0.284 0.269 0.000 0.269 2.674

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 171 64 50 115 1616 0 103 154

N.S.

1 1.15 0.43 0.34 0.77 10.85 0.00 0.69 1.03

time (sec)

N/A 0.405 0.065 13.555 0.276 0.286 0.000 0.266 2.831

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 44 31 24 34 202 0 35 38

N.S.

1 1.29 0.91 0.71 1.00 5.94 0.00 1.03 1.12

time (sec)

N/A 0.198 0.039 0.176 0.272 0.270 0.000 0.261 0.216

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 67 54 54 47 522 0 42 80

N.S.

1 1.26 1.02 1.02 0.89 9.85 0.00 0.79 1.51

time (sec)

N/A 0.220 0.064 0.527 0.266 0.272 0.000 0.261 2.713

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 69 161 56 47 557 0 42 62

N.S.

1 1.25 2.93 1.02 0.85 10.13 0.00 0.76 1.13

time (sec)

N/A 0.236 2.620 0.238 0.283 0.271 0.000 0.267 2.700

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 92 310 60 59 992 0 48 114

N.S.

1 1.23 4.13 0.80 0.79 13.23 0.00 0.64 1.52

time (sec)

N/A 0.263 4.683 0.470 0.266 0.279 0.000 0.259 2.924

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 86 202 0 505 1295 93 228

N.S.

1 1.00 0.63 1.47 0.00 3.69 9.45 0.68 1.66

time (sec)

N/A 0.323 0.776 0.040 0.000 0.270 7.773 0.261 1.196

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 80 178 0 379 972 86 126

N.S.

1 1.00 0.63 1.40 0.00 2.98 7.65 0.68 0.99

time (sec)

N/A 0.317 0.756 24.584 0.000 0.264 2.742 0.266 2.997

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 69 47 61 0 142 304 47 58

N.S.

1 1.05 0.71 0.92 0.00 2.15 4.61 0.71 0.88

time (sec)

N/A 0.267 0.062 2.071 0.000 0.276 0.970 0.255 2.561

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 38 37 0 97 184 40 54

N.S.

1 1.00 0.70 0.69 0.00 1.80 3.41 0.74 1.00

time (sec)

N/A 0.205 0.019 0.120 0.000 0.265 0.457 0.260 2.516

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

53 53 120 0 0 0 0 0 0

N.S.

1 1.00 2.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.519 0.000 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 101 105 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.345 0.000 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

113 113 159 0 0 0 0 0 0

N.S.

1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.466 1.127 0.000 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 117 278 0 919 2693 132 395

N.S.

1 1.00 0.60 1.43 0.00 4.71 13.81 0.68 2.03

time (sec)

N/A 0.388 0.784 0.027 0.000 0.277 26.295 0.271 3.311

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 58 97 0 303 819 58 96

N.S.

1 1.00 0.70 1.17 0.00 3.65 9.87 0.70 1.16

time (sec)

N/A 0.281 0.271 112.680 0.000 0.262 6.137 0.265 3.389

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 80 178 0 381 972 86 126

N.S.

1 1.00 0.63 1.40 0.00 3.00 7.65 0.68 0.99

time (sec)

N/A 0.302 0.390 11.292 0.000 0.263 2.598 0.255 2.904

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 55 60 0 176 435 58 68

N.S.

1 1.00 0.58 0.63 0.00 1.85 4.58 0.61 0.72

time (sec)

N/A 0.265 0.120 0.217 0.000 0.264 1.052 0.268 0.267

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 115 85 0 0 0 0 0 0

N.S.

1 1.12 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.419 0.220 0.000 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 94 148 0 0 0 0 0 0

N.S.

1 1.00 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.721 0.000 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

151 151 111 0 0 0 0 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 0.994 0.000 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 113 202 0 676 1916 93 182

N.S.

1 1.00 0.82 1.47 0.00 4.93 13.99 0.68 1.33

time (sec)

N/A 0.331 0.719 0.030 0.000 0.269 68.042 0.277 1.003

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 118 278 0 917 2761 132 393

N.S.

1 1.00 0.61 1.43 0.00 4.70 14.16 0.68 2.02

time (sec)

N/A 0.374 0.808 0.025 0.000 0.258 25.243 0.275 3.204

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 86 202 0 501 1292 93 163

N.S.

1 1.00 0.63 1.47 0.00 3.66 9.43 0.68 1.19

time (sec)

N/A 0.314 0.596 63.865 0.000 0.266 7.786 0.264 3.467

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 141 106 100 0 381 1046 86 125

N.S.

1 0.98 0.74 0.69 0.00 2.65 7.26 0.60 0.87

time (sec)

N/A 0.352 0.348 0.532 0.000 0.256 2.951 0.262 2.924

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

125 152 172 0 0 0 0 0 0

N.S.

1 1.22 1.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.480 0.844 0.000 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

160 172 145 0 0 0 0 0 0

N.S.

1 1.08 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 0.966 0.000 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

135 135 176 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.375 1.818 0.000 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

73 73 51 0 0 0 0 0 0

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.733 4.796 0.000 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 17 16 26 36 30 16

N.S.

1 1.00 1.00 1.00 0.94 1.53 2.12 1.76 0.94

time (sec)

N/A 0.202 0.034 2.457 0.181 0.257 0.139 0.281 0.101

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 22 22 35 49 38 38

N.S.

1 1.00 1.00 1.00 1.00 1.59 2.23 1.73 1.73

time (sec)

N/A 0.203 0.100 0.174 0.190 0.252 1.399 0.273 2.488

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 22 22 35 48 38 38

N.S.

1 1.00 0.96 0.96 0.96 1.52 2.09 1.65 1.65

time (sec)

N/A 0.206 0.021 0.105 0.195 0.258 0.311 0.293 2.413

Problem 970

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

13 13 13 0 0 13 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.053 0.000 0.000 0.243 0.000 0.000 0.000

Problem 971

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

18 18 18 0 0 19 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.206 0.083 0.000 0.000 0.257 0.000 0.000 0.000

Problem 972

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

19 19 18 0 0 19 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.206 0.037 0.000 0.000 0.253 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 17 16 26 36 30 16

N.S.

1 1.00 1.00 1.00 0.94 1.53 2.12 1.76 0.94

time (sec)

N/A 0.191 0.013 1.490 0.186 0.249 0.169 0.268 0.073

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 22 22 35 49 38 38

N.S.

1 1.00 1.00 1.00 1.00 1.59 2.23 1.73 1.73

time (sec)

N/A 0.200 0.097 0.224 0.194 0.254 1.874 0.278 2.423

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 22 22 35 48 38 38

N.S.

1 1.00 0.96 0.96 0.96 1.52 2.09 1.65 1.65

time (sec)

N/A 0.194 0.023 0.158 0.192 0.243 0.380 0.264 2.369

Problem 976

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

13 13 13 0 0 13 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.203 0.071 0.000 0.000 0.258 0.000 0.000 0.000

Problem 977

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

18 18 18 0 0 19 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.208 0.095 0.000 0.000 0.259 0.000 0.000 0.000

Problem 978

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

19 19 18 0 0 19 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.201 0.035 0.000 0.000 0.247 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 42 0 45 50

N.S.

1 1.00 1.00 1.09 1.00 3.82 0.00 4.09 4.55

time (sec)

N/A 0.203 0.009 1.499 0.198 0.260 0.000 0.251 0.188

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 9 24 35 19 0 5 5

N.S.

1 1.00 3.00 8.00 11.67 6.33 0.00 1.67 1.67

time (sec)

N/A 0.196 0.001 1.429 0.341 0.249 0.000 0.258 0.076

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 9 26 11 21 0 11 11

N.S.

1 1.00 0.82 2.36 1.00 1.91 0.00 1.00 1.00

time (sec)

N/A 0.197 0.061 1.617 0.307 0.246 0.000 0.245 2.355

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 19 69 0 39 54

N.S.

1 1.00 1.00 1.05 1.00 3.63 0.00 2.05 2.84

time (sec)

N/A 0.208 0.142 30.523 0.192 0.275 0.000 0.258 2.532

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 6 11 13 12 14 29 12 12

N.S.

1 1.50 2.75 3.25 3.00 3.50 7.25 3.00 3.00

time (sec)

N/A 0.224 0.004 1.013 0.190 0.242 0.318 0.251 2.453

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 11 13 12 14 29 12 12

N.S.

1 1.00 2.75 3.25 3.00 3.50 7.25 3.00 3.00

time (sec)

N/A 0.244 0.001 0.901 0.227 0.249 0.311 0.251 2.391

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 27 26 0 23 0 9 9

N.S.

1 1.00 5.40 5.20 0.00 4.60 0.00 1.80 1.80

time (sec)

N/A 0.229 0.041 2.361 0.000 0.239 0.000 0.254 2.384

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 11 24 29 77 0 29 23

N.S.

1 1.00 0.73 1.60 1.93 5.13 0.00 1.93 1.53

time (sec)

N/A 0.246 0.011 1.735 0.205 0.246 0.000 0.262 0.094

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 11 21 32 53 0 26 20

N.S.

1 1.00 0.73 1.40 2.13 3.53 0.00 1.73 1.33

time (sec)

N/A 0.245 0.078 1.949 0.228 0.275 0.000 0.286 2.410

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 115 74 31 0 309 0 1 169

N.S.

1 1.13 0.73 0.30 0.00 3.03 0.00 0.01 1.66

time (sec)

N/A 0.359 0.232 2.774 0.000 0.272 0.000 0.265 4.110

Problem 989

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 Yes TBD TBD TBD TBD TBD

size

22 20 22 40 0 32 0 19 19

N.S.

1 0.91 1.00 1.82 0.00 1.45 0.00 0.86 0.86

time (sec)

N/A 0.242 0.099 2.085 0.000 0.254 0.000 0.283 0.109

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 75 66 172 0 113 297

N.S.

1 1.00 0.93 2.68 2.36 6.14 0.00 4.04 10.61

time (sec)

N/A 0.299 0.204 1.825 0.282 0.254 0.000 0.285 2.759

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 52 60 151 688 0 264 107

N.S.

1 1.00 0.98 1.13 2.85 12.98 0.00 4.98 2.02

time (sec)

N/A 0.372 0.281 4.509 0.290 0.266 0.000 0.286 2.785

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 122 116 276 1975 0 543 1347

N.S.

1 1.00 1.56 1.49 3.54 25.32 0.00 6.96 17.27

time (sec)

N/A 0.379 0.485 11.445 0.295 0.286 0.000 0.296 3.338

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 73 0 32 32

N.S.

1 1.00 1.00 0.92 0.83 6.08 0.00 2.67 2.67

time (sec)

N/A 0.267 0.104 11.843 0.189 0.238 0.000 0.287 2.539

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 45 67 26 25 778 0 66 820

N.S.

1 1.36 2.03 0.79 0.76 23.58 0.00 2.00 24.85

time (sec)

N/A 0.326 0.014 0.035 0.190 0.245 0.000 0.296 2.408

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 27 24 122 50 0 28 47

N.S.

1 1.00 1.04 0.92 4.69 1.92 0.00 1.08 1.81

time (sec)

N/A 0.292 3.093 3.658 0.284 0.251 0.000 0.272 0.528

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 5 12 14 0 12 12

N.S.

1 1.00 1.00 1.25 3.00 3.50 0.00 3.00 3.00

time (sec)

N/A 0.183 0.001 0.142 0.188 0.243 0.000 0.271 2.368

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 40 20 36 0 67 0 35 50

N.S.

1 2.00 1.00 1.80 0.00 3.35 0.00 1.75 2.50

time (sec)

N/A 0.322 0.090 0.333 0.000 0.248 0.000 0.267 0.179

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

9 9 43 0 0 112 0 44 0

N.S.

1 1.00 4.78 0.00 0.00 12.44 0.00 4.89 0.00

time (sec)

N/A 0.217 0.040 0.000 0.000 0.243 0.000 0.264 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 47 8 0 118 0 44 0

N.S.

1 1.00 5.22 0.89 0.00 13.11 0.00 4.89 0.00

time (sec)

N/A 0.216 0.045 0.154 0.000 0.246 0.000 0.266 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 46 13 0 154 0 85 0

N.S.

1 1.00 3.29 0.93 0.00 11.00 0.00 6.07 0.00

time (sec)

N/A 0.215 0.034 0.156 0.000 0.249 0.000 0.283 0.000

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