[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 A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 29 32 35 26 66 32

N.S.

1 1.00 1.00 0.88 0.97 1.06 0.79 2.00 0.97

time (sec)

N/A 0.373 0.025 0.645 0.200 0.257 0.146 0.285 0.078

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 53 43 49 64 41 74 48

N.S.

1 0.98 1.00 0.81 0.92 1.21 0.77 1.40 0.91

time (sec)

N/A 0.450 0.042 0.629 0.189 0.244 0.128 0.263 3.879

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 66 63 56 75 100 83 93 71

N.S.

1 0.93 0.89 0.79 1.06 1.41 1.17 1.31 1.00

time (sec)

N/A 0.453 0.047 0.601 0.193 0.254 0.171 0.270 3.919

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 102 89 82 107 163 114 130 104

N.S.

1 0.92 0.80 0.74 0.96 1.47 1.03 1.17 0.94

time (sec)

N/A 0.501 0.073 0.593 0.193 0.243 0.336 0.267 0.121

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 129 98 108 135 207 144 170 131

N.S.

1 0.88 0.67 0.74 0.92 1.42 0.99 1.16 0.90

time (sec)

N/A 0.525 0.111 0.603 0.195 0.252 0.479 0.270 0.155

Problem 806

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

343 328 120 189 380 201 0 524 332

N.S.

1 0.96 0.35 0.55 1.11 0.59 0.00 1.53 0.97

time (sec)

N/A 0.513 0.347 0.111 0.293 0.278 0.000 0.320 3.979

Problem 807

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

269 258 110 173 302 179 0 394 258

N.S.

1 0.96 0.41 0.64 1.12 0.67 0.00 1.46 0.96

time (sec)

N/A 0.450 0.247 0.095 0.279 0.257 0.000 0.308 0.109

Problem 808

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

195 184 94 157 223 156 0 264 183

N.S.

1 0.94 0.48 0.81 1.14 0.80 0.00 1.35 0.94

time (sec)

N/A 0.378 0.198 0.087 0.296 0.257 0.000 0.300 3.881

Problem 809

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

108 112 55 127 117 107 0 121 84

N.S.

1 1.04 0.51 1.18 1.08 0.99 0.00 1.12 0.78

time (sec)

N/A 0.302 0.147 0.076 0.299 0.259 0.000 0.282 3.872

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 102 57 138 121 67 0 0 86

N.S.

1 0.97 0.54 1.31 1.15 0.64 0.00 0.00 0.82

time (sec)

N/A 0.297 0.139 0.199 0.197 0.252 0.000 0.000 0.060

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 171 85 213 163 119 0 0 137

N.S.

1 0.96 0.47 1.19 0.91 0.66 0.00 0.00 0.77

time (sec)

N/A 0.348 0.344 0.229 0.188 0.247 0.000 0.000 3.875

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 241 101 287 197 161 0 0 178

N.S.

1 0.95 0.40 1.13 0.77 0.63 0.00 0.00 0.70

time (sec)

N/A 0.409 0.437 0.238 0.194 0.249 0.000 0.000 0.063

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 312 117 361 231 205 0 0 217

N.S.

1 0.95 0.36 1.10 0.70 0.62 0.00 0.00 0.66

time (sec)

N/A 0.462 0.534 0.244 0.201 0.254 0.000 0.000 4.266

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 73 90 64 81 89 88 82 67

N.S.

1 0.81 1.00 0.71 0.90 0.99 0.98 0.91 0.74

time (sec)

N/A 0.457 0.043 0.778 0.190 0.247 0.251 0.275 4.029

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 60 76 55 70 78 76 71 56

N.S.

1 0.79 1.00 0.72 0.92 1.03 1.00 0.93 0.74

time (sec)

N/A 0.437 0.032 0.729 0.184 0.240 0.170 0.278 0.106

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 34 40 32 37 43 39 38 35

N.S.

1 0.85 1.00 0.80 0.92 1.08 0.98 0.95 0.88

time (sec)

N/A 0.416 0.025 0.663 0.194 0.233 0.093 0.274 0.078

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 21 26 20 22 25

N.S.

1 1.00 1.00 1.05 1.00 1.24 0.95 1.05 1.19

time (sec)

N/A 0.363 0.019 0.625 0.198 0.232 0.055 0.272 0.065

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 36 28 36 34 38 36 36 33

N.S.

1 1.03 0.80 1.03 0.97 1.09 1.03 1.03 0.94

time (sec)

N/A 0.427 0.039 0.543 0.200 0.244 0.075 0.273 0.103

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 70 70 60 69 92 75 57 68

N.S.

1 0.96 0.96 0.82 0.95 1.26 1.03 0.78 0.93

time (sec)

N/A 0.466 0.059 0.555 0.184 0.244 0.201 0.266 4.024

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 97 104 84 97 137 102 80 94

N.S.

1 0.90 0.96 0.78 0.90 1.27 0.94 0.74 0.87

time (sec)

N/A 0.493 0.088 0.543 0.194 0.257 0.341 0.263 0.121

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 128 124 108 145 233 156 96 142

N.S.

1 0.90 0.87 0.76 1.01 1.63 1.09 0.67 0.99

time (sec)

N/A 0.527 0.107 0.566 0.199 0.246 0.474 0.266 0.163

Problem 822

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

343 325 126 180 379 201 0 525 332

N.S.

1 0.95 0.37 0.52 1.10 0.59 0.00 1.53 0.97

time (sec)

N/A 0.510 0.306 0.105 0.284 0.255 0.000 0.331 0.168

Problem 823

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

269 257 110 173 301 179 0 395 258

N.S.

1 0.96 0.41 0.64 1.12 0.67 0.00 1.47 0.96

time (sec)

N/A 0.434 0.250 0.103 0.276 0.259 0.000 0.302 0.114

Problem 824

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

195 189 94 157 224 156 0 264 183

N.S.

1 0.97 0.48 0.81 1.15 0.80 0.00 1.35 0.94

time (sec)

N/A 0.386 0.197 0.087 0.289 0.274 0.000 0.289 0.093

Problem 825

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

76 81 57 130 118 103 0 122 84

N.S.

1 1.07 0.75 1.71 1.55 1.36 0.00 1.61 1.11

time (sec)

N/A 0.272 0.169 0.143 0.278 0.260 0.000 0.282 0.064

Problem 826

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

144 141 69 173 140 96 0 59 114

N.S.

1 0.98 0.48 1.20 0.97 0.67 0.00 0.41 0.79

time (sec)

N/A 0.321 0.158 0.146 0.186 0.246 0.000 0.292 3.920

Problem 827

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

181 173 78 207 161 135 0 59 141

N.S.

1 0.96 0.43 1.14 0.89 0.75 0.00 0.33 0.78

time (sec)

N/A 0.349 0.360 0.243 0.189 0.265 0.000 0.311 0.051

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 245 101 281 199 179 0 0 183

N.S.

1 0.97 0.40 1.11 0.79 0.71 0.00 0.00 0.72

time (sec)

N/A 0.414 0.438 0.231 0.202 0.246 0.000 0.000 3.857

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 314 117 355 231 275 0 0 224

N.S.

1 0.96 0.36 1.09 0.71 0.84 0.00 0.00 0.69

time (sec)

N/A 0.475 0.532 0.251 0.204 0.254 0.000 0.000 0.065

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 101 94 112 0 96 0 0 0

N.S.

1 0.31 0.29 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.410 0.092 0.095 0.000 0.242 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 78 73 96 0 74 0 0 0

N.S.

1 0.33 0.31 0.41 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.389 0.067 0.058 0.000 0.251 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 62 62 80 0 42 0 0 0

N.S.

1 0.42 0.42 0.55 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.374 0.052 0.052 0.000 0.249 0.000 0.000 0.000

Problem 833

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 39 38 50 0 17 0 0 0

N.S.

1 0.58 0.57 0.75 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.342 0.030 0.045 0.000 0.265 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 51 43 57 0 24 0 0 0

N.S.

1 0.71 0.60 0.79 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.361 0.036 0.043 0.000 0.265 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 84 71 102 0 68 0 0 0

N.S.

1 0.49 0.41 0.59 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.402 0.083 0.057 0.000 0.259 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 113 97 175 0 137 0 0 0

N.S.

1 0.43 0.37 0.67 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.432 0.131 0.056 0.000 0.267 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 142 119 247 0 205 0 0 0

N.S.

1 0.40 0.33 0.69 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.458 0.184 0.059 0.000 0.258 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 182 150 250 0 438 1059 561 0

N.S.

1 0.49 0.40 0.67 0.00 1.18 2.85 1.51 0.00

time (sec)

N/A 0.562 0.248 0.606 0.000 0.287 18.755 41.994 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 147 134 234 0 394 500 416 0

N.S.

1 0.50 0.46 0.80 0.00 1.34 1.70 1.41 0.00

time (sec)

N/A 0.516 0.199 0.622 0.000 0.272 10.045 1.810 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 112 115 202 0 317 376 266 0

N.S.

1 0.53 0.54 0.95 0.00 1.49 1.77 1.25 0.00

time (sec)

N/A 0.474 0.172 0.550 0.000 0.257 6.572 0.424 0.000

Problem 841

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

116 72 80 197 0 267 0 0 0

N.S.

1 0.62 0.69 1.70 0.00 2.30 0.00 0.00 0.00

time (sec)

N/A 0.420 0.134 0.526 0.000 0.255 0.000 0.000 0.000

Problem 842

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

111 93 68 160 0 216 0 0 0

N.S.

1 0.84 0.61 1.44 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.398 0.169 0.553 0.000 0.267 0.000 0.000 0.000

Problem 843

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

123 126 95 214 0 280 0 0 0

N.S.

1 1.02 0.77 1.74 0.00 2.28 0.00 0.00 0.00

time (sec)

N/A 0.527 0.141 0.579 0.000 0.262 0.000 0.000 0.000

Problem 844

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

203 158 105 298 0 352 0 0 0

N.S.

1 0.78 0.52 1.47 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.642 0.173 0.562 0.000 0.279 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(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 190 133 382 0 496 0 0 0

N.S.

1 0.67 0.47 1.35 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.786 0.197 0.572 0.000 0.309 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(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 102 95 112 0 96 0 0 0

N.S.

1 0.32 0.30 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.418 0.093 0.059 0.000 0.248 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 102 97 112 0 96 0 0 0

N.S.

1 0.31 0.30 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.410 0.082 0.050 0.000 0.267 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 80 78 96 0 72 0 0 0

N.S.

1 0.34 0.33 0.41 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.398 0.064 0.054 0.000 0.250 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 60 57 69 0 44 0 0 0

N.S.

1 0.41 0.39 0.47 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.375 0.055 0.049 0.000 0.254 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 50 51 65 0 27 0 0 0

N.S.

1 0.46 0.47 0.60 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.365 0.042 0.049 0.000 0.250 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(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 62 57 85 0 49 0 0 0

N.S.

1 0.54 0.50 0.74 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.377 0.068 0.050 0.000 0.241 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 84 64 102 0 81 0 0 0

N.S.

1 0.49 0.37 0.60 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.404 0.096 0.051 0.000 0.243 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 114 96 175 0 138 0 0 0

N.S.

1 0.43 0.36 0.66 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.433 0.129 0.058 0.000 0.265 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 145 116 247 0 207 0 0 0

N.S.

1 0.40 0.32 0.69 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.483 0.189 0.056 0.000 0.280 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 100 95 112 0 96 0 0 0

N.S.

1 0.31 0.30 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.422 0.083 0.052 0.000 0.252 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 80 75 96 0 74 0 0 0

N.S.

1 0.34 0.32 0.40 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.399 0.068 0.051 0.000 0.247 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 59 63 80 0 44 0 0 0

N.S.

1 0.40 0.43 0.54 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.374 0.048 0.051 0.000 0.240 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 41 39 52 0 19 0 0 0

N.S.

1 0.60 0.57 0.76 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.350 0.028 0.050 0.000 0.249 0.000 0.000 0.000

Problem 859

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

72 48 43 59 0 26 0 0 0

N.S.

1 0.67 0.60 0.82 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.357 0.037 0.046 0.000 0.244 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 85 70 103 0 66 0 0 0

N.S.

1 0.49 0.41 0.60 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.404 0.079 0.052 0.000 0.266 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 110 95 175 0 135 0 0 0

N.S.

1 0.42 0.36 0.67 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.429 0.171 0.056 0.000 0.256 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 143 119 247 0 201 0 0 0

N.S.

1 0.40 0.33 0.69 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.473 0.183 0.057 0.000 0.280 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

375 182 150 250 0 438 1059 561 0

N.S.

1 0.49 0.40 0.67 0.00 1.17 2.82 1.50 0.00

time (sec)

N/A 0.557 0.260 0.575 0.000 0.266 18.111 46.812 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 147 134 234 0 394 500 416 0

N.S.

1 0.50 0.46 0.80 0.00 1.34 1.71 1.42 0.00

time (sec)

N/A 0.502 0.201 0.569 0.000 0.269 9.966 1.980 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 110 115 202 0 316 376 266 0

N.S.

1 0.52 0.54 0.95 0.00 1.48 1.77 1.25 0.00

time (sec)

N/A 0.466 0.168 0.540 0.000 0.265 6.474 0.447 0.000

Problem 866

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

116 72 80 197 0 267 0 0 0

N.S.

1 0.62 0.69 1.70 0.00 2.30 0.00 0.00 0.00

time (sec)

N/A 0.438 0.132 0.511 0.000 0.255 0.000 0.000 0.000

Problem 867

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

112 93 68 154 0 212 0 0 0

N.S.

1 0.83 0.61 1.38 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.398 0.172 0.529 0.000 0.270 0.000 0.000 0.000

Problem 868

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

124 127 95 202 0 279 0 0 0

N.S.

1 1.02 0.77 1.63 0.00 2.25 0.00 0.00 0.00

time (sec)

N/A 0.555 0.133 0.536 0.000 0.267 0.000 0.000 0.000

Problem 869

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

195 159 105 286 0 351 0 0 0

N.S.

1 0.82 0.54 1.47 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 0.675 0.159 0.546 0.000 0.277 0.000 0.000 0.000

Problem 870

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

270 191 131 370 0 495 0 0 0

N.S.

1 0.71 0.49 1.37 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.819 0.194 0.552 0.000 0.315 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 100 95 112 0 96 0 0 0

N.S.

1 0.31 0.30 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.424 0.100 0.054 0.000 0.256 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 103 97 112 0 96 0 0 0

N.S.

1 0.32 0.30 0.35 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.427 0.088 0.053 0.000 0.256 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 77 79 96 0 74 0 0 0

N.S.

1 0.33 0.34 0.41 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.395 0.072 0.053 0.000 0.254 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 62 57 69 0 42 0 0 0

N.S.

1 0.42 0.39 0.47 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.371 0.057 0.052 0.000 0.250 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 47 47 67 0 25 0 0 0

N.S.

1 0.44 0.44 0.63 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.364 0.039 0.051 0.000 0.257 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 62 55 87 0 47 0 0 0

N.S.

1 0.55 0.49 0.77 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.377 0.059 0.053 0.000 0.258 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 79 63 102 0 81 0 0 0

N.S.

1 0.47 0.38 0.61 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.400 0.093 0.053 0.000 0.248 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 113 95 175 0 137 0 0 0

N.S.

1 0.43 0.36 0.66 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.431 0.133 0.059 0.000 0.275 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 140 108 247 0 208 0 0 0

N.S.

1 0.39 0.30 0.69 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.468 0.236 0.060 0.000 0.246 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 53 52 63 44 72 0 0 0

N.S.

1 0.66 0.65 0.79 0.55 0.90 0.00 0.00 0.00

time (sec)

N/A 0.500 0.044 0.039 0.238 0.262 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 49 45 53 0 24 0 0 46

N.S.

1 0.64 0.59 0.70 0.00 0.32 0.00 0.00 0.61

time (sec)

N/A 0.483 0.032 0.046 0.000 0.241 0.000 0.000 4.050

Problem 882

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

71 43 43 52 0 21 0 0 45

N.S.

1 0.61 0.61 0.73 0.00 0.30 0.00 0.00 0.63

time (sec)

N/A 0.401 0.035 0.059 0.000 0.246 0.000 0.000 4.063

Problem 883

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 39 38 50 0 17 0 0 0

N.S.

1 0.58 0.57 0.75 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.343 0.016 0.043 0.000 0.247 0.000 0.000 0.000

Problem 884

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

70 43 41 50 0 21 0 0 0

N.S.

1 0.61 0.59 0.71 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.479 0.032 0.049 0.000 0.239 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 53 0 21 0 0 63

N.S.

1 1.00 1.00 1.15 0.00 0.46 0.00 0.00 1.37

time (sec)

N/A 0.462 0.029 0.051 0.000 0.254 0.000 0.000 4.319

Problem 886

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

160 149 93 134 0 222 0 128 0

N.S.

1 0.93 0.58 0.84 0.00 1.39 0.00 0.80 0.00

time (sec)

N/A 0.623 0.221 0.579 0.000 0.251 0.000 0.291 0.000

Problem 887

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

123 112 84 124 0 204 0 116 0

N.S.

1 0.91 0.68 1.01 0.00 1.66 0.00 0.94 0.00

time (sec)

N/A 0.591 0.173 0.585 0.000 0.267 0.000 0.287 0.000

Problem 888

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

98 91 77 114 0 188 0 106 0

N.S.

1 0.93 0.79 1.16 0.00 1.92 0.00 1.08 0.00

time (sec)

N/A 0.482 0.077 0.576 0.000 0.252 0.000 0.295 0.000

Problem 889

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

116 72 80 197 0 267 0 0 0

N.S.

1 0.62 0.69 1.70 0.00 2.30 0.00 0.00 0.00

time (sec)

N/A 0.418 0.037 0.579 0.000 0.259 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 A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 76 82 145 0 252 0 127 0

N.S.

1 0.65 0.70 1.24 0.00 2.15 0.00 1.09 0.00

time (sec)

N/A 0.579 0.193 0.575 0.000 0.256 0.000 0.361 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 97 78 142 0 177 0 194 0

N.S.

1 0.87 0.70 1.28 0.00 1.59 0.00 1.75 0.00

time (sec)

N/A 0.599 0.136 0.608 0.000 0.249 0.000 0.376 0.000

Problem 892

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

137 119 86 151 0 201 0 231 0

N.S.

1 0.87 0.63 1.10 0.00 1.47 0.00 1.69 0.00

time (sec)

N/A 0.613 0.141 0.581 0.000 0.252 0.000 0.690 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 151 94 159 0 217 0 316 0

N.S.

1 0.97 0.60 1.02 0.00 1.39 0.00 2.03 0.00

time (sec)

N/A 0.664 0.144 0.586 0.000 0.263 0.000 2.078 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 173 102 167 0 233 0 362 0

N.S.

1 0.96 0.56 0.92 0.00 1.29 0.00 2.00 0.00

time (sec)

N/A 0.679 0.168 0.575 0.000 0.265 0.000 2.364 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 74 71 89 0 48 0 0 0

N.S.

1 0.40 0.38 0.48 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.538 0.058 0.090 0.000 0.251 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 68 63 82 0 41 0 0 0

N.S.

1 0.45 0.41 0.54 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.531 0.050 0.050 0.000 0.249 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 58 56 73 0 32 0 0 0

N.S.

1 0.51 0.50 0.65 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.445 0.036 0.049 0.000 0.246 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 50 51 65 0 27 0 0 0

N.S.

1 0.46 0.47 0.60 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.363 0.020 0.049 0.000 0.251 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 55 51 67 0 32 0 0 0

N.S.

1 0.51 0.47 0.62 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.514 0.045 0.052 0.000 0.253 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 67 61 82 0 85 0 0 0

N.S.

1 0.46 0.41 0.56 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.524 0.059 0.051 0.000 0.258 0.000 0.000 0.000

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