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

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD 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.064 0.017 0.186 0.270 0.403 0.150 0.414 0.067

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 49 49 64 41 74 48

N.S.

1 1.00 1.00 0.92 0.92 1.21 0.77 1.40 0.91

time (sec)

N/A 0.112 0.026 0.195 0.268 0.425 0.128 0.410 1.256

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 63 61 75 100 83 93 71

N.S.

1 1.00 0.89 0.86 1.06 1.41 1.17 1.31 1.00

time (sec)

N/A 0.115 0.029 0.145 0.271 0.460 0.192 0.421 1.267

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 89 84 107 163 114 130 104

N.S.

1 1.00 0.80 0.76 0.96 1.47 1.03 1.17 0.94

time (sec)

N/A 0.136 0.049 0.154 0.278 0.713 0.372 0.393 0.110

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 98 108 135 207 144 170 131

N.S.

1 1.00 0.67 0.74 0.92 1.42 0.99 1.16 0.90

time (sec)

N/A 0.149 0.069 0.170 0.275 0.520 0.539 0.401 0.148

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

343 343 120 320 380 201 0 524 332

N.S.

1 1.00 0.35 0.93 1.11 0.59 0.00 1.53 0.97

time (sec)

N/A 0.166 0.161 0.090 0.480 0.401 0.000 0.425 1.368

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 110 272 302 179 0 394 258

N.S.

1 1.00 0.41 1.01 1.12 0.67 0.00 1.46 0.96

time (sec)

N/A 0.123 0.230 0.085 0.479 0.464 0.000 0.432 0.109

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

195 195 94 224 223 156 0 264 183

N.S.

1 1.00 0.48 1.15 1.14 0.80 0.00 1.35 0.94

time (sec)

N/A 0.089 0.157 0.064 0.482 0.437 0.000 0.437 1.299

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

108 108 55 166 117 107 0 121 84

N.S.

1 1.00 0.51 1.54 1.08 0.99 0.00 1.12 0.78

time (sec)

N/A 0.051 0.050 0.059 0.487 0.355 0.000 0.426 1.278

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

105 105 57 250 121 67 0 0 86

N.S.

1 1.00 0.54 2.38 1.15 0.64 0.00 0.00 0.82

time (sec)

N/A 0.052 0.087 0.141 0.266 0.370 0.000 0.000 0.054

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 85 530 163 119 0 0 137

N.S.

1 1.00 0.47 2.96 0.91 0.66 0.00 0.00 0.77

time (sec)

N/A 0.083 0.075 0.165 0.268 0.465 0.000 0.000 1.296

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

255 255 101 714 197 161 0 0 178

N.S.

1 1.00 0.40 2.80 0.77 0.63 0.00 0.00 0.70

time (sec)

N/A 0.114 0.092 0.194 0.273 0.356 0.000 0.000 0.062

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 117 898 231 205 0 0 217

N.S.

1 1.00 0.36 2.73 0.70 0.62 0.00 0.00 0.66

time (sec)

N/A 0.153 0.114 0.189 0.266 0.514 0.000 0.000 1.282

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 64 81 89 88 82 67

N.S.

1 1.00 1.00 0.71 0.90 0.99 0.98 0.91 0.74

time (sec)

N/A 0.105 0.025 0.313 0.267 0.373 0.249 0.403 1.318

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 76 55 70 78 76 71 56

N.S.

1 1.00 1.00 0.72 0.92 1.03 1.00 0.93 0.74

time (sec)

N/A 0.109 0.019 0.258 0.257 0.485 0.181 0.407 1.251

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 32 37 43 39 38 35

N.S.

1 1.00 1.00 0.80 0.92 1.08 0.98 0.95 0.88

time (sec)

N/A 0.095 0.015 0.220 0.281 0.482 0.083 0.391 0.050

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 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.058 0.014 0.161 0.262 0.491 0.045 0.389 1.227

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 28 37 34 38 36 36 33

N.S.

1 1.00 0.80 1.06 0.97 1.09 1.03 1.03 0.94

time (sec)

N/A 0.107 0.023 0.116 0.269 0.350 0.072 0.400 0.052

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 70 60 69 92 75 57 68

N.S.

1 1.00 0.96 0.82 0.95 1.26 1.03 0.78 0.93

time (sec)

N/A 0.117 0.035 0.120 0.285 0.391 0.225 0.398 1.307

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 104 84 97 137 102 80 94

N.S.

1 1.00 0.96 0.78 0.90 1.27 0.94 0.74 0.87

time (sec)

N/A 0.133 0.050 0.121 0.263 0.345 0.363 0.417 0.120

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 124 108 145 233 156 96 142

N.S.

1 1.00 0.87 0.76 1.01 1.63 1.09 0.67 0.99

time (sec)

N/A 0.149 0.069 0.123 0.266 0.407 0.615 0.398 0.153

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

343 343 126 329 379 201 0 525 332

N.S.

1 1.00 0.37 0.96 1.10 0.59 0.00 1.53 0.97

time (sec)

N/A 0.166 0.137 0.082 0.484 0.374 0.000 0.437 0.173

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 110 281 301 179 0 395 258

N.S.

1 1.00 0.41 1.04 1.12 0.67 0.00 1.47 0.96

time (sec)

N/A 0.126 0.109 0.078 0.478 0.382 0.000 0.443 1.263

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

195 195 94 233 224 156 0 264 183

N.S.

1 1.00 0.48 1.19 1.15 0.80 0.00 1.35 0.94

time (sec)

N/A 0.089 0.091 0.068 0.465 0.384 0.000 0.426 0.093

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

76 76 57 234 118 103 0 122 84

N.S.

1 1.00 0.75 3.08 1.55 1.36 0.00 1.61 1.11

time (sec)

N/A 0.038 0.057 0.111 0.484 0.348 0.000 0.427 0.061

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

144 144 69 346 140 96 0 59 114

N.S.

1 1.00 0.48 2.40 0.97 0.67 0.00 0.41 0.79

time (sec)

N/A 0.067 0.173 0.113 0.265 0.408 0.000 0.411 0.069

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

181 181 78 438 161 135 0 59 141

N.S.

1 1.00 0.43 2.42 0.89 0.75 0.00 0.33 0.78

time (sec)

N/A 0.085 0.158 0.154 0.270 0.361 0.000 0.435 0.046

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

253 253 101 714 199 179 0 0 183

N.S.

1 1.00 0.40 2.82 0.79 0.71 0.00 0.00 0.72

time (sec)

N/A 0.115 0.091 0.161 0.266 0.434 0.000 0.000 0.054

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

327 327 117 766 231 275 0 0 224

N.S.

1 1.00 0.36 2.34 0.71 0.84 0.00 0.00 0.69

time (sec)

N/A 0.151 0.118 0.192 0.258 0.439 0.000 0.000 0.063

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 96 112 0 96 0 0 -1

N.S.

1 1.00 0.30 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.104 0.052 0.064 0.000 0.379 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 75 96 0 74 0 0 -1

N.S.

1 1.00 0.32 0.41 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.099 0.040 0.036 0.000 0.353 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

146 146 64 80 0 42 0 0 -1

N.S.

1 1.00 0.44 0.55 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.033 0.037 0.000 0.366 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 39 50 0 17 0 0 -1

N.S.

1 1.00 0.58 0.75 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.016 0.030 0.000 0.336 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 44 57 0 24 0 0 -1

N.S.

1 1.00 0.61 0.79 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.023 0.033 0.000 0.359 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 68 102 0 68 0 0 -1

N.S.

1 1.00 0.39 0.59 0.00 0.39 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.051 0.036 0.000 0.405 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 86 175 0 137 0 0 -1

N.S.

1 1.00 0.33 0.67 0.00 0.52 0.00 0.00 -0.00

time (sec)

N/A 0.115 0.079 0.041 0.000 0.362 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 104 247 0 205 0 0 -1

N.S.

1 1.00 0.29 0.69 0.00 0.57 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.111 0.043 0.000 0.406 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 150 795 0 438 1059 561 -1

N.S.

1 1.00 0.40 2.14 0.00 1.18 2.85 1.51 -0.00

time (sec)

N/A 0.358 0.115 0.165 0.000 0.407 25.015 24.146 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 134 625 0 394 500 416 -1

N.S.

1 1.00 0.46 2.13 0.00 1.34 1.70 1.41 -0.00

time (sec)

N/A 0.318 0.090 0.135 0.000 0.413 13.401 1.568 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 115 454 0 317 376 266 -1

N.S.

1 1.00 0.54 2.13 0.00 1.49 1.77 1.25 -0.00

time (sec)

N/A 0.293 0.070 0.125 0.000 0.414 8.556 0.521 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 80 197 0 267 0 0 -1

N.S.

1 1.00 0.69 1.70 0.00 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.240 0.058 0.100 0.000 0.371 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 68 177 0 216 0 0 -1

N.S.

1 1.00 0.61 1.59 0.00 1.95 0.00 0.00 -0.01

time (sec)

N/A 0.200 0.050 0.121 0.000 0.379 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 95 326 0 280 0 0 -1

N.S.

1 1.00 0.77 2.65 0.00 2.28 0.00 0.00 -0.01

time (sec)

N/A 0.273 0.057 0.157 0.000 0.370 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 105 462 0 352 0 0 -1

N.S.

1 1.00 0.52 2.28 0.00 1.73 0.00 0.00 -0.00

time (sec)

N/A 0.299 0.067 0.150 0.000 0.363 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 133 572 0 496 0 0 -1

N.S.

1 1.00 0.47 2.02 0.00 1.75 0.00 0.00 -0.00

time (sec)

N/A 0.325 0.084 0.185 0.000 0.442 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 97 112 0 96 0 0 -1

N.S.

1 1.00 0.30 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.112 0.059 0.037 0.000 0.363 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 94 112 0 96 0 0 -1

N.S.

1 1.00 0.29 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.108 0.055 0.042 0.000 0.390 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 87 96 0 72 0 0 -1

N.S.

1 1.00 0.37 0.41 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.095 0.038 0.037 0.000 0.381 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 59 69 0 44 0 0 -1

N.S.

1 1.00 0.40 0.47 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.064 0.034 0.000 0.344 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 50 65 0 27 0 0 -1

N.S.

1 1.00 0.46 0.60 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.046 0.036 0.000 0.373 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 56 85 0 49 0 0 -1

N.S.

1 1.00 0.49 0.74 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.066 0.035 0.000 0.352 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 64 102 0 81 0 0 -1

N.S.

1 1.00 0.37 0.60 0.00 0.47 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.105 0.035 0.000 0.474 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 86 175 0 138 0 0 -1

N.S.

1 1.00 0.32 0.66 0.00 0.52 0.00 0.00 -0.00

time (sec)

N/A 0.118 0.144 0.043 0.000 0.436 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 140 247 0 207 0 0 -1

N.S.

1 1.00 0.39 0.69 0.00 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.139 0.138 0.044 0.000 0.367 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 97 112 0 96 0 0 -1

N.S.

1 1.00 0.30 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.112 0.051 0.039 0.000 0.474 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 77 96 0 74 0 0 -1

N.S.

1 1.00 0.32 0.40 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.100 0.039 0.036 0.000 0.446 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

147 147 65 80 0 44 0 0 -1

N.S.

1 1.00 0.44 0.54 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.032 0.034 0.000 0.347 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 41 52 0 19 0 0 -1

N.S.

1 1.00 0.60 0.76 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.018 0.031 0.000 0.341 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 45 59 0 26 0 0 -1

N.S.

1 1.00 0.62 0.82 0.00 0.36 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.024 0.030 0.000 0.376 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 65 103 0 66 0 0 -1

N.S.

1 1.00 0.38 0.60 0.00 0.38 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.045 0.038 0.000 0.354 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 85 175 0 135 0 0 -1

N.S.

1 1.00 0.32 0.67 0.00 0.51 0.00 0.00 -0.00

time (sec)

N/A 0.117 0.082 0.039 0.000 0.369 0.000 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

358 358 104 247 0 201 0 0 -1

N.S.

1 1.00 0.29 0.69 0.00 0.56 0.00 0.00 -0.00

time (sec)

N/A 0.139 0.104 0.043 0.000 0.388 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

375 375 150 795 0 438 1059 561 -1

N.S.

1 1.00 0.40 2.12 0.00 1.17 2.82 1.50 -0.00

time (sec)

N/A 0.352 0.115 0.151 0.000 0.369 25.205 24.189 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 134 625 0 394 500 416 -1

N.S.

1 1.00 0.46 2.13 0.00 1.34 1.71 1.42 -0.00

time (sec)

N/A 0.324 0.090 0.136 0.000 0.362 12.952 1.687 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 115 455 0 316 376 266 -1

N.S.

1 1.00 0.54 2.14 0.00 1.48 1.77 1.25 -0.00

time (sec)

N/A 0.296 0.077 0.122 0.000 0.357 9.496 0.546 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 80 197 0 267 0 0 -1

N.S.

1 1.00 0.69 1.70 0.00 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.241 0.057 0.102 0.000 0.366 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 68 179 0 212 0 0 -1

N.S.

1 1.00 0.61 1.60 0.00 1.89 0.00 0.00 -0.01

time (sec)

N/A 0.201 0.049 0.123 0.000 0.364 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 95 326 0 279 0 0 -1

N.S.

1 1.00 0.77 2.63 0.00 2.25 0.00 0.00 -0.01

time (sec)

N/A 0.290 0.057 0.136 0.000 0.350 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 105 462 0 351 0 0 -1

N.S.

1 1.00 0.54 2.37 0.00 1.80 0.00 0.00 -0.01

time (sec)

N/A 0.308 0.066 0.148 0.000 0.384 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 131 572 0 495 0 0 -1

N.S.

1 1.00 0.49 2.12 0.00 1.83 0.00 0.00 -0.00

time (sec)

N/A 0.333 0.084 0.178 0.000 0.400 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 97 112 0 96 0 0 -1

N.S.

1 1.00 0.30 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.111 0.057 0.037 0.000 0.340 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 94 112 0 96 0 0 -1

N.S.

1 1.00 0.29 0.35 0.00 0.30 0.00 0.00 -0.00

time (sec)

N/A 0.111 0.055 0.043 0.000 0.347 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

235 235 81 96 0 74 0 0 -1

N.S.

1 1.00 0.34 0.41 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.100 0.045 0.036 0.000 0.345 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 59 69 0 42 0 0 -1

N.S.

1 1.00 0.40 0.47 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.064 0.034 0.000 0.343 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 47 67 0 25 0 0 -1

N.S.

1 1.00 0.44 0.63 0.00 0.23 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.048 0.033 0.000 0.411 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 54 87 0 47 0 0 -1

N.S.

1 1.00 0.48 0.77 0.00 0.42 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.064 0.034 0.000 0.392 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 63 102 0 81 0 0 -1

N.S.

1 1.00 0.38 0.61 0.00 0.48 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.054 0.035 0.000 0.378 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 85 175 0 137 0 0 -1

N.S.

1 1.00 0.32 0.66 0.00 0.52 0.00 0.00 -0.00

time (sec)

N/A 0.122 0.073 0.039 0.000 0.364 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 105 247 0 208 0 0 -1

N.S.

1 1.00 0.29 0.69 0.00 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.146 0.119 0.043 0.000 0.362 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 53 63 44 72 0 0 -1

N.S.

1 1.00 0.66 0.79 0.55 0.90 0.00 0.00 -0.01

time (sec)

N/A 0.177 0.026 0.026 0.303 0.354 0.000 0.000 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 45 53 0 24 0 0 46

N.S.

1 1.00 0.59 0.70 0.00 0.32 0.00 0.00 0.61

time (sec)

N/A 0.178 0.019 0.033 0.000 0.402 0.000 0.000 1.442

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 43 52 0 21 0 0 45

N.S.

1 1.00 0.61 0.73 0.00 0.30 0.00 0.00 0.63

time (sec)

N/A 0.121 0.018 0.028 0.000 0.358 0.000 0.000 1.400

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 39 50 0 17 0 0 -1

N.S.

1 1.00 0.58 0.75 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.016 0.030 0.000 0.331 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 43 50 0 21 0 0 -1

N.S.

1 1.00 0.61 0.71 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.175 0.018 0.033 0.000 0.357 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

46 46 47 53 0 21 0 0 63

N.S.

1 1.00 1.02 1.15 0.00 0.46 0.00 0.00 1.37

time (sec)

N/A 0.173 0.017 0.033 0.000 0.353 0.000 0.000 1.402

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 93 196 0 222 0 128 -1

N.S.

1 1.00 0.58 1.22 0.00 1.39 0.00 0.80 -0.01

time (sec)

N/A 0.380 0.064 0.116 0.000 0.373 0.000 0.424 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 84 174 0 204 0 116 -1

N.S.

1 1.00 0.68 1.41 0.00 1.66 0.00 0.94 -0.01

time (sec)

N/A 0.338 0.051 0.123 0.000 0.348 0.000 0.407 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 77 147 0 188 0 106 -1

N.S.

1 1.00 0.79 1.50 0.00 1.92 0.00 1.08 -0.01

time (sec)

N/A 0.226 0.043 0.114 0.000 0.361 0.000 0.414 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 80 197 0 267 0 0 -1

N.S.

1 1.00 0.69 1.70 0.00 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.237 0.052 0.104 0.000 0.373 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 82 306 0 252 0 127 -1

N.S.

1 1.00 0.70 2.62 0.00 2.15 0.00 1.09 -0.01

time (sec)

N/A 0.381 0.059 0.120 0.000 0.360 0.000 0.493 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 78 347 0 177 0 194 -1

N.S.

1 1.00 0.70 3.13 0.00 1.59 0.00 1.75 -0.01

time (sec)

N/A 0.379 0.049 0.116 0.000 0.355 0.000 0.495 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 86 378 0 201 0 231 -1

N.S.

1 1.00 0.63 2.76 0.00 1.47 0.00 1.69 -0.01

time (sec)

N/A 0.372 0.061 0.119 0.000 0.358 0.000 0.729 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 94 410 0 217 0 316 -1

N.S.

1 1.00 0.60 2.63 0.00 1.39 0.00 2.03 -0.01

time (sec)

N/A 0.404 0.061 0.125 0.000 0.366 0.000 1.626 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 102 447 0 233 0 362 -1

N.S.

1 1.00 0.56 2.47 0.00 1.29 0.00 2.00 -0.01

time (sec)

N/A 0.417 0.073 0.130 0.000 0.369 0.000 1.972 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 71 89 0 48 0 0 -1

N.S.

1 1.00 0.38 0.48 0.00 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.215 0.036 0.064 0.000 0.351 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 63 82 0 41 0 0 -1

N.S.

1 1.00 0.41 0.54 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.201 0.031 0.033 0.000 0.368 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 54 73 0 32 0 0 -1

N.S.

1 1.00 0.48 0.65 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.030 0.035 0.000 0.345 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 50 65 0 27 0 0 -1

N.S.

1 1.00 0.46 0.60 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.043 0.034 0.000 0.361 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 52 67 0 32 0 0 -1

N.S.

1 1.00 0.48 0.62 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.197 0.057 0.037 0.000 0.372 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 66 82 0 85 0 0 -1

N.S.

1 1.00 0.45 0.56 0.00 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.199 0.068 0.036 0.000 0.336 0.000 0.000 0.000

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