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

2.2.7 Integrals 601 to 700

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 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

406 719 525 623 0 235 0 0 0

N.S.

1 1.77 1.29 1.53 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.820 24.580 2.425 0.000 0.089 0.000 0.000 0.000

Problem 602

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

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.140 10.023 1.046 0.187 0.243 0.084 0.332 17.831

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes 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.142 10.040 1.085 0.196 0.289 0.097 0.373 17.770

Problem 604

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

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.137 10.026 1.073 0.188 0.270 0.096 0.359 17.503

Problem 605

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

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.139 10.030 1.037 0.194 0.257 0.093 0.411 17.398

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 23 10

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 1.77 0.77

time (sec)

N/A 0.139 0.019 1.051 0.185 0.244 0.066 0.366 17.099

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

44 46 45 34 33 32 39 33 32

N.S.

1 1.05 1.02 0.77 0.75 0.73 0.89 0.75 0.73

time (sec)

N/A 0.171 0.023 1.015 0.182 0.247 0.077 0.417 0.115

Problem 608

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

N.S.

1 1.29 0.90 0.76 0.71 0.71 0.81 0.76 0.71

time (sec)

N/A 0.155 0.003 0.932 0.195 0.250 0.061 0.426 17.303

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes 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.168 0.020 0.941 0.194 0.257 0.071 0.345 17.247

Problem 610

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

N.S.

1 1.30 1.09 1.06 0.91 0.88 1.27 1.15 0.88

time (sec)

N/A 0.179 0.030 0.982 0.186 0.285 0.097 0.340 0.051

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 37 10 12 10 10 14 0 10

N.S.

1 3.70 1.00 1.20 1.00 1.00 1.40 0.00 1.00

time (sec)

N/A 0.225 0.025 1.103 0.185 0.255 0.836 0.000 17.025

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 37 10 12 86 10 24 0 39

N.S.

1 2.18 0.59 0.71 5.06 0.59 1.41 0.00 2.29

time (sec)

N/A 0.193 0.007 1.197 0.201 0.241 12.624 0.000 17.096

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 34 38 97 0 0 0 0

N.S.

1 1.00 0.92 1.03 2.62 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 3.895 56.810 0.282 0.000 0.000 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 36 95 0 0 0 0

N.S.

1 1.00 0.91 1.03 2.71 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 10.182 43.423 0.263 0.000 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 31 35 92 0 0 0 148

N.S.

1 1.00 0.91 1.03 2.71 0.00 0.00 0.00 4.35

time (sec)

N/A 0.277 6.960 32.992 0.269 0.000 0.000 0.000 27.137

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 34 38 95 0 0 0 37

N.S.

1 0.00 0.92 1.03 2.57 0.00 0.00 0.00 1.00

time (sec)

N/A 0.000 8.767 84.549 0.278 0.000 0.000 0.000 25.134

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 34 38 95 0 0 0 146

N.S.

1 0.00 0.92 1.03 2.57 0.00 0.00 0.00 3.95

time (sec)

N/A 0.000 9.145 82.797 0.281 0.000 0.000 0.000 26.024

Problem 618

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

185 171 105 78 151 94 177 151 167

N.S.

1 0.92 0.57 0.42 0.82 0.51 0.96 0.82 0.90

time (sec)

N/A 0.352 0.083 0.980 0.186 0.364 0.581 0.399 17.655

Problem 619

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

138 129 93 66 112 81 133 127 124

N.S.

1 0.93 0.67 0.48 0.81 0.59 0.96 0.92 0.90

time (sec)

N/A 0.286 0.059 1.046 0.190 0.342 0.559 0.410 0.047

Problem 620

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

89 85 68 54 72 67 88 131 79

N.S.

1 0.96 0.76 0.61 0.81 0.75 0.99 1.47 0.89

time (sec)

N/A 0.237 0.041 0.981 0.194 0.339 0.557 0.498 0.030

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 47 41 35 35 49 68 82 36

N.S.

1 1.15 1.00 0.85 0.85 1.20 1.66 2.00 0.88

time (sec)

N/A 0.183 0.019 0.927 0.185 0.282 0.095 0.393 0.046

Problem 622

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

57 71 63 51 70 118 87 59 130

N.S.

1 1.25 1.11 0.89 1.23 2.07 1.53 1.04 2.28

time (sec)

N/A 0.250 0.056 0.895 0.262 0.285 1.390 0.402 0.089

Problem 623

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

54 66 64 63 73 147 73 80 131

N.S.

1 1.22 1.19 1.17 1.35 2.72 1.35 1.48 2.43

time (sec)

N/A 0.217 0.100 0.967 0.262 0.276 22.673 0.325 0.122

Problem 624

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

80 91 77 81 113 181 134 105 80

N.S.

1 1.14 0.96 1.01 1.41 2.26 1.68 1.31 1.00

time (sec)

N/A 0.221 0.182 0.983 0.274 0.304 90.954 0.386 0.084

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 307 232 385 268 286 359 915 0

N.S.

1 0.94 0.71 1.18 0.82 0.88 1.10 2.81 0.00

time (sec)

N/A 0.404 0.211 0.171 0.191 0.371 0.889 0.417 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 211 147 184 167 184 241 549 0

N.S.

1 0.94 0.66 0.82 0.75 0.82 1.08 2.45 0.00

time (sec)

N/A 0.317 0.127 0.148 0.189 0.315 0.748 0.391 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 126 84 93 93 103 156 279 0

N.S.

1 0.95 0.63 0.70 0.70 0.77 1.17 2.10 0.00

time (sec)

N/A 0.257 0.068 0.142 0.195 0.314 0.669 0.388 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 55 55 41 43 50 70 99 44

N.S.

1 0.98 0.98 0.73 0.77 0.89 1.25 1.77 0.79

time (sec)

N/A 0.181 0.035 0.105 0.183 0.333 0.418 0.344 17.903

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 134 124 154 0 194 0 157 0

N.S.

1 1.16 1.07 1.33 0.00 1.67 0.00 1.35 0.00

time (sec)

N/A 0.367 0.230 0.296 0.000 0.347 0.000 0.443 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

137 186 144 166 0 1003 0 232 0

N.S.

1 1.36 1.05 1.21 0.00 7.32 0.00 1.69 0.00

time (sec)

N/A 0.341 0.387 0.271 0.000 0.351 0.000 0.413 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

224 336 217 372 0 2856 0 895 0

N.S.

1 1.50 0.97 1.66 0.00 12.75 0.00 4.00 0.00

time (sec)

N/A 0.519 1.750 0.303 0.000 0.562 0.000 0.612 0.000

Problem 632

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

230 216 235 288 243 228 252 341 317

N.S.

1 0.94 1.02 1.25 1.06 0.99 1.10 1.48 1.38

time (sec)

N/A 0.408 0.199 0.057 0.192 0.289 1.402 0.424 0.070

Problem 633

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

151 143 151 166 148 138 167 198 184

N.S.

1 0.95 1.00 1.10 0.98 0.91 1.11 1.31 1.22

time (sec)

N/A 0.318 0.113 0.052 0.186 0.282 1.194 0.446 17.676

Problem 634

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

N.S.

1 0.98 0.94 0.94 0.90 0.79 1.16 1.17 0.99

time (sec)

N/A 0.255 0.062 0.040 0.187 0.285 1.074 0.345 0.057

Problem 635

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

41 39 40 36 35 33 49 38 33

N.S.

1 0.95 0.98 0.88 0.85 0.80 1.20 0.93 0.80

time (sec)

N/A 0.182 0.026 0.048 0.188 0.276 0.271 0.370 17.445

Problem 636

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

82 79 62 69 95 125 97 88 181

N.S.

1 0.96 0.76 0.84 1.16 1.52 1.18 1.07 2.21

time (sec)

N/A 0.237 0.050 0.077 0.338 0.298 1.344 0.353 17.828

Problem 637

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

130 151 118 128 191 283 0 191 220

N.S.

1 1.16 0.91 0.98 1.47 2.18 0.00 1.47 1.69

time (sec)

N/A 0.329 0.174 0.079 0.318 0.339 0.000 0.352 18.515

Problem 638

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

204 244 198 227 367 534 0 375 1094

N.S.

1 1.20 0.97 1.11 1.80 2.62 0.00 1.84 5.36

time (sec)

N/A 0.438 0.378 0.092 0.301 0.677 0.000 0.361 19.573

Problem 639

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

240 228 283 277 251 392 267 324 461

N.S.

1 0.95 1.18 1.15 1.05 1.63 1.11 1.35 1.92

time (sec)

N/A 0.424 0.194 0.072 0.212 0.316 5.690 0.339 0.094

Problem 640

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

166 158 194 161 158 269 189 191 197

N.S.

1 0.95 1.17 0.97 0.95 1.62 1.14 1.15 1.19

time (sec)

N/A 0.334 0.136 0.067 0.201 0.305 4.543 0.423 0.063

Problem 641

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

95 95 108 87 90 163 126 102 98

N.S.

1 1.00 1.14 0.92 0.95 1.72 1.33 1.07 1.03

time (sec)

N/A 0.267 0.074 0.060 0.193 0.286 3.497 0.344 0.062

Problem 642

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

47 44 43 41 43 75 124 44 43

N.S.

1 0.94 0.91 0.87 0.91 1.60 2.64 0.94 0.91

time (sec)

N/A 0.192 0.040 0.062 0.186 0.293 0.561 0.380 17.233

Problem 643

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

129 152 107 118 176 444 167 174 125

N.S.

1 1.18 0.83 0.91 1.36 3.44 1.29 1.35 0.97

time (sec)

N/A 0.331 0.160 0.078 0.274 0.325 4.639 0.357 17.948

Problem 644

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

202 219 177 182 367 854 0 311 275

N.S.

1 1.08 0.88 0.90 1.82 4.23 0.00 1.54 1.36

time (sec)

N/A 0.391 0.294 0.111 0.265 0.528 0.000 0.376 0.708

Problem 645

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

306 336 301 303 659 1252 0 521 1441

N.S.

1 1.10 0.98 0.99 2.15 4.09 0.00 1.70 4.71

time (sec)

N/A 0.527 0.588 0.135 0.285 1.247 0.000 0.394 21.417

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 305 232 384 268 231 357 409 0

N.S.

1 0.94 0.72 1.19 0.83 0.71 1.10 1.26 0.00

time (sec)

N/A 0.416 0.196 0.164 0.183 0.309 0.800 0.383 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 209 147 184 167 140 240 238 0

N.S.

1 0.94 0.66 0.83 0.75 0.63 1.08 1.07 0.00

time (sec)

N/A 0.331 0.119 0.163 0.187 0.340 0.721 0.406 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 124 84 92 93 71 155 115 0

N.S.

1 0.95 0.64 0.70 0.71 0.54 1.18 0.88 0.00

time (sec)

N/A 0.262 0.066 0.118 0.192 0.319 0.629 0.364 0.000

Problem 649

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

54 53 42 41 42 34 68 38 44

N.S.

1 0.98 0.78 0.76 0.78 0.63 1.26 0.70 0.81

time (sec)

N/A 0.188 0.026 0.086 0.186 0.331 0.359 0.406 17.118

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 105 92 0 743 0 140 0

N.S.

1 1.15 1.08 0.95 0.00 7.66 0.00 1.44 0.00

time (sec)

N/A 0.311 0.159 0.284 0.000 0.329 0.000 0.381 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

163 235 170 259 0 2493 0 644 0

N.S.

1 1.44 1.04 1.59 0.00 15.29 0.00 3.95 0.00

time (sec)

N/A 0.393 0.506 0.290 0.000 0.406 0.000 0.618 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

261 391 249 427 0 4390 0 1303 0

N.S.

1 1.50 0.95 1.64 0.00 16.82 0.00 4.99 0.00

time (sec)

N/A 0.606 1.306 0.418 0.000 1.219 0.000 0.444 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

350 330 555 0 728 1416 0 5699 0

N.S.

1 0.94 1.59 0.00 2.08 4.05 0.00 16.28 0.00

time (sec)

N/A 0.469 0.680 0.000 0.217 0.409 0.000 0.508 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

242 227 284 0 402 712 0 2511 0

N.S.

1 0.94 1.17 0.00 1.66 2.94 0.00 10.38 0.00

time (sec)

N/A 0.358 0.366 0.000 0.210 0.329 0.000 0.358 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

145 137 128 0 187 294 0 806 0

N.S.

1 0.94 0.88 0.00 1.29 2.03 0.00 5.56 0.00

time (sec)

N/A 0.280 0.194 0.000 0.198 0.314 0.000 0.352 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F B B

verified

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

size

62 60 53 0 60 81 0 129 146

N.S.

1 0.97 0.85 0.00 0.97 1.31 0.00 2.08 2.35

time (sec)

N/A 0.196 0.090 0.000 0.200 0.293 0.000 0.568 17.516

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

139 145 136 0 0 0 0 0 0

N.S.

1 1.04 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 87 77 70 0 164 134 0 0

N.S.

1 0.94 0.83 0.75 0.00 1.76 1.44 0.00 0.00

time (sec)

N/A 0.207 0.196 1.353 0.000 0.275 18.081 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 67 61 54 0 130 95 0 0

N.S.

1 0.96 0.87 0.77 0.00 1.86 1.36 0.00 0.00

time (sec)

N/A 0.190 0.136 1.365 0.000 0.290 12.055 0.000 0.000

Problem 660

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

49 47 46 40 0 103 0 0 0

N.S.

1 0.96 0.94 0.82 0.00 2.10 0.00 0.00 0.00

time (sec)

N/A 0.185 0.109 1.281 0.000 0.287 0.000 0.000 0.000

Problem 661

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

30 30 30 25 0 78 0 0 0

N.S.

1 1.00 1.00 0.83 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.173 0.102 1.274 0.000 0.299 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 50 52 43 0 164 66 0 0

N.S.

1 0.96 1.00 0.83 0.00 3.15 1.27 0.00 0.00

time (sec)

N/A 0.183 0.146 1.070 0.000 0.283 3.161 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 67 59 0 262 90 0 0

N.S.

1 1.00 0.89 0.79 0.00 3.49 1.20 0.00 0.00

time (sec)

N/A 0.197 0.184 1.050 0.000 0.310 4.673 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 97 81 78 0 169 131 0 0

N.S.

1 0.96 0.80 0.77 0.00 1.67 1.30 0.00 0.00

time (sec)

N/A 0.204 0.161 1.406 0.000 0.265 17.815 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 74 66 60 0 135 94 0 0

N.S.

1 0.97 0.87 0.79 0.00 1.78 1.24 0.00 0.00

time (sec)

N/A 0.198 0.135 1.407 0.000 0.268 11.992 0.000 0.000

Problem 666

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

53 51 50 44 0 110 0 0 0

N.S.

1 0.96 0.94 0.83 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 0.181 0.115 1.284 0.000 0.279 0.000 0.000 0.000

Problem 667

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

32 32 32 27 0 80 0 0 0

N.S.

1 1.00 1.00 0.84 0.00 2.50 0.00 0.00 0.00

time (sec)

N/A 0.175 0.102 1.377 0.000 0.266 0.000 0.000 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 54 56 47 0 175 66 0 0

N.S.

1 0.96 1.00 0.84 0.00 3.12 1.18 0.00 0.00

time (sec)

N/A 0.189 0.146 1.109 0.000 0.284 4.180 0.000 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 82 70 65 0 277 88 0 0

N.S.

1 1.01 0.86 0.80 0.00 3.42 1.09 0.00 0.00

time (sec)

N/A 0.202 0.207 1.163 0.000 0.293 4.693 0.000 0.000

Problem 670

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

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.136 0.003 1.077 0.265 0.294 0.517 0.347 16.702

Problem 671

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

30 30 30 25 0 78 0 0 0

N.S.

1 1.00 1.00 0.83 0.00 2.60 0.00 0.00 0.00

time (sec)

N/A 0.170 0.111 1.415 0.000 0.301 0.000 0.000 0.000

Problem 672

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

37 37 37 32 0 116 0 0 0

N.S.

1 1.00 1.00 0.86 0.00 3.14 0.00 0.00 0.00

time (sec)

N/A 0.328 0.184 1.115 0.000 0.282 0.000 0.000 0.000

Problem 673

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

44 44 44 39 0 147 0 0 0

N.S.

1 1.00 1.00 0.89 0.00 3.34 0.00 0.00 0.00

time (sec)

N/A 0.525 0.217 1.152 0.000 0.313 0.000 0.000 0.000

Problem 674

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

51 51 51 46 0 182 0 0 0

N.S.

1 1.00 1.00 0.90 0.00 3.57 0.00 0.00 0.00

time (sec)

N/A 0.809 0.248 1.205 0.000 0.298 0.000 0.000 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 89 70 63 120 55 80 77 54

N.S.

1 1.17 0.92 0.83 1.58 0.72 1.05 1.01 0.71

time (sec)

N/A 0.217 0.103 1.096 0.266 0.273 51.196 0.361 17.764

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 68 65 58 67 50 60 67 44

N.S.

1 1.13 1.08 0.97 1.12 0.83 1.00 1.12 0.73

time (sec)

N/A 0.199 0.079 0.991 0.269 0.268 23.559 0.336 17.645

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 47 46 53 30 43 39 57 30

N.S.

1 1.07 1.05 1.20 0.68 0.98 0.89 1.30 0.68

time (sec)

N/A 0.175 0.063 0.176 0.264 0.269 10.705 0.337 18.111

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes 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.155 0.024 1.017 0.182 0.261 1.120 0.335 17.763

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 27 24 29 30 28 20 58 25

N.S.

1 1.29 1.14 1.38 1.43 1.33 0.95 2.76 1.19

time (sec)

N/A 0.191 0.029 1.007 0.186 0.279 1.723 0.353 18.035

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 40 32 34 38 38 34 68 28

N.S.

1 1.18 0.94 1.00 1.12 1.12 1.00 2.00 0.82

time (sec)

N/A 0.193 0.043 1.008 0.191 0.274 2.310 0.490 18.170

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B A A B

verified

N/A Yes Yes Yes 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.145 0.005 0.976 0.259 0.280 1.444 0.344 18.245

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B A A B

verified

N/A Yes Yes Yes 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.144 0.002 1.000 0.000 0.274 1.397 0.381 18.373

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 20 895 16 67 71 16 26

N.S.

1 1.00 1.11 49.72 0.89 3.72 3.94 0.89 1.44

time (sec)

N/A 0.252 0.019 0.094 0.183 0.277 0.735 0.317 19.438

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 29 16 21 32 19 16 10

N.S.

1 1.00 1.81 1.00 1.31 2.00 1.19 1.00 0.62

time (sec)

N/A 0.229 0.018 1.142 0.184 0.277 0.089 0.330 18.249

Problem 685

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

44 48 40 27 49 36 94 29 26

N.S.

1 1.09 0.91 0.61 1.11 0.82 2.14 0.66 0.59

time (sec)

N/A 0.183 0.109 1.048 0.260 0.264 0.154 0.345 0.091

Problem 686

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

121 125 57 49 89 53 133 138 124

N.S.

1 1.03 0.47 0.40 0.74 0.44 1.10 1.14 1.02

time (sec)

N/A 0.314 0.031 1.314 0.269 0.330 0.907 0.342 0.053

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 49 42 0 268 83 41 42

N.S.

1 1.00 0.98 0.84 0.00 5.36 1.66 0.82 0.84

time (sec)

N/A 0.202 0.076 1.081 0.000 0.323 2.703 0.342 18.790

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 54 49 42 0 268 0 41 96

N.S.

1 1.08 0.98 0.84 0.00 5.36 0.00 0.82 1.92

time (sec)

N/A 0.197 0.003 1.522 0.000 0.309 0.000 0.352 19.349

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 62 56 0 382 131 55 56

N.S.

1 1.00 0.91 0.82 0.00 5.62 1.93 0.81 0.82

time (sec)

N/A 0.201 0.092 1.169 0.000 0.326 2.925 0.349 18.383

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

68 55 62 68 0 382 0 52 50

N.S.

1 0.81 0.91 1.00 0.00 5.62 0.00 0.76 0.74

time (sec)

N/A 0.676 0.057 1.148 0.000 0.320 0.000 0.420 18.896

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 37 26 0 39 32 27 39

N.S.

1 1.00 1.09 0.76 0.00 1.15 0.94 0.79 1.15

time (sec)

N/A 0.179 0.057 0.980 0.000 0.557 0.243 0.333 18.750

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 78 50 41 0 49 48 43 27

N.S.

1 1.05 0.68 0.55 0.00 0.66 0.65 0.58 0.36

time (sec)

N/A 0.210 0.080 0.992 0.000 0.577 0.253 0.369 18.170

Problem 693

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

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.151 0.011 0.038 0.179 0.284 0.083 0.324 0.030

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 66 52 50 67 96 100 55 162

N.S.

1 1.22 0.96 0.93 1.24 1.78 1.85 1.02 3.00

time (sec)

N/A 0.289 0.111 9.070 0.258 0.298 0.447 0.393 0.104

Problem 695

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

14 14 14 13 12 12 32 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 2.29 0.86 0.86

time (sec)

N/A 0.181 0.010 0.102 0.176 0.295 0.650 0.340 17.964

Problem 696

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

61 63 56 33 46 63 54 50 71

N.S.

1 1.03 0.92 0.54 0.75 1.03 0.89 0.82 1.16

time (sec)

N/A 0.264 0.060 0.253 0.259 0.288 0.683 0.343 0.198

Problem 697

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

37 43 37 31 30 32 39 30 32

N.S.

1 1.16 1.00 0.84 0.81 0.86 1.05 0.81 0.86

time (sec)

N/A 0.231 0.012 0.237 0.261 0.309 0.578 0.329 18.250

Problem 698

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

61 63 56 32 45 64 53 49 71

N.S.

1 1.03 0.92 0.52 0.74 1.05 0.87 0.80 1.16

time (sec)

N/A 0.243 0.043 0.225 0.270 0.316 0.619 0.358 17.770

Problem 699

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

31 33 29 22 21 21 36 22 25

N.S.

1 1.06 0.94 0.71 0.68 0.68 1.16 0.71 0.81

time (sec)

N/A 0.224 0.002 0.136 0.174 0.286 0.696 0.347 0.051

Problem 700

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

65 67 60 36 51 65 53 54 79

N.S.

1 1.03 0.92 0.55 0.78 1.00 0.82 0.83 1.22

time (sec)

N/A 0.264 0.044 0.239 0.263 0.289 0.649 0.472 18.275

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