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

2.2.7 Integrals 601 to 700

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 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

406 406 540 1145 0 235 0 0 -1

N.S.

1 1.00 1.33 2.82 0.00 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.319 21.939 0.362 0.000 0.104 0.000 0.000 0.000

Problem 602

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

15 15 15 12 11 11 12 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.80 0.73 0.73

time (sec)

N/A 0.007 10.036 0.322 0.274 0.333 0.072 2.813 3.519

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 72 14 13 20 31 13 19

N.S.

1 1.00 4.24 0.82 0.76 1.18 1.82 0.76 1.12

time (sec)

N/A 0.006 10.039 0.325 0.281 0.348 0.093 3.328 3.163

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 31 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 2.07 0.73 0.73

time (sec)

N/A 0.006 10.027 0.349 0.277 0.345 0.083 3.695 3.098

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 31 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 2.07 0.73 0.73

time (sec)

N/A 0.006 10.042 0.385 0.268 0.332 0.079 3.627 3.108

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 21 11 11 10 23 10

N.S.

1 1.00 1.00 1.62 0.85 0.85 0.77 1.77 0.77

time (sec)

N/A 0.007 0.013 0.319 0.269 0.333 0.051 3.327 3.232

Problem 607

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

44 44 45 34 33 32 39 33 32

N.S.

1 1.00 1.02 0.77 0.75 0.73 0.89 0.75 0.73

time (sec)

N/A 0.017 0.022 0.320 0.270 0.329 0.063 3.363 0.111

Problem 608

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 19 16 15 15 17 16 15

N.S.

1 1.00 0.90 0.76 0.71 0.71 0.81 0.76 0.71

time (sec)

N/A 0.009 0.012 0.329 0.267 0.326 0.048 3.354 3.005

Problem 609

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 34 27 26 25 27 26 25

N.S.

1 1.00 1.03 0.82 0.79 0.76 0.82 0.79 0.76

time (sec)

N/A 0.015 0.018 0.273 0.265 0.337 0.058 3.114 3.095

Problem 610

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 36 35 30 29 42 38 29

N.S.

1 1.00 1.09 1.06 0.91 0.88 1.27 1.15 0.88

time (sec)

N/A 0.016 0.029 0.312 0.270 0.330 0.199 3.407 3.024

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 17 10 12 10 10 36 0 10

N.S.

1 1.70 1.00 1.20 1.00 1.00 3.60 0.00 1.00

time (sec)

N/A 0.040 0.024 0.319 0.270 0.338 1.669 0.000 3.273

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 10 12 86 10 8 0 39

N.S.

1 1.00 0.59 0.71 5.06 0.59 0.47 0.00 2.29

time (sec)

N/A 0.027 0.005 0.327 0.286 0.365 31.217 0.000 3.368

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 34 38 101 0 0 0 -1

N.S.

1 1.00 0.92 1.03 2.73 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.063 4.043 0.435 0.390 0.000 0.000 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 32 36 99 0 0 0 -1

N.S.

1 1.00 0.91 1.03 2.83 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.060 10.248 0.429 0.379 0.000 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 31 35 96 0 0 0 148

N.S.

1 1.00 0.91 1.03 2.82 0.00 0.00 0.00 4.35

time (sec)

N/A 0.077 7.168 0.419 0.385 0.000 0.000 0.000 9.778

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 34 38 99 0 0 0 37

N.S.

1 0.00 0.92 1.03 2.68 0.00 0.00 0.00 1.00

time (sec)

N/A 2.421 9.057 0.404 0.378 0.000 0.000 0.000 9.680

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 34 38 99 0 0 0 146

N.S.

1 0.00 0.92 1.03 2.68 0.00 0.00 0.00 3.95

time (sec)

N/A 2.271 9.513 0.390 0.387 0.000 0.000 0.000 9.216

Problem 618

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

185 185 105 78 151 94 139 151 167

N.S.

1 1.00 0.57 0.42 0.82 0.51 0.75 0.82 0.90

time (sec)

N/A 0.185 0.081 0.359 0.264 0.393 3.728 4.627 3.370

Problem 619

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

138 138 93 66 112 81 110 127 124

N.S.

1 1.00 0.67 0.48 0.81 0.59 0.80 0.92 0.90

time (sec)

N/A 0.118 0.062 0.298 0.269 0.377 3.198 5.570 0.063

Problem 620

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

89 89 68 54 72 67 94 131 79

N.S.

1 1.00 0.76 0.61 0.81 0.75 1.06 1.47 0.89

time (sec)

N/A 0.068 0.043 0.290 0.276 0.506 2.487 4.245 0.030

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 35 35 49 68 82 36

N.S.

1 1.00 1.00 0.85 0.85 1.20 1.66 2.00 0.88

time (sec)

N/A 0.021 0.020 0.262 0.278 0.369 0.075 4.088 0.046

Problem 622

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

57 57 63 51 70 118 65 59 130

N.S.

1 1.00 1.11 0.89 1.23 2.07 1.14 1.04 2.28

time (sec)

N/A 0.045 0.054 0.299 0.512 0.344 13.603 4.000 0.088

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 64 63 73 147 139 80 131

N.S.

1 1.00 1.19 1.17 1.35 2.72 2.57 1.48 2.43

time (sec)

N/A 0.048 0.104 0.304 0.496 0.361 35.463 3.846 0.124

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 77 82 113 181 292 105 80

N.S.

1 1.00 0.96 1.02 1.41 2.26 3.65 1.31 1.00

time (sec)

N/A 0.054 0.173 0.313 0.509 0.362 114.485 3.004 3.400

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 232 383 268 286 0 915 -1

N.S.

1 1.00 0.71 1.17 0.82 0.88 0.00 2.81 -0.00

time (sec)

N/A 0.177 0.219 0.104 0.477 0.387 0.000 3.238 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 147 183 167 184 0 549 -1

N.S.

1 1.00 0.66 0.82 0.75 0.82 0.00 2.45 -0.00

time (sec)

N/A 0.116 0.131 0.099 0.266 0.410 0.000 3.129 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 84 94 93 103 0 279 -1

N.S.

1 1.00 0.63 0.71 0.70 0.77 0.00 2.10 -0.01

time (sec)

N/A 0.067 0.068 0.092 0.267 0.445 0.000 3.623 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 55 41 43 50 0 99 44

N.S.

1 1.00 0.98 0.73 0.77 0.89 0.00 1.77 0.79

time (sec)

N/A 0.022 0.034 0.066 0.285 0.417 0.000 5.400 3.395

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 124 152 0 194 0 150 -1

N.S.

1 1.00 1.07 1.31 0.00 1.67 0.00 1.29 -0.01

time (sec)

N/A 0.105 0.230 0.123 0.000 0.400 0.000 3.938 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 144 166 0 1003 0 232 -1

N.S.

1 1.00 1.05 1.21 0.00 7.32 0.00 1.69 -0.01

time (sec)

N/A 0.117 0.392 0.135 0.000 0.401 0.000 3.651 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 217 373 0 2856 0 895 -1

N.S.

1 1.00 0.97 1.67 0.00 12.75 0.00 4.00 -0.00

time (sec)

N/A 0.314 1.807 0.142 0.000 0.622 0.000 3.333 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 235 288 243 228 0 341 317

N.S.

1 1.00 1.02 1.25 1.06 0.99 0.00 1.48 1.38

time (sec)

N/A 0.191 0.173 0.031 0.277 0.334 0.000 3.616 0.069

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 151 166 148 138 0 198 184

N.S.

1 1.00 1.00 1.10 0.98 0.91 0.00 1.31 1.22

time (sec)

N/A 0.116 0.111 0.026 0.277 0.361 0.000 3.896 3.213

Problem 634

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 85 85 81 71 109 105 89

N.S.

1 1.00 0.94 0.94 0.90 0.79 1.21 1.17 0.99

time (sec)

N/A 0.059 0.064 0.022 0.291 0.358 2.252 4.036 0.054

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 40 87 35 33 49 38 33

N.S.

1 1.00 0.98 2.12 0.85 0.80 1.20 0.93 0.80

time (sec)

N/A 0.016 0.025 0.025 0.314 0.363 0.260 3.886 0.053

Problem 636

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

82 82 62 69 95 125 85 88 181

N.S.

1 1.00 0.76 0.84 1.16 1.52 1.04 1.07 2.21

time (sec)

N/A 0.056 0.049 0.040 0.525 0.382 5.887 4.835 3.282

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 118 128 191 283 0 191 220

N.S.

1 1.00 0.91 0.98 1.47 2.18 0.00 1.47 1.69

time (sec)

N/A 0.126 0.181 0.043 0.513 0.403 0.000 3.670 3.591

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 198 227 367 534 0 375 1094

N.S.

1 1.00 0.97 1.11 1.80 2.62 0.00 1.84 5.36

time (sec)

N/A 0.200 0.376 0.053 0.521 0.743 0.000 4.131 5.009

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 283 277 251 392 0 324 461

N.S.

1 1.00 1.18 1.15 1.05 1.63 0.00 1.35 1.92

time (sec)

N/A 0.201 0.198 0.037 0.281 0.361 0.000 3.726 0.094

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 194 161 158 269 0 191 197

N.S.

1 1.00 1.17 0.97 0.95 1.62 0.00 1.15 1.19

time (sec)

N/A 0.132 0.125 0.030 0.275 0.348 0.000 3.140 3.197

Problem 641

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

95 95 108 87 90 163 131 102 98

N.S.

1 1.00 1.14 0.92 0.95 1.72 1.38 1.07 1.03

time (sec)

N/A 0.065 0.077 0.029 0.279 0.360 18.601 3.143 0.062

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 43 219 43 75 124 44 43

N.S.

1 1.00 0.91 4.66 0.91 1.60 2.64 0.94 0.91

time (sec)

N/A 0.023 0.041 0.034 0.285 0.350 0.620 3.604 0.047

Problem 643

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

129 129 107 118 176 444 153 174 125

N.S.

1 1.00 0.83 0.91 1.36 3.44 1.19 1.35 0.97

time (sec)

N/A 0.086 0.164 0.048 0.541 0.380 22.057 4.699 3.511

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 177 182 367 854 0 311 275

N.S.

1 1.00 0.88 0.90 1.82 4.23 0.00 1.54 1.36

time (sec)

N/A 0.175 0.308 0.059 0.662 0.562 0.000 4.922 0.731

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 301 303 659 1252 0 521 1441

N.S.

1 1.00 0.98 0.99 2.15 4.09 0.00 1.70 4.71

time (sec)

N/A 0.291 0.603 0.073 0.571 1.183 0.000 3.235 5.964

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 232 383 268 231 0 409 -1

N.S.

1 1.00 0.72 1.18 0.83 0.71 0.00 1.26 -0.00

time (sec)

N/A 0.168 0.204 0.101 0.339 0.425 0.000 3.601 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 147 183 167 140 0 238 -1

N.S.

1 1.00 0.66 0.82 0.75 0.63 0.00 1.07 -0.00

time (sec)

N/A 0.120 0.123 0.100 0.286 0.403 0.000 3.841 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 84 94 93 71 0 115 -1

N.S.

1 1.00 0.64 0.72 0.71 0.54 0.00 0.88 -0.01

time (sec)

N/A 0.069 0.065 0.069 0.271 0.402 0.000 3.841 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 42 41 42 34 0 38 44

N.S.

1 1.00 0.78 0.76 0.78 0.63 0.00 0.70 0.81

time (sec)

N/A 0.021 0.025 0.044 0.279 0.400 0.000 4.501 3.258

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 105 92 0 743 0 140 -1

N.S.

1 1.00 1.08 0.95 0.00 7.66 0.00 1.44 -0.01

time (sec)

N/A 0.062 0.153 0.122 0.000 0.417 0.000 4.262 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 170 259 0 2493 0 654 -1

N.S.

1 1.00 1.04 1.59 0.00 15.29 0.00 4.01 -0.01

time (sec)

N/A 0.154 0.516 0.128 0.000 0.484 0.000 3.804 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 249 427 0 4390 0 1303 -1

N.S.

1 1.00 0.95 1.64 0.00 16.82 0.00 4.99 -0.00

time (sec)

N/A 0.349 1.336 0.211 0.000 1.275 0.000 3.968 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

350 350 554 0 728 1416 0 5699 -1

N.S.

1 1.00 1.58 0.00 2.08 4.05 0.00 16.28 -0.00

time (sec)

N/A 0.204 0.785 0.005 0.291 0.500 0.000 4.133 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 285 0 402 712 0 2511 -1

N.S.

1 1.00 1.18 0.00 1.66 2.94 0.00 10.38 -0.00

time (sec)

N/A 0.132 0.455 0.005 0.300 0.417 0.000 3.245 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 128 0 187 294 0 806 -1

N.S.

1 1.00 0.88 0.00 1.29 2.03 0.00 5.56 -0.01

time (sec)

N/A 0.078 0.271 0.004 0.301 0.404 0.000 3.215 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 53 0 60 81 0 129 146

N.S.

1 1.00 0.85 0.00 0.97 1.31 0.00 2.08 2.35

time (sec)

N/A 0.030 0.092 0.004 0.284 0.405 0.000 2.679 3.583

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 136 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.169 0.005 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 77 70 0 164 122 0 -1

N.S.

1 1.00 0.83 0.75 0.00 1.76 1.31 0.00 -0.01

time (sec)

N/A 0.055 0.158 0.636 0.000 0.406 49.958 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 61 54 0 130 102 0 -1

N.S.

1 1.00 0.87 0.77 0.00 1.86 1.46 0.00 -0.01

time (sec)

N/A 0.042 0.127 0.622 0.000 0.404 36.796 0.000 0.000

Problem 660

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

49 49 46 40 0 103 0 0 -1

N.S.

1 1.00 0.94 0.82 0.00 2.10 0.00 0.00 -0.02

time (sec)

N/A 0.031 0.102 0.574 0.000 0.364 0.000 0.000 0.000

Problem 661

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

30 30 30 25 0 78 0 0 -1

N.S.

1 1.00 1.00 0.83 0.00 2.60 0.00 0.00 -0.03

time (sec)

N/A 0.022 0.095 0.597 0.000 0.378 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 52 43 0 164 48 0 -1

N.S.

1 1.00 1.00 0.83 0.00 3.15 0.92 0.00 -0.02

time (sec)

N/A 0.033 0.133 0.454 0.000 0.359 5.549 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 67 59 0 262 70 0 -1

N.S.

1 1.00 0.89 0.79 0.00 3.49 0.93 0.00 -0.01

time (sec)

N/A 0.044 0.176 0.386 0.000 0.361 7.774 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 81 78 0 169 114 0 -1

N.S.

1 1.00 0.80 0.77 0.00 1.67 1.13 0.00 -0.01

time (sec)

N/A 0.054 0.158 0.611 0.000 0.376 45.403 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 66 60 0 135 95 0 -1

N.S.

1 1.00 0.87 0.79 0.00 1.78 1.25 0.00 -0.01

time (sec)

N/A 0.040 0.128 0.598 0.000 0.351 32.384 0.000 0.000

Problem 666

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

53 53 50 44 0 110 0 0 -1

N.S.

1 1.00 0.94 0.83 0.00 2.08 0.00 0.00 -0.02

time (sec)

N/A 0.029 0.102 0.610 0.000 0.393 0.000 0.000 0.000

Problem 667

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

32 32 32 27 0 80 0 0 -1

N.S.

1 1.00 1.00 0.84 0.00 2.50 0.00 0.00 -0.03

time (sec)

N/A 0.022 0.092 0.650 0.000 0.367 0.000 0.000 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 56 47 0 175 44 0 -1

N.S.

1 1.00 1.00 0.84 0.00 3.12 0.79 0.00 -0.02

time (sec)

N/A 0.031 0.137 0.389 0.000 0.380 7.428 0.000 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 70 65 0 277 63 0 -1

N.S.

1 1.00 0.86 0.80 0.00 3.42 0.78 0.00 -0.01

time (sec)

N/A 0.043 0.195 0.434 0.000 0.358 7.003 0.000 0.000

Problem 670

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

23 23 23 18 32 56 24 21 17

N.S.

1 1.00 1.00 0.78 1.39 2.43 1.04 0.91 0.74

time (sec)

N/A 0.005 0.018 0.359 0.494 0.364 0.585 3.811 3.108

Problem 671

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

30 30 30 25 0 78 0 0 -1

N.S.

1 1.00 1.00 0.83 0.00 2.60 0.00 0.00 -0.03

time (sec)

N/A 0.022 0.100 0.613 0.000 0.387 0.000 0.000 0.000

Problem 672

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

37 37 37 32 0 116 0 0 -1

N.S.

1 1.00 1.00 0.86 0.00 3.14 0.00 0.00 -0.03

time (sec)

N/A 0.121 0.142 0.484 0.000 0.397 0.000 0.000 0.000

Problem 673

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

44 44 44 39 0 151 0 0 -1

N.S.

1 1.00 1.00 0.89 0.00 3.43 0.00 0.00 -0.02

time (sec)

N/A 0.262 0.182 0.434 0.000 0.386 0.000 0.000 0.000

Problem 674

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

51 51 51 46 0 174 0 0 -1

N.S.

1 1.00 1.00 0.90 0.00 3.41 0.00 0.00 -0.02

time (sec)

N/A 0.461 0.226 0.437 0.000 0.359 0.000 0.000 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 70 83 120 55 80 77 54

N.S.

1 1.00 0.92 1.09 1.58 0.72 1.05 1.01 0.71

time (sec)

N/A 0.019 0.104 0.382 0.502 0.357 168.851 2.511 3.502

Problem 676

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

60 60 65 69 67 50 60 67 44

N.S.

1 1.00 1.08 1.15 1.12 0.83 1.00 1.12 0.73

time (sec)

N/A 0.014 0.083 0.365 0.510 0.388 65.070 1.761 3.355

Problem 677

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

44 44 46 55 30 43 39 57 30

N.S.

1 1.00 1.05 1.25 0.68 0.98 0.89 1.30 0.68

time (sec)

N/A 0.010 0.064 0.113 0.530 0.345 22.771 2.263 3.575

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 13 16 12 8 37 14

N.S.

1 1.00 1.00 1.44 1.78 1.33 0.89 4.11 1.56

time (sec)

N/A 0.003 0.019 0.411 0.275 0.358 1.271 1.894 3.176

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 24 32 30 28 20 58 25

N.S.

1 1.00 1.14 1.52 1.43 1.33 0.95 2.76 1.19

time (sec)

N/A 0.008 0.028 0.383 0.281 0.350 2.057 2.343 3.107

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 32 37 38 38 34 68 28

N.S.

1 1.00 0.94 1.09 1.12 1.12 1.00 2.00 0.82

time (sec)

N/A 0.010 0.044 0.359 0.298 0.348 3.009 1.826 3.093

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 20 23 11 28 8 11 18

N.S.

1 1.00 2.22 2.56 1.22 3.11 0.89 1.22 2.00

time (sec)

N/A 0.003 0.021 0.344 0.488 0.368 1.562 2.124 3.108

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 20 12 0 28 10 13 18

N.S.

1 1.00 2.22 1.33 0.00 3.11 1.11 1.44 2.00

time (sec)

N/A 0.003 0.003 0.421 0.000 0.355 1.567 1.712 3.097

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 20 1059 16 67 14 16 26

N.S.

1 1.00 1.11 58.83 0.89 3.72 0.78 0.89 1.44

time (sec)

N/A 0.050 0.021 0.047 0.259 0.367 1.660 2.162 3.381

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 29 70 21 32 19 16 10

N.S.

1 1.00 1.81 4.38 1.31 2.00 1.19 1.00 0.62

time (sec)

N/A 0.042 0.017 0.410 0.274 0.390 0.077 1.880 3.345

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 40 50 49 36 94 29 26

N.S.

1 1.00 0.91 1.14 1.11 0.82 2.14 0.66 0.59

time (sec)

N/A 0.021 0.121 0.385 0.509 0.345 0.155 2.040 0.090

Problem 686

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

121 121 57 125 89 53 133 138 124

N.S.

1 1.00 0.47 1.03 0.74 0.44 1.10 1.14 1.02

time (sec)

N/A 0.077 0.030 0.495 0.503 0.359 1.181 2.303 3.273

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 49 42 0 268 49 41 42

N.S.

1 1.00 0.98 0.84 0.00 5.36 0.98 0.82 0.84

time (sec)

N/A 0.032 0.070 0.409 0.000 0.419 1.963 2.298 3.761

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 49 76 0 268 37 41 96

N.S.

1 1.00 0.98 1.52 0.00 5.36 0.74 0.82 1.92

time (sec)

N/A 0.046 0.005 0.400 0.000 0.415 35.720 1.558 4.516

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 62 56 0 382 97 55 56

N.S.

1 1.00 0.91 0.82 0.00 5.62 1.43 0.81 0.82

time (sec)

N/A 0.028 0.088 0.467 0.000 0.380 2.134 2.041 3.688

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 62 148 0 382 53 52 50

N.S.

1 1.00 0.91 2.18 0.00 5.62 0.78 0.76 0.74

time (sec)

N/A 0.357 0.048 0.389 0.000 0.416 150.729 1.486 3.899

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 37 45 0 39 0 27 39

N.S.

1 1.00 1.09 1.32 0.00 1.15 0.00 0.79 1.15

time (sec)

N/A 0.021 0.055 0.385 0.000 0.563 0.000 2.084 3.329

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 50 42 0 49 0 43 27

N.S.

1 1.00 0.68 0.57 0.00 0.66 0.00 0.58 0.36

time (sec)

N/A 0.030 0.080 0.375 0.000 0.620 0.000 2.392 3.162

Problem 693

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

19 19 18 14 13 16 17 16 13

N.S.

1 1.00 0.95 0.74 0.68 0.84 0.89 0.84 0.68

time (sec)

N/A 0.003 0.010 0.021 0.268 0.339 0.069 2.162 0.030

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 52 50 67 86 100 55 162

N.S.

1 1.00 0.96 0.93 1.24 1.59 1.85 1.02 3.00

time (sec)

N/A 0.059 0.077 5.076 0.510 0.403 0.639 2.322 0.095

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 18 12 12 32 12 12

N.S.

1 1.00 1.00 1.29 0.86 0.86 2.29 0.86 0.86

time (sec)

N/A 0.013 0.010 0.053 0.282 0.370 1.830 1.736 0.188

Problem 696

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

61 61 56 91 46 63 94 50 71

N.S.

1 1.00 0.92 1.49 0.75 1.03 1.54 0.82 1.16

time (sec)

N/A 0.029 0.056 0.140 0.476 0.345 0.998 2.260 3.238

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 93 30 32 39 30 32

N.S.

1 1.00 1.00 2.51 0.81 0.86 1.05 0.81 0.86

time (sec)

N/A 0.026 0.034 0.147 0.492 0.352 0.975 1.886 0.066

Problem 698

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

61 61 56 91 45 64 92 49 71

N.S.

1 1.00 0.92 1.49 0.74 1.05 1.51 0.80 1.16

time (sec)

N/A 0.022 0.040 0.136 0.506 0.372 0.962 1.924 0.119

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 29 54 21 21 36 22 25

N.S.

1 1.00 0.94 1.74 0.68 0.68 1.16 0.71 0.81

time (sec)

N/A 0.016 0.013 0.084 0.263 0.343 1.068 4.560 3.083

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 60 101 51 65 92 54 79

N.S.

1 1.00 0.92 1.55 0.78 1.00 1.42 0.83 1.22

time (sec)

N/A 0.026 0.039 0.135 0.483 0.379 0.931 2.438 3.158

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