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 A F F(-2) B F F F(-1)

verified

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

size

110 126 176 0 0 290 0 0 0

N.S.

1 1.15 1.60 0.00 0.00 2.64 0.00 0.00 0.00

time (sec)

N/A 0.475 1.159 0.000 0.000 0.270 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 156 130 141 372 382 0 0 0

N.S.

1 1.26 1.05 1.14 3.00 3.08 0.00 0.00 0.00

time (sec)

N/A 0.785 1.832 3.539 0.324 0.277 0.000 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 173 64 90 0 106 0 0 463

N.S.

1 1.10 0.41 0.57 0.00 0.68 0.00 0.00 2.95

time (sec)

N/A 0.980 1.091 7.235 0.000 0.266 0.000 0.000 34.127

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 121 62 80 0 84 0 0 148

N.S.

1 1.10 0.56 0.73 0.00 0.76 0.00 0.00 1.35

time (sec)

N/A 0.676 0.729 6.547 0.000 0.259 0.000 0.000 43.075

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 44 70 0 64 0 413066 129

N.S.

1 1.00 0.61 0.97 0.00 0.89 0.00 5737.03 1.79

time (sec)

N/A 0.488 0.527 6.748 0.000 0.258 0.000 142.288 32.891

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 30 44 0 40 0 80097 87

N.S.

1 1.00 0.91 1.33 0.00 1.21 0.00 2427.18 2.64

time (sec)

N/A 0.293 0.295 6.319 0.000 0.248 0.000 37.399 27.416

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 73 122 430 201 0 0 0

N.S.

1 1.00 1.62 2.71 9.56 4.47 0.00 0.00 0.00

time (sec)

N/A 0.257 0.215 7.244 0.352 0.285 0.000 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 92 341 1049 351 0 0 0

N.S.

1 1.00 1.10 4.06 12.49 4.18 0.00 0.00 0.00

time (sec)

N/A 0.428 0.455 6.326 0.454 0.285 0.000 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 134 105 571 1421 419 0 0 0

N.S.

1 1.04 0.81 4.43 11.02 3.25 0.00 0.00 0.00

time (sec)

N/A 0.611 0.800 6.141 0.511 0.296 0.000 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 186 116 811 2333 481 0 0 0

N.S.

1 1.06 0.66 4.61 13.26 2.73 0.00 0.00 0.00

time (sec)

N/A 0.805 1.078 7.424 0.762 0.281 0.000 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 228 85 101 0 132 0 0 594

N.S.

1 1.10 0.41 0.49 0.00 0.63 0.00 0.00 2.86

time (sec)

N/A 1.186 1.221 6.246 0.000 0.242 0.000 0.000 34.921

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 163 73 91 0 111 0 0 479

N.S.

1 1.10 0.49 0.61 0.00 0.75 0.00 0.00 3.24

time (sec)

N/A 0.862 0.756 5.799 0.000 0.245 0.000 0.000 36.544

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 115 59 81 0 88 0 0 149

N.S.

1 1.05 0.54 0.74 0.00 0.80 0.00 0.00 1.35

time (sec)

N/A 0.624 0.631 5.671 0.000 0.241 0.000 0.000 45.174

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 51 71 0 67 0 0 158

N.S.

1 1.00 0.68 0.95 0.00 0.89 0.00 0.00 2.11

time (sec)

N/A 0.401 0.484 5.744 0.000 0.250 0.000 0.000 35.041

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 86 224 1317 296 0 0 0

N.S.

1 1.00 1.08 2.80 16.46 3.70 0.00 0.00 0.00

time (sec)

N/A 0.358 0.316 17.211 0.470 0.291 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 124 93 457 1058 369 0 0 0

N.S.

1 1.44 1.08 5.31 12.30 4.29 0.00 0.00 0.00

time (sec)

N/A 0.604 0.601 4.950 0.459 0.286 0.000 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 137 105 702 0 437 0 0 0

N.S.

1 1.03 0.79 5.28 0.00 3.29 0.00 0.00 0.00

time (sec)

N/A 0.684 1.031 5.323 0.000 0.285 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 189 117 958 0 503 0 0 0

N.S.

1 1.04 0.64 5.26 0.00 2.76 0.00 0.00 0.00

time (sec)

N/A 0.889 1.176 6.480 0.000 0.277 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 189 112 892 0 380 0 0 0

N.S.

1 1.08 0.64 5.10 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 1.088 1.791 11.228 0.000 0.283 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 136 89 607 0 294 0 0 0

N.S.

1 1.05 0.69 4.71 0.00 2.28 0.00 0.00 0.00

time (sec)

N/A 0.740 1.157 9.807 0.000 0.292 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 67 370 0 245 0 0 0

N.S.

1 1.00 0.76 4.20 0.00 2.78 0.00 0.00 0.00

time (sec)

N/A 0.546 0.736 4.093 0.000 0.291 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 64 209 0 146 0 0 0

N.S.

1 1.00 1.16 3.80 0.00 2.65 0.00 0.00 0.00

time (sec)

N/A 0.298 0.390 3.510 0.000 0.275 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 96 260 1685 309 0 0 0

N.S.

1 1.00 0.96 2.60 16.85 3.09 0.00 0.00 0.00

time (sec)

N/A 0.447 0.507 4.072 0.646 0.272 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 163 590 0 481 0 0 0

N.S.

1 1.00 1.18 4.28 0.00 3.49 0.00 0.00 0.00

time (sec)

N/A 0.658 2.426 3.283 0.000 0.282 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 197 186 989 0 569 0 0 0

N.S.

1 1.08 1.02 5.43 0.00 3.13 0.00 0.00 0.00

time (sec)

N/A 1.003 3.983 3.566 0.000 0.281 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 189 100 1070 0 350 0 0 0

N.S.

1 1.05 0.56 5.94 0.00 1.94 0.00 0.00 0.00

time (sec)

N/A 1.027 2.974 9.491 0.000 0.287 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 133 94 495 0 276 0 0 0

N.S.

1 1.04 0.73 3.87 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.697 1.664 3.909 0.000 0.285 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 84 380 0 272 0 0 0

N.S.

1 1.00 0.90 4.09 0.00 2.92 0.00 0.00 0.00

time (sec)

N/A 0.518 1.433 3.891 0.000 0.283 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 83 377 0 269 0 0 0

N.S.

1 1.00 0.89 4.05 0.00 2.89 0.00 0.00 0.00

time (sec)

N/A 0.433 1.035 4.179 0.000 0.275 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 144 198 552 0 438 0 0 0

N.S.

1 1.04 1.43 4.00 0.00 3.17 0.00 0.00 0.00

time (sec)

N/A 0.626 3.205 4.367 0.000 0.269 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 182 217 1075 0 528 0 0 0

N.S.

1 1.02 1.22 6.04 0.00 2.97 0.00 0.00 0.00

time (sec)

N/A 0.947 5.859 2.957 0.000 0.286 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 247 357 1632 0 616 0 0 0

N.S.

1 1.06 1.53 6.97 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 1.339 7.595 3.258 0.000 0.278 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 119 0 29 0 0 14

N.S.

1 1.00 1.00 7.44 0.00 1.81 0.00 0.00 0.88

time (sec)

N/A 0.270 0.068 1.266 0.000 0.251 0.000 0.000 26.371

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 55 80 396 0 120 0 0 0

N.S.

1 0.80 1.16 5.74 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.566 1.807 1.615 0.000 0.265 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

79 57 122 396 0 120 0 0 0

N.S.

1 0.72 1.54 5.01 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 0.721 2.225 1.898 0.000 0.259 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

95 65 92 761 0 136 0 0 0

N.S.

1 0.68 0.97 8.01 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.771 4.515 2.834 0.000 0.263 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 31 30 59 138 85 63

N.S.

1 1.00 1.00 1.03 1.00 1.97 4.60 2.83 2.10

time (sec)

N/A 0.245 5.450 0.673 0.224 0.286 18.292 1.047 30.763

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 938 187 24 122 129 142 185

N.S.

1 1.00 36.08 7.19 0.92 4.69 4.96 5.46 7.12

time (sec)

N/A 0.227 12.232 222.002 0.204 0.270 2.514 0.806 27.192

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 152 24 92 100 321 100

N.S.

1 1.00 1.00 5.85 0.92 3.54 3.85 12.35 3.85

time (sec)

N/A 0.222 5.946 48.376 0.208 0.256 0.998 0.700 26.844

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 67 57 24 61 73 45 61

N.S.

1 1.00 2.58 2.19 0.92 2.35 2.81 1.73 2.35

time (sec)

N/A 0.206 0.058 8.280 0.205 0.245 0.414 0.432 26.372

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 29 23 22 33 61 42 133

N.S.

1 1.00 1.32 1.05 1.00 1.50 2.77 1.91 6.05

time (sec)

N/A 0.226 3.226 2.250 0.201 0.267 3.778 133.527 29.034

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 27 25 24 29 49 108 47

N.S.

1 1.00 1.12 1.04 1.00 1.21 2.04 4.50 1.96

time (sec)

N/A 0.222 1.574 4.659 0.193 0.250 11.183 0.624 26.693

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 29 25 24 63 80 37 291

N.S.

1 1.00 1.12 0.96 0.92 2.42 3.08 1.42 11.19

time (sec)

N/A 0.225 3.993 18.498 0.200 0.246 23.681 142.414 30.843

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.203 0.083 0.116 0.306 0.232 0.443 0.276 26.712

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.206 0.070 0.115 0.301 0.229 0.488 0.262 27.582

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 20 22 22 17 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.85 1.10 1.10

time (sec)

N/A 0.207 0.118 0.102 0.287 0.234 0.376 0.360 27.419

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

20 20 22 20 22 22 17 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.85 1.10 1.10

time (sec)

N/A 0.204 0.107 0.113 0.283 0.240 3.257 0.315 27.162

Problem 648

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

12 12 12 13 12 15 17 13 12

N.S.

1 1.00 1.00 1.08 1.00 1.25 1.42 1.08 1.00

time (sec)

N/A 0.173 0.009 0.353 0.198 0.242 0.084 0.276 0.074

Problem 649

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

20 20 20 21 20 23 63 20 20

N.S.

1 1.00 1.00 1.05 1.00 1.15 3.15 1.00 1.00

time (sec)

N/A 0.181 0.029 2.420 0.199 0.255 0.518 0.282 27.363

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 16 6 5 36 0 14 5

N.S.

1 1.00 3.20 1.20 1.00 7.20 0.00 2.80 1.00

time (sec)

N/A 0.173 0.053 0.478 0.275 0.244 0.000 0.272 26.473

Problem 651

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

5 5 5 6 5 20 5 5 5

N.S.

1 1.00 1.00 1.20 1.00 4.00 1.00 1.00 1.00

time (sec)

N/A 0.181 4.392 0.257 0.204 0.259 0.134 0.271 0.117

Problem 652

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

28 33 21 23 17 73 34 17 22

N.S.

1 1.18 0.75 0.82 0.61 2.61 1.21 0.61 0.79

time (sec)

N/A 0.234 2.048 0.577 0.217 0.245 0.599 0.280 26.841

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 21 20 168 54 20 20

N.S.

1 1.00 1.00 0.81 0.77 6.46 2.08 0.77 0.77

time (sec)

N/A 0.244 4.550 4.431 0.197 0.246 3.393 0.269 26.752

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 137 32 103 39 46 39 39

N.S.

1 1.11 3.81 0.89 2.86 1.08 1.28 1.08 1.08

time (sec)

N/A 0.256 0.236 0.822 0.204 0.256 0.924 0.279 0.107

Problem 655

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

9 9 9 8 7 22 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 2.44 0.78 0.78 0.78

time (sec)

N/A 0.186 2.314 0.308 0.203 0.240 0.148 0.294 26.802

Problem 656

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 29 24 18 17 17 26 17 17

N.S.

1 0.94 0.77 0.58 0.55 0.55 0.84 0.55 0.55

time (sec)

N/A 0.208 0.095 0.531 0.205 0.241 0.147 0.269 0.142

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

9 9 162 0 18 29 0 7 0

N.S.

1 1.00 18.00 0.00 2.00 3.22 0.00 0.78 0.00

time (sec)

N/A 0.233 2.643 0.000 0.303 0.284 0.000 0.280 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 59 52 51 34 0 75 0

N.S.

1 1.00 0.83 0.73 0.72 0.48 0.00 1.06 0.00

time (sec)

N/A 0.234 0.148 0.852 0.195 0.257 0.000 0.282 0.000

Problem 659

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

18 18 18 18 17 17 39 17 17

N.S.

1 1.00 1.00 1.00 0.94 0.94 2.17 0.94 0.94

time (sec)

N/A 0.187 0.059 0.547 0.203 0.231 0.138 0.270 0.134

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 23 23 23 53 23 23

N.S.

1 1.00 1.00 1.00 1.00 1.00 2.30 1.00 1.00

time (sec)

N/A 0.188 0.110 0.622 0.193 0.248 4.242 0.273 26.557

Problem 661

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

24 24 23 23 23 23 51 23 23

N.S.

1 1.00 0.96 0.96 0.96 0.96 2.12 0.96 0.96

time (sec)

N/A 0.183 0.023 0.365 0.198 0.248 0.303 0.295 25.867

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

14 14 14 0 14 14 0 0 0

N.S.

1 1.00 1.00 0.00 1.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.185 0.036 0.000 0.251 0.258 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 19 19 0 20 20 0 0 0

N.S.

1 1.00 1.00 0.00 1.05 1.05 0.00 0.00 0.00

time (sec)

N/A 0.189 0.051 0.000 0.244 0.242 0.000 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

20 20 19 0 20 20 0 0 0

N.S.

1 1.00 0.95 0.00 1.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.190 0.042 0.000 0.249 0.238 0.000 0.000 0.000

Problem 665

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

11 11 11 12 11 11 14 12 11

N.S.

1 1.00 1.00 1.09 1.00 1.00 1.27 1.09 1.00

time (sec)

N/A 0.172 0.004 0.407 0.203 0.248 0.080 0.267 0.039

Problem 666

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

19 19 19 20 19 22 56 19 19

N.S.

1 1.00 1.00 1.05 1.00 1.16 2.95 1.00 1.00

time (sec)

N/A 0.177 0.022 0.957 0.204 0.250 0.502 0.283 26.717

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 3 39 0 16 9

N.S.

1 1.00 1.00 1.33 1.00 13.00 0.00 5.33 3.00

time (sec)

N/A 0.170 0.009 0.520 0.296 0.261 0.000 0.265 0.028

Problem 668

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

7 7 7 6 5 53 0 5 5

N.S.

1 1.00 1.00 0.86 0.71 7.57 0.00 0.71 0.71

time (sec)

N/A 0.180 0.009 0.582 0.275 0.249 0.000 0.273 26.855

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 71 0 0 9

N.S.

1 1.00 1.00 0.77 0.69 5.46 0.00 0.00 0.69

time (sec)

N/A 0.183 0.027 0.591 0.275 0.248 0.000 0.000 26.913

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 48 38 79 0 38 47

N.S.

1 1.00 1.00 2.29 1.81 3.76 0.00 1.81 2.24

time (sec)

N/A 0.189 0.016 0.642 0.193 0.238 0.000 0.282 26.725

Problem 671

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

28 28 28 23 22 61 0 22 20

N.S.

1 1.00 1.00 0.82 0.79 2.18 0.00 0.79 0.71

time (sec)

N/A 0.186 0.020 0.372 0.309 0.267 0.000 0.274 27.247

Problem 672

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 11 10 12 27 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.86 1.93 0.71 0.71

time (sec)

N/A 0.183 0.006 0.218 0.193 0.244 0.159 0.276 0.130

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 40 17 20 35 0 20 14

N.S.

1 1.00 2.11 0.89 1.05 1.84 0.00 1.05 0.74

time (sec)

N/A 0.197 0.020 1.217 0.200 0.351 0.000 0.279 26.437

Problem 674

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

3 3 3 4 3 17 3 3 3

N.S.

1 1.00 1.00 1.33 1.00 5.67 1.00 1.00 1.00

time (sec)

N/A 0.164 1.241 0.256 0.199 0.241 0.135 0.263 26.960

Problem 675

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

4 4 4 5 4 41 5 4 4

N.S.

1 1.00 1.00 1.25 1.00 10.25 1.25 1.00 1.00

time (sec)

N/A 0.214 3.763 10.411 0.208 0.251 0.877 0.264 27.626

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 9 8 47 10 29 21

N.S.

1 1.00 1.00 2.25 2.00 11.75 2.50 7.25 5.25

time (sec)

N/A 0.176 0.007 0.374 0.201 0.247 0.617 0.285 27.370

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 128 32 39 103 44 39 73

N.S.

1 1.11 3.56 0.89 1.08 2.86 1.22 1.08 2.03

time (sec)

N/A 0.235 0.256 0.590 0.213 0.257 0.919 0.269 0.105

Problem 678

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

14 14 9 9 8 8 12 8 8

N.S.

1 1.00 0.64 0.64 0.57 0.57 0.86 0.57 0.57

time (sec)

N/A 0.186 0.024 0.345 0.201 0.245 0.149 0.273 26.694

Problem 679

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

25 34 20 17 19 28 36 13 0

N.S.

1 1.36 0.80 0.68 0.76 1.12 1.44 0.52 0.00

time (sec)

N/A 0.253 0.023 0.668 0.198 0.256 0.430 0.271 0.000

Problem 680

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

10 10 10 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.80 0.70 0.70

time (sec)

N/A 0.177 0.014 0.266 0.231 0.247 0.147 0.281 26.993

Problem 681

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

6 6 6 6 5 5 7 5 6

N.S.

1 1.00 1.00 1.00 0.83 0.83 1.17 0.83 1.00

time (sec)

N/A 0.160 0.011 0.477 0.230 0.236 0.136 0.265 26.310

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 7 7 7 6 0 12 7

N.S.

1 1.00 0.70 0.70 0.70 0.60 0.00 1.20 0.70

time (sec)

N/A 0.168 0.018 208.582 0.690 0.255 0.000 0.275 26.283

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 13 7 12 0 18 7

N.S.

1 1.00 1.00 1.30 0.70 1.20 0.00 1.80 0.70

time (sec)

N/A 0.165 0.011 0.770 0.212 0.264 0.000 0.291 26.000

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 17 16 16 36 16 16

N.S.

1 1.00 1.00 1.00 0.94 0.94 2.12 0.94 0.94

time (sec)

N/A 0.178 0.016 0.982 0.195 0.244 0.143 0.271 0.123

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

22 22 22 22 22 22 49 22 22

N.S.

1 1.00 1.00 1.00 1.00 1.00 2.23 1.00 1.00

time (sec)

N/A 0.185 0.102 1.060 0.205 0.235 4.017 0.282 25.774

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 22 22 22 22 48 22 22

N.S.

1 1.00 0.96 0.96 0.96 0.96 2.09 0.96 0.96

time (sec)

N/A 0.185 0.024 0.641 0.201 0.255 0.273 0.278 26.207

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

13 13 13 0 13 13 0 13 0

N.S.

1 1.00 1.00 0.00 1.00 1.00 0.00 1.00 0.00

time (sec)

N/A 0.182 0.082 0.000 0.247 0.251 0.000 0.280 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

18 18 18 0 19 19 0 0 0

N.S.

1 1.00 1.00 0.00 1.06 1.06 0.00 0.00 0.00

time (sec)

N/A 0.188 0.094 0.000 0.263 0.232 0.000 0.000 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 19 18 0 19 19 0 0 0

N.S.

1 1.00 0.95 0.00 1.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.185 0.037 0.000 0.286 0.249 0.000 0.000 0.000

Problem 690

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

11 11 11 12 11 40 0 12 11

N.S.

1 1.00 1.00 1.09 1.00 3.64 0.00 1.09 1.00

time (sec)

N/A 0.184 0.071 1.529 0.194 0.254 0.000 0.272 26.485

Problem 691

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

11 3 9 4 15 23 0 17 3

N.S.

1 0.27 0.82 0.36 1.36 2.09 0.00 1.55 0.27

time (sec)

N/A 0.176 0.003 0.954 0.214 0.245 0.000 0.281 26.550

Problem 692

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

27 11 9 8 7 21 0 7 7

N.S.

1 0.41 0.33 0.30 0.26 0.78 0.00 0.26 0.26

time (sec)

N/A 0.176 0.062 6.790 0.293 0.248 0.000 0.275 26.377

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 19 37 0 0 37

N.S.

1 1.00 1.00 1.05 1.00 1.95 0.00 0.00 1.95

time (sec)

N/A 0.191 0.138 12.981 0.231 0.253 0.000 0.000 27.661

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 6 11 5 4 12 27 4 4

N.S.

1 1.50 2.75 1.25 1.00 3.00 6.75 1.00 1.00

time (sec)

N/A 0.204 0.006 5.987 0.291 0.257 0.269 0.275 26.025

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 11 5 4 12 27 4 4

N.S.

1 1.00 2.75 1.25 1.00 3.00 6.75 1.00 1.00

time (sec)

N/A 0.214 0.002 5.948 0.295 0.262 0.277 0.291 25.599

Problem 696

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

33 5 31 6 5 35 0 5 5

N.S.

1 0.15 0.94 0.18 0.15 1.06 0.00 0.15 0.15

time (sec)

N/A 0.207 0.082 8.091 0.306 0.246 0.000 0.300 26.792

Problem 697

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

10 15 16 18 17 36 0 19 16

N.S.

1 1.50 1.60 1.80 1.70 3.60 0.00 1.90 1.60

time (sec)

N/A 0.218 0.151 1.348 0.204 0.243 0.000 0.308 27.752

Problem 698

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

10 15 16 16 15 36 0 17 14

N.S.

1 1.50 1.60 1.60 1.50 3.60 0.00 1.70 1.40

time (sec)

N/A 0.227 0.121 1.408 0.209 0.260 0.000 0.279 26.108

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 115 74 38 89 441 0 61 75

N.S.

1 0.65 0.42 0.22 0.51 2.51 0.00 0.35 0.43

time (sec)

N/A 0.329 0.196 1.424 0.301 0.351 0.000 0.288 27.291

Problem 700

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

53 20 22 18 17 48 0 17 17

N.S.

1 0.38 0.42 0.34 0.32 0.91 0.00 0.32 0.32

time (sec)

N/A 0.226 0.105 0.839 0.274 0.260 0.000 0.268 26.821