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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 140 100 182 0 242 0 0 0

N.S.

1 1.15 0.82 1.49 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.493 0.060 0.109 0.000 0.259 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 107 93 170 0 217 0 0 0

N.S.

1 1.15 1.00 1.83 0.00 2.33 0.00 0.00 0.00

time (sec)

N/A 0.366 0.019 0.000 0.000 0.268 0.000 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 103 86 166 0 206 141 0 0

N.S.

1 1.20 1.00 1.93 0.00 2.40 1.64 0.00 0.00

time (sec)

N/A 0.562 0.029 0.115 0.000 0.255 4.408 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 85 69 142 0 157 0 0 67

N.S.

1 1.04 0.84 1.73 0.00 1.91 0.00 0.00 0.82

time (sec)

N/A 0.534 0.053 0.115 0.000 0.252 0.000 0.000 4.130

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 112 79 152 0 185 0 278 96

N.S.

1 0.99 0.70 1.35 0.00 1.64 0.00 2.46 0.85

time (sec)

N/A 0.544 0.059 0.109 0.000 0.271 0.000 0.646 4.395

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 116 87 160 0 197 0 356 96

N.S.

1 1.03 0.77 1.42 0.00 1.74 0.00 3.15 0.85

time (sec)

N/A 0.583 0.096 0.125 0.000 0.267 0.000 0.738 5.058

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 166 95 168 0 217 0 434 138

N.S.

1 1.02 0.58 1.03 0.00 1.33 0.00 2.66 0.85

time (sec)

N/A 0.617 0.114 0.120 0.000 0.267 0.000 0.870 6.036

Problem 608

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

262 166 108 194 0 336 0 0 0

N.S.

1 0.63 0.41 0.74 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.518 0.050 0.122 0.000 0.285 0.000 0.000 0.000

Problem 609

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

218 137 100 176 0 320 0 0 0

N.S.

1 0.63 0.46 0.81 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.504 0.048 0.138 0.000 0.284 0.000 0.000 0.000

Problem 610

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

174 108 92 158 0 304 0 0 0

N.S.

1 0.62 0.53 0.91 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.452 0.047 0.153 0.000 0.283 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 F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 82 82 140 0 282 0 0 0

N.S.

1 0.67 0.67 1.14 0.00 2.29 0.00 0.00 0.00

time (sec)

N/A 0.380 0.029 0.124 0.000 0.283 0.000 0.000 0.000

Problem 612

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

124 87 70 142 0 264 0 0 0

N.S.

1 0.70 0.56 1.15 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.456 0.039 0.156 0.000 0.284 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 89 50 61 0 58 0 0 80

N.S.

1 0.72 0.41 0.50 0.00 0.47 0.00 0.00 0.65

time (sec)

N/A 0.447 0.028 0.148 0.000 0.253 0.000 0.000 4.195

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 112 58 69 0 68 0 0 99

N.S.

1 0.67 0.35 0.42 0.00 0.41 0.00 0.00 0.60

time (sec)

N/A 0.477 0.028 0.158 0.000 0.254 0.000 0.000 4.138

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 136 66 77 0 76 0 0 120

N.S.

1 0.64 0.31 0.36 0.00 0.36 0.00 0.00 0.56

time (sec)

N/A 0.496 0.037 0.122 0.000 0.256 0.000 0.000 4.057

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 156 74 85 0 84 0 0 139

N.S.

1 0.61 0.29 0.33 0.00 0.33 0.00 0.00 0.54

time (sec)

N/A 0.503 0.036 0.141 0.000 0.260 0.000 0.000 4.439

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

64 64 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

54 54 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.350 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 619

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

50 50 50 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.018 0.000 0.000 0.000 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

130 129 262 0 0 0 0 0 0

N.S.

1 0.99 2.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.391 0.355 0.000 0.000 0.000 0.000 0.000 0.000

Problem 621

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

187 194 149 0 0 0 0 0 0

N.S.

1 1.04 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 622

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

111 109 95 0 0 0 0 0 0

N.S.

1 0.98 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.376 0.029 0.000 0.000 0.000 0.000 0.000 0.000

Problem 623

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 97 0 0 0 0 0 0

N.S.

1 1.04 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.463 0.117 0.000 0.000 0.000 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

54 54 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.398 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

54 54 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.418 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 56 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.420 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 56 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.407 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 163 70 159 515 175 1115 505 228

N.S.

1 0.96 0.41 0.94 3.05 1.04 6.60 2.99 1.35

time (sec)

N/A 0.493 0.027 0.363 0.295 0.258 20.865 0.287 3.576

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 129 70 143 332 153 683 385 182

N.S.

1 0.95 0.51 1.05 2.44 1.12 5.02 2.83 1.34

time (sec)

N/A 0.469 0.025 0.250 0.288 0.260 8.948 0.292 3.560

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 93 70 127 189 131 350 263 136

N.S.

1 0.90 0.68 1.23 1.83 1.27 3.40 2.55 1.32

time (sec)

N/A 0.440 0.024 0.193 0.277 0.251 4.941 0.299 0.044

Problem 631

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

58 57 55 82 79 84 143 128 76

N.S.

1 0.98 0.95 1.41 1.36 1.45 2.47 2.21 1.31

time (sec)

N/A 0.356 0.030 0.165 0.280 0.261 2.621 0.285 3.568

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 65 53 95 0 68 0 72 90

N.S.

1 1.07 0.87 1.56 0.00 1.11 0.00 1.18 1.48

time (sec)

N/A 0.372 0.024 0.145 0.000 0.263 0.000 0.283 3.967

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 97 78 184 0 142 0 0 188

N.S.

1 1.01 0.81 1.92 0.00 1.48 0.00 0.00 1.96

time (sec)

N/A 0.477 0.040 0.178 0.000 0.256 0.000 0.000 0.080

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 108 260 0 211 0 0 367

N.S.

1 1.00 0.84 2.02 0.00 1.64 0.00 0.00 2.84

time (sec)

N/A 0.565 0.063 0.218 0.000 0.266 0.000 0.000 3.652

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 161 126 336 0 282 0 0 613

N.S.

1 0.99 0.78 2.07 0.00 1.74 0.00 0.00 3.78

time (sec)

N/A 0.717 0.075 0.276 0.000 0.288 0.000 0.000 0.172

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

128 100 128 89 115 122 126 116 90

N.S.

1 0.78 1.00 0.70 0.90 0.95 0.98 0.91 0.70

time (sec)

N/A 0.432 0.040 0.176 0.191 0.243 0.443 0.273 3.589

Problem 637

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

91 72 91 65 82 89 90 83 66

N.S.

1 0.79 1.00 0.71 0.90 0.98 0.99 0.91 0.73

time (sec)

N/A 0.385 0.022 0.219 0.189 0.242 0.271 0.257 0.076

Problem 638

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

78 61 78 57 71 78 78 72 57

N.S.

1 0.78 1.00 0.73 0.91 1.00 1.00 0.92 0.73

time (sec)

N/A 0.383 0.019 0.143 0.197 0.236 0.193 0.267 3.760

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

41 34 41 33 36 43 41 37 35

N.S.

1 0.83 1.00 0.80 0.88 1.05 1.00 0.90 0.85

time (sec)

N/A 0.352 0.014 0.181 0.204 0.247 0.111 0.264 0.055

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

21 22 21 21 21 27 20 22 24

N.S.

1 1.05 1.00 1.00 1.00 1.29 0.95 1.05 1.14

time (sec)

N/A 0.312 0.011 0.133 0.190 0.240 0.055 0.283 3.584

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

38 38 38 36 34 41 37 36 35

N.S.

1 1.00 1.00 0.95 0.89 1.08 0.97 0.95 0.92

time (sec)

N/A 0.376 0.021 0.118 0.190 0.244 0.089 0.266 0.055

Problem 642

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

76 71 69 61 70 93 75 58 68

N.S.

1 0.93 0.91 0.80 0.92 1.22 0.99 0.76 0.89

time (sec)

N/A 0.402 0.034 0.144 0.191 0.258 0.220 0.276 0.110

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

111 100 103 85 98 137 104 81 94

N.S.

1 0.90 0.93 0.77 0.88 1.23 0.94 0.73 0.85

time (sec)

N/A 0.440 0.044 0.131 0.206 0.247 0.400 0.270 0.120

Problem 644

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

146 129 123 109 146 233 158 97 144

N.S.

1 0.88 0.84 0.75 1.00 1.60 1.08 0.66 0.99

time (sec)

N/A 0.470 0.068 0.174 0.193 0.243 0.572 0.273 3.701

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 179 191 152 745 175 932 505 228

N.S.

1 0.94 1.00 0.80 3.90 0.92 4.88 2.64 1.19

time (sec)

N/A 0.627 0.154 0.487 0.288 0.267 21.221 0.303 3.554

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 144 186 145 443 153 683 385 182

N.S.

1 0.92 1.18 0.92 2.82 0.97 4.35 2.45 1.16

time (sec)

N/A 0.589 0.077 0.360 0.287 0.273 10.230 0.294 0.067

Problem 647

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

124 107 128 127 347 131 354 262 136

N.S.

1 0.86 1.03 1.02 2.80 1.06 2.85 2.11 1.10

time (sec)

N/A 0.535 0.050 0.273 0.285 0.260 8.241 0.308 0.046

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 56 96 200 82 148 129 81

N.S.

1 0.93 0.77 1.32 2.74 1.12 2.03 1.77 1.11

time (sec)

N/A 0.452 0.038 0.230 0.282 0.254 5.924 0.299 0.039

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 94 78 152 0 101 0 0 129

N.S.

1 0.99 0.82 1.60 0.00 1.06 0.00 0.00 1.36

time (sec)

N/A 0.400 0.057 0.205 0.000 0.261 0.000 0.000 3.844

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 88 193 0 143 0 180 272

N.S.

1 1.00 0.70 1.54 0.00 1.14 0.00 1.44 2.18

time (sec)

N/A 0.658 0.079 0.259 0.000 0.251 0.000 0.298 3.591

Problem 651

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

155 158 96 269 0 212 0 0 1548

N.S.

1 1.02 0.62 1.74 0.00 1.37 0.00 0.00 9.99

time (sec)

N/A 0.809 0.096 0.351 0.000 0.268 0.000 0.000 5.429

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 196 124 345 0 281 0 0 2165

N.S.

1 1.06 0.67 1.86 0.00 1.52 0.00 0.00 11.70

time (sec)

N/A 0.998 0.112 0.469 0.000 0.297 0.000 0.000 7.301

Problem 653

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

116 93 116 80 103 111 112 104 81

N.S.

1 0.80 1.00 0.69 0.89 0.96 0.97 0.90 0.70

time (sec)

N/A 0.416 0.030 0.217 0.193 0.281 0.421 0.270 0.099

Problem 654

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

100 78 100 71 92 100 100 93 72

N.S.

1 0.78 1.00 0.71 0.92 1.00 1.00 0.93 0.72

time (sec)

N/A 0.395 0.025 0.188 0.195 0.264 0.305 0.271 3.526

Problem 655

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

63 53 63 47 59 67 65 60 48

N.S.

1 0.84 1.00 0.75 0.94 1.06 1.03 0.95 0.76

time (sec)

N/A 0.374 0.021 0.172 0.196 0.243 0.201 0.274 0.066

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

51 41 51 40 46 56 53 47 43

N.S.

1 0.80 1.00 0.78 0.90 1.10 1.04 0.92 0.84

time (sec)

N/A 0.355 0.014 0.156 0.190 0.246 0.143 0.263 3.747

Problem 657

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 33 33 29 32 35 26 34 32

N.S.

1 1.00 1.00 0.88 0.97 1.06 0.79 1.03 0.97

time (sec)

N/A 0.319 0.017 0.138 0.199 0.266 0.198 0.270 0.153

Problem 658

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

53 52 53 43 49 64 41 42 48

N.S.

1 0.98 1.00 0.81 0.92 1.21 0.77 0.79 0.91

time (sec)

N/A 0.384 0.024 0.120 0.184 0.249 0.138 0.281 0.134

Problem 659

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

71 66 63 56 75 100 83 50 71

N.S.

1 0.93 0.89 0.79 1.06 1.41 1.17 0.70 1.00

time (sec)

N/A 0.396 0.028 0.131 0.191 0.249 0.228 0.283 3.610

Problem 660

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

111 102 89 82 107 163 114 73 104

N.S.

1 0.92 0.80 0.74 0.96 1.47 1.03 0.66 0.94

time (sec)

N/A 0.430 0.052 0.153 0.224 0.251 0.398 0.271 3.692

Problem 661

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

146 129 98 108 135 207 144 96 131

N.S.

1 0.88 0.67 0.74 0.92 1.42 0.99 0.66 0.90

time (sec)

N/A 0.476 0.073 0.149 0.206 0.296 0.593 0.271 3.706

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 163 70 158 0 176 1110 504 227

N.S.

1 0.96 0.41 0.93 0.00 1.04 6.57 2.98 1.34

time (sec)

N/A 0.513 0.025 0.309 0.000 0.268 13.724 0.291 3.641

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 129 70 142 0 154 692 384 181

N.S.

1 0.95 0.51 1.04 0.00 1.13 5.09 2.82 1.33

time (sec)

N/A 0.458 0.025 0.238 0.000 0.271 6.587 0.284 3.499

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 93 70 126 0 132 381 262 135

N.S.

1 0.90 0.68 1.22 0.00 1.28 3.70 2.54 1.31

time (sec)

N/A 0.427 0.020 0.188 0.000 0.273 3.970 0.282 0.058

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 55 55 97 0 85 177 128 76

N.S.

1 0.95 0.95 1.67 0.00 1.47 3.05 2.21 1.31

time (sec)

N/A 0.347 0.029 0.164 0.000 0.282 3.082 0.277 0.041

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 66 54 102 0 66 0 71 88

N.S.

1 1.10 0.90 1.70 0.00 1.10 0.00 1.18 1.47

time (sec)

N/A 0.378 0.023 0.169 0.000 0.268 0.000 0.288 0.071

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 78 179 0 141 0 0 188

N.S.

1 1.00 0.80 1.85 0.00 1.45 0.00 0.00 1.94

time (sec)

N/A 0.457 0.048 0.217 0.000 0.267 0.000 0.000 4.129

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 108 255 0 208 0 0 365

N.S.

1 1.00 0.83 1.96 0.00 1.60 0.00 0.00 2.81

time (sec)

N/A 0.581 0.059 0.235 0.000 0.260 0.000 0.000 4.256

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 161 126 331 0 281 0 0 614

N.S.

1 0.99 0.77 2.03 0.00 1.72 0.00 0.00 3.77

time (sec)

N/A 0.712 0.073 0.297 0.000 0.292 0.000 0.000 4.515

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

91 72 91 65 82 89 88 160 66

N.S.

1 0.79 1.00 0.71 0.90 0.98 0.97 1.76 0.73

time (sec)

N/A 0.394 0.023 0.198 0.190 0.248 0.277 0.285 0.083

Problem 671

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

78 61 78 57 71 78 76 136 57

N.S.

1 0.78 1.00 0.73 0.91 1.00 0.97 1.74 0.73

time (sec)

N/A 0.381 0.019 0.164 0.189 0.261 0.201 0.276 3.460

Problem 672

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

40 33 40 32 38 43 39 112 35

N.S.

1 0.82 1.00 0.80 0.95 1.08 0.98 2.80 0.88

time (sec)

N/A 0.353 0.014 0.138 0.193 0.247 0.128 0.257 0.060

Problem 673

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 22 21 21 21 27 20 88 24

N.S.

1 1.05 1.00 1.00 1.00 1.29 0.95 4.19 1.14

time (sec)

N/A 0.311 0.013 0.128 0.178 0.258 0.069 0.260 0.049

Problem 674

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

35 37 28 36 33 39 37 55 33

N.S.

1 1.06 0.80 1.03 0.94 1.11 1.06 1.57 0.94

time (sec)

N/A 0.367 0.023 0.140 0.214 0.255 0.096 0.264 0.061

Problem 675

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

74 69 68 61 70 92 76 101 68

N.S.

1 0.93 0.92 0.82 0.95 1.24 1.03 1.36 0.92

time (sec)

N/A 0.405 0.034 0.129 0.197 0.275 0.245 0.261 3.553

Problem 676

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

109 98 104 85 98 137 104 140 94

N.S.

1 0.90 0.95 0.78 0.90 1.26 0.95 1.28 0.86

time (sec)

N/A 0.439 0.051 0.148 0.196 0.252 0.413 0.272 0.120

Problem 677

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

144 127 121 109 146 233 158 164 142

N.S.

1 0.88 0.84 0.76 1.01 1.62 1.10 1.14 0.99

time (sec)

N/A 0.473 0.079 0.153 0.209 0.249 0.579 0.251 3.677

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 179 191 152 0 176 1110 506 229

N.S.

1 0.94 1.00 0.80 0.00 0.92 5.81 2.65 1.20

time (sec)

N/A 0.633 0.159 0.457 0.000 0.268 13.770 0.293 0.105

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 143 186 144 0 154 695 386 183

N.S.

1 0.91 1.18 0.92 0.00 0.98 4.43 2.46 1.17

time (sec)

N/A 0.590 0.075 0.356 0.000 0.258 7.599 0.302 3.424

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 109 128 128 0 132 384 263 137

N.S.

1 0.87 1.02 1.02 0.00 1.06 3.07 2.10 1.10

time (sec)

N/A 0.535 0.060 0.266 0.000 0.266 4.574 0.275 3.709

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 69 57 99 0 86 0 130 82

N.S.

1 0.93 0.77 1.34 0.00 1.16 0.00 1.76 1.11

time (sec)

N/A 0.469 0.046 0.203 0.000 0.272 0.000 0.277 0.080

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 78 139 0 101 0 0 129

N.S.

1 1.00 0.80 1.43 0.00 1.04 0.00 0.00 1.33

time (sec)

N/A 0.420 0.061 0.217 0.000 0.269 0.000 0.000 0.125

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 127 86 174 0 142 0 181 271

N.S.

1 0.98 0.67 1.35 0.00 1.10 0.00 1.40 2.10

time (sec)

N/A 0.686 0.073 0.303 0.000 0.269 0.000 0.273 0.063

Problem 684

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

159 159 94 250 0 213 0 0 436

N.S.

1 1.00 0.59 1.57 0.00 1.34 0.00 0.00 2.74

time (sec)

N/A 0.841 0.086 0.325 0.000 0.276 0.000 0.000 4.148

Problem 685

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

189 198 122 326 0 278 0 0 671

N.S.

1 1.05 0.65 1.72 0.00 1.47 0.00 0.00 3.55

time (sec)

N/A 1.049 0.108 0.484 0.000 0.294 0.000 0.000 4.543

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

374 114 114 118 0 606 0 0 0

N.S.

1 0.30 0.30 0.32 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.506 0.071 0.143 0.000 0.297 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 F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 97 98 102 0 542 0 0 0

N.S.

1 0.32 0.33 0.34 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.476 0.051 0.125 0.000 0.284 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 F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 75 82 86 0 478 0 0 0

N.S.

1 0.34 0.37 0.39 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.443 0.041 0.125 0.000 0.287 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 F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 60 72 70 0 373 0 0 0

N.S.

1 0.41 0.49 0.48 0.00 2.55 0.00 0.00 0.00

time (sec)

N/A 0.423 0.030 0.122 0.000 0.295 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 37 37 52 17 320 0 0 0

N.S.

1 0.54 0.54 0.76 0.25 4.71 0.00 0.00 0.00

time (sec)

N/A 0.373 0.021 0.137 0.252 0.273 0.000 0.000 0.000

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 52 48 50 21 366 0 0 0

N.S.

1 0.66 0.61 0.63 0.27 4.63 0.00 0.00 0.00

time (sec)

N/A 0.386 0.023 0.112 0.278 0.302 0.000 0.000 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 81 91 94 0 0 0 0 0

N.S.

1 0.46 0.52 0.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.453 0.042 0.126 0.000 0.000 0.000 0.000 0.000

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 109 87 167 0 0 0 0 0

N.S.

1 0.41 0.33 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.492 0.099 0.122 0.000 0.000 0.000 0.000 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

361 139 147 239 0 0 0 0 0

N.S.

1 0.39 0.41 0.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.539 0.088 0.132 0.000 0.000 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 C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

450 216 166 267 0 482 1408 707 0

N.S.

1 0.48 0.37 0.59 0.00 1.07 3.13 1.57 0.00

time (sec)

N/A 0.510 0.178 0.213 0.000 0.309 44.807 39.695 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 181 150 251 0 438 1059 561 0

N.S.

1 0.49 0.40 0.67 0.00 1.18 2.85 1.51 0.00

time (sec)

N/A 0.462 0.157 0.199 0.000 0.291 16.219 41.430 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 146 134 235 0 394 500 416 0

N.S.

1 0.50 0.46 0.80 0.00 1.34 1.70 1.41 0.00

time (sec)

N/A 0.424 0.132 0.185 0.000 0.281 10.082 1.814 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 111 115 203 0 316 377 265 0

N.S.

1 0.52 0.54 0.95 0.00 1.48 1.76 1.24 0.00

time (sec)

N/A 0.398 0.110 0.158 0.000 0.279 6.280 0.437 0.000

Problem 699

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

118 71 81 195 0 270 0 0 0

N.S.

1 0.60 0.69 1.65 0.00 2.29 0.00 0.00 0.00

time (sec)

N/A 0.336 0.087 0.155 0.000 0.299 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 F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 92 69 162 0 216 0 0 0

N.S.

1 0.84 0.63 1.47 0.00 1.96 0.00 0.00 0.00

time (sec)

N/A 0.310 0.100 0.155 0.000 0.279 0.000 0.000 0.000