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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 21 14 20 20 19 20 17

N.S.

1 1.00 1.31 0.88 1.25 1.25 1.19 1.25 1.06

time (sec)

N/A 0.253 0.017 0.516 0.189 0.238 0.029 0.264 0.038

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 18 14 12 12 10 14 12

N.S.

1 1.00 1.29 1.00 0.86 0.86 0.71 1.00 0.86

time (sec)

N/A 0.278 0.058 0.592 0.196 0.247 0.070 0.259 0.054

Problem 603

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

49 45 33 51 63 76 54 51 46

N.S.

1 0.92 0.67 1.04 1.29 1.55 1.10 1.04 0.94

time (sec)

N/A 0.319 0.034 0.589 0.199 0.242 0.160 0.276 0.066

Problem 604

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

84 74 61 76 91 121 85 74 73

N.S.

1 0.88 0.73 0.90 1.08 1.44 1.01 0.88 0.87

time (sec)

N/A 0.352 0.048 0.610 0.205 0.271 0.240 0.274 4.001

Problem 605

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

119 103 80 92 140 217 141 91 121

N.S.

1 0.87 0.67 0.77 1.18 1.82 1.18 0.76 1.02

time (sec)

N/A 0.381 0.068 0.602 0.205 0.271 0.339 0.284 4.101

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F A B

verified

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

size

393 0 111 160 415 169 0 198 362

N.S.

1 0.00 0.28 0.41 1.06 0.43 0.00 0.50 0.92

time (sec)

N/A 0.000 0.229 0.513 0.205 0.261 0.000 0.305 0.175

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F A B

verified

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

size

313 0 95 144 337 148 0 162 289

N.S.

1 0.00 0.30 0.46 1.08 0.47 0.00 0.52 0.92

time (sec)

N/A 0.000 0.174 0.513 0.211 0.247 0.000 0.278 0.120

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F A B

verified

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

size

233 0 79 128 259 125 0 126 214

N.S.

1 0.00 0.34 0.55 1.11 0.54 0.00 0.54 0.92

time (sec)

N/A 0.000 0.145 0.510 0.198 0.247 0.000 0.282 3.932

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F A B

verified

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

size

145 0 61 108 171 92 0 82 133

N.S.

1 0.00 0.42 0.74 1.18 0.63 0.00 0.57 0.92

time (sec)

N/A 0.000 0.126 0.132 0.200 0.251 0.000 0.282 0.067

Problem 610

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

18 18 18 24 23 34 0 49 23

N.S.

1 1.00 1.00 1.33 1.28 1.89 0.00 2.72 1.28

time (sec)

N/A 0.197 0.192 0.518 0.195 0.249 0.000 0.309 4.274

Problem 611

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

55 55 43 47 60 58 0 65 60

N.S.

1 1.00 0.78 0.85 1.09 1.05 0.00 1.18 1.09

time (sec)

N/A 0.305 0.312 0.510 0.218 0.239 0.000 0.313 3.852

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 93 66 65 103 86 0 0 116

N.S.

1 1.02 0.73 0.71 1.13 0.95 0.00 0.00 1.27

time (sec)

N/A 0.442 0.415 0.507 0.205 0.244 0.000 0.000 3.847

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 131 82 81 136 134 0 0 155

N.S.

1 1.03 0.65 0.64 1.07 1.06 0.00 0.00 1.22

time (sec)

N/A 0.583 0.505 0.515 0.214 0.249 0.000 0.000 0.043

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 105 79 113 0 117 0 0 0

N.S.

1 0.46 0.34 0.49 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.458 0.088 0.510 0.000 0.250 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 92 71 97 0 95 0 0 0

N.S.

1 0.50 0.39 0.53 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.460 0.068 0.500 0.000 0.241 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 76 63 81 0 73 0 0 0

N.S.

1 0.56 0.46 0.60 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.444 0.052 0.498 0.000 0.250 0.000 0.000 0.000

Problem 617

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

93 66 53 63 0 43 0 0 0

N.S.

1 0.71 0.57 0.68 0.00 0.46 0.00 0.00 0.00

time (sec)

N/A 0.433 0.038 0.497 0.000 0.249 0.000 0.000 0.000

Problem 618

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

68 46 41 44 0 22 0 0 0

N.S.

1 0.68 0.60 0.65 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.358 0.023 0.497 0.000 0.243 0.000 0.000 0.000

Problem 619

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

38 38 38 51 0 22 0 0 0

N.S.

1 1.00 1.00 1.34 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.390 0.022 0.478 0.000 0.254 0.000 0.000 0.000

Problem 620

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

91 63 56 84 0 86 0 0 0

N.S.

1 0.69 0.62 0.92 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.440 0.053 0.484 0.000 0.285 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 93 83 169 0 136 0 0 0

N.S.

1 0.51 0.45 0.92 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 0.465 0.069 0.514 0.000 0.248 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 121 101 241 0 191 0 0 0

N.S.

1 0.44 0.36 0.87 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.484 0.107 0.542 0.000 0.273 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 198 167 138 192 329 714 164 0

N.S.

1 1.12 0.95 0.78 1.09 1.87 4.06 0.93 0.00

time (sec)

N/A 0.435 0.203 0.661 0.280 0.298 3.360 0.306 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 172 151 122 173 286 614 141 0

N.S.

1 1.12 0.99 0.80 1.13 1.87 4.01 0.92 0.00

time (sec)

N/A 0.408 0.166 0.592 0.287 0.267 2.966 0.315 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 146 135 106 154 241 314 116 0

N.S.

1 1.12 1.04 0.82 1.18 1.85 2.42 0.89 0.00

time (sec)

N/A 0.389 0.145 0.589 0.283 0.279 2.530 0.284 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 120 117 90 131 180 250 85 0

N.S.

1 1.12 1.09 0.84 1.22 1.68 2.34 0.79 0.00

time (sec)

N/A 0.378 0.111 0.596 0.293 0.271 2.240 0.301 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 95 76 69 47 134 0 62 0

N.S.

1 1.10 0.88 0.80 0.55 1.56 0.00 0.72 0.00

time (sec)

N/A 0.355 0.063 0.597 0.282 0.256 0.000 0.282 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 66 82 79 40 153 0 0 0

N.S.

1 1.12 1.39 1.34 0.68 2.59 0.00 0.00 0.00

time (sec)

N/A 0.339 0.049 0.579 0.289 0.258 0.000 0.000 0.000

Problem 629

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

51 57 64 31 61 47 0 148 33

N.S.

1 1.12 1.25 0.61 1.20 0.92 0.00 2.90 0.65

time (sec)

N/A 0.329 0.047 0.589 0.199 0.267 0.000 0.326 4.055

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 88 53 47 80 75 0 0 56

N.S.

1 1.19 0.72 0.64 1.08 1.01 0.00 0.00 0.76

time (sec)

N/A 0.345 0.050 0.614 0.198 0.288 0.000 0.000 4.024

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 119 96 64 99 124 0 0 134

N.S.

1 1.23 0.99 0.66 1.02 1.28 0.00 0.00 1.38

time (sec)

N/A 0.373 0.061 0.626 0.202 0.361 0.000 0.000 4.067

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 150 112 80 118 152 0 0 177

N.S.

1 1.25 0.93 0.67 0.98 1.27 0.00 0.00 1.48

time (sec)

N/A 0.382 0.073 0.612 0.191 0.540 0.000 0.000 4.144

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 94 71 100 204 95 0 0 0

N.S.

1 0.51 0.38 0.54 1.10 0.51 0.00 0.00 0.00

time (sec)

N/A 0.454 0.069 0.517 0.209 0.265 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 79 63 100 172 95 0 0 0

N.S.

1 0.57 0.45 0.72 1.24 0.68 0.00 0.00 0.00

time (sec)

N/A 0.457 0.058 0.513 0.214 0.240 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 66 55 84 140 73 0 0 0

N.S.

1 0.71 0.59 0.90 1.51 0.78 0.00 0.00 0.00

time (sec)

N/A 0.430 0.049 0.510 0.219 0.259 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 58 48 97 42 0 0 0

N.S.

1 1.00 1.26 1.04 2.11 0.91 0.00 0.00 0.00

time (sec)

N/A 0.399 0.038 0.514 0.214 0.259 0.000 0.000 0.000

Problem 637

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

113 61 59 67 0 33 0 0 0

N.S.

1 0.54 0.52 0.59 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.384 0.031 0.513 0.000 0.253 0.000 0.000 0.000

Problem 638

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

79 57 49 64 0 39 0 0 0

N.S.

1 0.72 0.62 0.81 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.420 0.038 0.506 0.000 0.252 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 51 39 0 39 0 0 90

N.S.

1 1.00 1.09 0.83 0.00 0.83 0.00 0.00 1.91

time (sec)

N/A 0.399 0.091 0.515 0.000 0.244 0.000 0.000 4.189

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 93 71 169 0 139 0 0 0

N.S.

1 0.50 0.38 0.91 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.465 0.074 0.521 0.000 0.264 0.000 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 123 99 241 0 190 0 0 0

N.S.

1 0.44 0.36 0.87 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.489 0.094 0.565 0.000 0.244 0.000 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 111 79 113 0 117 0 0 0

N.S.

1 0.47 0.34 0.48 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.472 0.072 0.507 0.000 0.245 0.000 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 95 71 97 0 95 0 0 0

N.S.

1 0.51 0.38 0.52 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.459 0.059 0.510 0.000 0.259 0.000 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 81 63 81 0 73 0 0 0

N.S.

1 0.58 0.45 0.58 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.447 0.049 0.556 0.000 0.254 0.000 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 67 53 63 0 43 0 0 0

N.S.

1 0.71 0.56 0.66 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.438 0.041 0.514 0.000 0.252 0.000 0.000 0.000

Problem 646

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

69 47 41 44 0 22 0 0 0

N.S.

1 0.68 0.59 0.64 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.352 0.025 0.523 0.000 0.248 0.000 0.000 0.000

Problem 647

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 51 0 22 0 0 0

N.S.

1 1.00 1.00 1.38 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.385 0.025 0.521 0.000 0.243 0.000 0.000 0.000

Problem 648

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

90 63 54 84 0 83 0 0 0

N.S.

1 0.70 0.60 0.93 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.433 0.056 0.520 0.000 0.258 0.000 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 91 81 169 0 137 0 0 0

N.S.

1 0.50 0.44 0.92 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.458 0.080 0.515 0.000 0.269 0.000 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 121 99 241 0 186 0 0 0

N.S.

1 0.44 0.36 0.87 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.483 0.099 0.523 0.000 0.258 0.000 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 147 136 106 154 241 314 117 0

N.S.

1 1.12 1.04 0.81 1.18 1.84 2.40 0.89 0.00

time (sec)

N/A 0.397 0.174 0.638 0.291 0.282 2.742 0.294 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 121 117 90 130 180 248 85 0

N.S.

1 1.12 1.08 0.83 1.20 1.67 2.30 0.79 0.00

time (sec)

N/A 0.380 0.115 0.629 0.302 0.261 2.410 0.283 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 95 100 69 47 134 0 62 0

N.S.

1 1.09 1.15 0.79 0.54 1.54 0.00 0.71 0.00

time (sec)

N/A 0.355 0.062 0.639 0.286 0.256 0.000 0.284 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 67 100 73 39 151 0 0 0

N.S.

1 1.12 1.67 1.22 0.65 2.52 0.00 0.00 0.00

time (sec)

N/A 0.345 0.075 0.620 0.330 0.255 0.000 0.000 0.000

Problem 655

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

52 58 63 31 60 47 0 148 33

N.S.

1 1.12 1.21 0.60 1.15 0.90 0.00 2.85 0.63

time (sec)

N/A 0.331 0.048 0.621 0.205 0.262 0.000 0.314 3.998

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 89 79 47 79 75 0 0 56

N.S.

1 1.19 1.05 0.63 1.05 1.00 0.00 0.00 0.75

time (sec)

N/A 0.343 0.059 0.625 0.225 0.299 0.000 0.000 4.066

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 120 96 64 98 124 0 0 134

N.S.

1 1.22 0.98 0.65 1.00 1.27 0.00 0.00 1.37

time (sec)

N/A 0.369 0.075 0.622 0.211 0.369 0.000 0.000 4.120

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 151 112 80 117 152 0 0 177

N.S.

1 1.25 0.93 0.66 0.97 1.26 0.00 0.00 1.46

time (sec)

N/A 0.385 0.097 0.622 0.213 0.523 0.000 0.000 4.261

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 97 71 100 204 95 0 0 0

N.S.

1 0.51 0.38 0.53 1.08 0.50 0.00 0.00 0.00

time (sec)

N/A 0.448 0.065 0.520 0.222 0.256 0.000 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 83 63 100 172 95 0 0 0

N.S.

1 0.58 0.44 0.70 1.21 0.67 0.00 0.00 0.00

time (sec)

N/A 0.452 0.059 0.524 0.237 0.240 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 67 55 84 140 73 0 0 0

N.S.

1 0.71 0.58 0.88 1.47 0.77 0.00 0.00 0.00

time (sec)

N/A 0.432 0.048 0.523 0.212 0.239 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 58 48 97 42 0 0 0

N.S.

1 1.00 1.23 1.02 2.06 0.89 0.00 0.00 0.00

time (sec)

N/A 0.397 0.038 0.519 0.207 0.242 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 59 58 67 0 33 0 0 0

N.S.

1 0.53 0.52 0.60 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.388 0.032 0.529 0.000 0.249 0.000 0.000 0.000

Problem 664

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

77 57 47 62 0 38 0 0 0

N.S.

1 0.74 0.61 0.81 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.421 0.045 0.532 0.000 0.245 0.000 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 51 39 0 39 0 0 58

N.S.

1 1.00 1.11 0.85 0.00 0.85 0.00 0.00 1.26

time (sec)

N/A 0.395 0.101 0.523 0.000 0.252 0.000 0.000 4.394

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 91 71 169 0 136 0 0 0

N.S.

1 0.50 0.39 0.93 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.463 0.073 0.522 0.000 0.257 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(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 119 99 241 0 193 0 0 0

N.S.

1 0.43 0.36 0.88 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.491 0.103 0.521 0.000 0.250 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 F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 52 45 47 0 25 0 0 0

N.S.

1 0.68 0.59 0.62 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.453 0.028 0.520 0.000 0.252 0.000 0.000 0.000

Problem 669

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

74 52 43 47 0 25 0 0 0

N.S.

1 0.70 0.58 0.64 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.421 0.025 0.518 0.000 0.263 0.000 0.000 0.000

Problem 670

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

68 46 41 44 0 22 0 0 0

N.S.

1 0.68 0.60 0.65 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.346 0.011 0.518 0.000 0.262 0.000 0.000 0.000

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

69 42 41 44 0 18 0 0 0

N.S.

1 0.61 0.59 0.64 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.375 0.025 0.529 0.000 0.254 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

73 46 44 48 0 22 0 0 0

N.S.

1 0.63 0.60 0.66 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.435 0.026 0.530 0.000 0.244 0.000 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 192 96 97 117 184 0 0 0

N.S.

1 1.40 0.70 0.71 0.85 1.34 0.00 0.00 0.00

time (sec)

N/A 0.602 0.201 0.664 0.296 0.259 0.000 0.000 0.000

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 161 88 89 93 168 0 84 0

N.S.

1 1.44 0.79 0.79 0.83 1.50 0.00 0.75 0.00

time (sec)

N/A 0.566 0.153 0.654 0.288 0.257 0.000 0.292 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 120 79 80 70 150 0 72 0

N.S.

1 1.41 0.93 0.94 0.82 1.76 0.00 0.85 0.00

time (sec)

N/A 0.472 0.133 0.651 0.291 0.258 0.000 0.290 0.000

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 95 76 69 47 134 0 62 0

N.S.

1 1.10 0.88 0.80 0.55 1.56 0.00 0.72 0.00

time (sec)

N/A 0.359 0.045 0.628 0.289 0.249 0.000 0.269 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 84 97 129 90 191 0 95 0

N.S.

1 1.12 1.29 1.72 1.20 2.55 0.00 1.27 0.00

time (sec)

N/A 0.519 0.133 0.633 0.295 0.273 0.000 0.295 0.000

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 89 104 102 0 209 0 134 0

N.S.

1 1.09 1.27 1.24 0.00 2.55 0.00 1.63 0.00

time (sec)

N/A 0.533 0.151 0.660 0.000 0.260 0.000 0.288 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 88 76 78 0 148 0 200 0

N.S.

1 1.13 0.97 1.00 0.00 1.90 0.00 2.56 0.00

time (sec)

N/A 0.493 0.171 0.674 0.000 0.250 0.000 0.277 0.000

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 114 82 86 0 164 0 250 0

N.S.

1 1.15 0.83 0.87 0.00 1.66 0.00 2.53 0.00

time (sec)

N/A 0.529 0.181 0.689 0.000 0.261 0.000 0.293 0.000

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 150 95 95 0 180 0 324 0

N.S.

1 1.15 0.73 0.73 0.00 1.38 0.00 2.49 0.00

time (sec)

N/A 0.594 0.198 0.733 0.000 0.262 0.000 0.290 0.000

Problem 682

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

228 89 87 92 0 58 0 0 0

N.S.

1 0.39 0.38 0.40 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.509 0.064 0.572 0.000 0.242 0.000 0.000 0.000

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 77 74 83 0 49 0 0 0

N.S.

1 0.41 0.40 0.45 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.498 0.049 0.531 0.000 0.270 0.000 0.000 0.000

Problem 684

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

152 71 66 76 0 42 0 0 0

N.S.

1 0.47 0.43 0.50 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.462 0.044 0.526 0.000 0.239 0.000 0.000 0.000

Problem 685

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

113 61 59 67 0 33 0 0 0

N.S.

1 0.54 0.52 0.59 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.399 0.017 0.528 0.000 0.247 0.000 0.000 0.000

Problem 686

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

114 53 54 59 0 28 0 0 0

N.S.

1 0.46 0.47 0.52 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.411 0.034 0.523 0.000 0.264 0.000 0.000 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 58 54 65 0 33 0 0 0

N.S.

1 0.51 0.47 0.57 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.483 0.041 0.523 0.000 0.259 0.000 0.000 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 70 64 77 0 90 0 0 0

N.S.

1 0.46 0.42 0.50 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.484 0.055 0.535 0.000 0.259 0.000 0.000 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 80 76 85 0 98 0 0 0

N.S.

1 0.41 0.39 0.44 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.492 0.062 0.547 0.000 0.255 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 86 80 93 0 106 0 0 0

N.S.

1 0.38 0.35 0.41 0.00 0.46 0.00 0.00 0.00

time (sec)

N/A 0.494 0.067 0.553 0.000 0.250 0.000 0.000 0.000

Problem 691

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

211 94 83 106 0 76 0 0 0

N.S.

1 0.45 0.39 0.50 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.481 0.106 0.548 0.000 0.260 0.000 0.000 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 84 74 98 0 69 0 0 0

N.S.

1 0.49 0.43 0.57 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.444 0.070 0.549 0.000 0.263 0.000 0.000 0.000

Problem 693

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

130 79 62 86 0 56 0 0 0

N.S.

1 0.61 0.48 0.66 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.503 0.060 0.549 0.000 0.260 0.000 0.000 0.000

Problem 694

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

87 63 52 84 0 86 0 0 0

N.S.

1 0.72 0.60 0.97 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.463 0.055 0.542 0.000 0.265 0.000 0.000 0.000

Problem 695

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

91 63 56 84 0 86 0 0 0

N.S.

1 0.69 0.62 0.92 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.424 0.028 0.559 0.000 0.246 0.000 0.000 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 72 68 93 0 63 0 0 0

N.S.

1 0.41 0.38 0.53 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.495 0.069 0.566 0.000 0.254 0.000 0.000 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 82 79 118 0 92 0 0 0

N.S.

1 0.38 0.37 0.55 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.505 0.071 0.548 0.000 0.255 0.000 0.000 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 99 94 138 0 113 0 0 0

N.S.

1 0.39 0.37 0.55 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.518 0.089 0.546 0.000 0.255 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 113 100 185 0 138 0 0 0

N.S.

1 0.43 0.38 0.71 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.480 0.126 0.549 0.000 0.273 0.000 0.000 0.000

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 109 84 169 0 122 0 0 0

N.S.

1 0.50 0.39 0.78 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.540 0.107 0.546 0.000 0.258 0.000 0.000 0.000