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

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 22 14 20 20 19 20 17

N.S.

1 1.00 1.38 0.88 1.25 1.25 1.19 1.25 1.06

time (sec)

N/A 0.023 0.011 0.102 0.266 0.340 0.014 0.403 0.035

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 18 15 12 12 10 14 12

N.S.

1 1.00 1.29 1.07 0.86 0.86 0.71 1.00 0.86

time (sec)

N/A 0.044 0.013 0.137 0.255 0.343 0.048 0.408 0.050

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 33 52 63 76 54 51 46

N.S.

1 1.00 0.67 1.06 1.29 1.55 1.10 1.04 0.94

time (sec)

N/A 0.056 0.022 0.139 0.258 0.343 0.143 0.408 0.065

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 61 76 91 121 85 74 73

N.S.

1 1.00 0.73 0.90 1.08 1.44 1.01 0.88 0.87

time (sec)

N/A 0.072 0.031 0.142 0.277 0.369 0.218 0.409 1.261

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 80 100 140 217 141 91 121

N.S.

1 1.00 0.67 0.84 1.18 1.82 1.18 0.76 1.02

time (sec)

N/A 0.085 0.043 0.157 0.280 0.367 0.324 0.404 1.284

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

393 393 111 288 415 169 0 198 362

N.S.

1 1.00 0.28 0.73 1.06 0.43 0.00 0.50 0.92

time (sec)

N/A 0.221 0.094 0.105 0.273 0.390 0.000 0.435 0.171

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 95 240 337 148 0 162 289

N.S.

1 1.00 0.30 0.77 1.08 0.47 0.00 0.52 0.92

time (sec)

N/A 0.179 0.074 0.100 0.264 0.336 0.000 0.402 0.130

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

233 233 79 192 259 125 0 126 214

N.S.

1 1.00 0.34 0.82 1.11 0.54 0.00 0.54 0.92

time (sec)

N/A 0.140 0.057 0.098 0.278 0.347 0.000 0.419 1.269

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

145 145 61 183 171 92 0 82 133

N.S.

1 1.00 0.42 1.26 1.18 0.63 0.00 0.57 0.92

time (sec)

N/A 0.082 0.061 0.095 0.262 0.364 0.000 0.410 0.066

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

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.022 0.037 0.133 0.263 0.335 0.000 0.429 1.209

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

55 55 43 52 60 58 0 65 60

N.S.

1 1.00 0.78 0.95 1.09 1.05 0.00 1.18 1.09

time (sec)

N/A 0.045 0.046 0.175 0.264 0.348 0.000 0.441 0.049

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

91 91 66 68 103 86 0 0 116

N.S.

1 1.00 0.73 0.75 1.13 0.95 0.00 0.00 1.27

time (sec)

N/A 0.069 0.064 0.191 0.266 0.361 0.000 0.000 1.206

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

127 127 82 84 136 134 0 0 155

N.S.

1 1.00 0.65 0.66 1.07 1.06 0.00 0.00 1.22

time (sec)

N/A 0.098 0.088 0.200 0.266 0.348 0.000 0.000 0.039

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 79 113 0 117 0 0 -1

N.S.

1 1.00 0.34 0.49 0.00 0.51 0.00 0.00 -0.00

time (sec)

N/A 0.138 0.043 0.127 0.000 0.354 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 71 97 0 95 0 0 -1

N.S.

1 1.00 0.39 0.53 0.00 0.52 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.035 0.110 0.000 0.346 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 63 81 0 73 0 0 -1

N.S.

1 1.00 0.46 0.60 0.00 0.54 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.030 0.115 0.000 0.362 0.000 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 53 63 0 43 0 0 -1

N.S.

1 1.00 0.57 0.68 0.00 0.46 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.023 0.108 0.000 0.336 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 41 45 0 22 0 0 -1

N.S.

1 1.00 0.60 0.66 0.00 0.32 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.014 0.105 0.000 0.351 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 51 0 22 0 0 -1

N.S.

1 1.00 1.00 1.34 0.00 0.58 0.00 0.00 -0.03

time (sec)

N/A 0.099 0.014 0.092 0.000 0.355 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 56 84 0 86 0 0 -1

N.S.

1 1.00 0.62 0.92 0.00 0.95 0.00 0.00 -0.01

time (sec)

N/A 0.117 0.026 0.096 0.000 0.397 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 83 169 0 136 0 0 -1

N.S.

1 1.00 0.45 0.92 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.128 0.042 0.094 0.000 0.367 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 101 241 0 191 0 0 -1

N.S.

1 1.00 0.36 0.87 0.00 0.69 0.00 0.00 -0.00

time (sec)

N/A 0.156 0.056 0.098 0.000 0.362 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

176 176 167 454 192 329 1340 164 -1

N.S.

1 1.00 0.95 2.58 1.09 1.87 7.61 0.93 -0.01

time (sec)

N/A 0.121 0.103 0.210 0.514 0.411 150.001 0.434 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

153 153 151 375 173 286 1090 141 -1

N.S.

1 1.00 0.99 2.45 1.13 1.87 7.12 0.92 -0.01

time (sec)

N/A 0.107 0.138 0.203 0.477 0.377 33.013 0.420 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

130 130 135 296 154 241 476 116 -1

N.S.

1 1.00 1.04 2.28 1.18 1.85 3.66 0.89 -0.01

time (sec)

N/A 0.099 0.161 0.194 0.477 0.374 9.154 0.419 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

107 107 117 217 131 180 340 85 -1

N.S.

1 1.00 1.09 2.03 1.22 1.68 3.18 0.79 -0.01

time (sec)

N/A 0.088 0.065 0.190 0.480 0.377 4.912 0.410 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

86 86 76 136 47 134 0 62 -1

N.S.

1 1.00 0.88 1.58 0.55 1.56 0.00 0.72 -0.01

time (sec)

N/A 0.078 0.036 0.190 0.470 0.378 0.000 0.412 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

59 59 82 79 40 153 0 0 -1

N.S.

1 1.00 1.39 1.34 0.68 2.59 0.00 0.00 -0.02

time (sec)

N/A 0.074 0.032 0.137 0.471 0.374 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

51 51 64 127 61 47 0 148 33

N.S.

1 1.00 1.25 2.49 1.20 0.92 0.00 2.90 0.65

time (sec)

N/A 0.073 0.025 0.177 0.262 0.385 0.000 0.430 1.294

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 53 206 80 75 0 0 56

N.S.

1 1.00 0.72 2.78 1.08 1.01 0.00 0.00 0.76

time (sec)

N/A 0.079 0.027 0.197 0.292 0.403 0.000 0.000 1.381

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 96 292 99 124 0 0 134

N.S.

1 1.00 0.99 3.01 1.02 1.28 0.00 0.00 1.38

time (sec)

N/A 0.087 0.036 0.188 0.266 0.523 0.000 0.000 1.453

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 112 378 118 152 0 0 177

N.S.

1 1.00 0.93 3.15 0.98 1.27 0.00 0.00 1.48

time (sec)

N/A 0.095 0.044 0.196 0.272 0.662 0.000 0.000 1.512

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 71 102 204 95 0 0 -1

N.S.

1 1.00 0.38 0.55 1.10 0.51 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.042 0.112 0.297 0.362 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 63 102 172 95 0 0 -1

N.S.

1 1.00 0.45 0.73 1.24 0.68 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.036 0.113 0.294 0.359 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 55 86 140 73 0 0 -1

N.S.

1 1.00 0.59 0.92 1.51 0.78 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.029 0.105 0.280 0.349 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

46 46 69 48 97 42 0 0 -1

N.S.

1 1.00 1.50 1.04 2.11 0.91 0.00 0.00 -0.02

time (sec)

N/A 0.115 0.037 0.095 0.287 0.361 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 57 67 0 33 0 0 -1

N.S.

1 1.00 0.50 0.59 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.019 0.095 0.000 0.351 0.000 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 53 64 0 39 0 0 -1

N.S.

1 1.00 0.67 0.81 0.00 0.49 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.024 0.099 0.000 0.381 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 51 56 0 39 0 0 90

N.S.

1 1.00 1.09 1.19 0.00 0.83 0.00 0.00 1.91

time (sec)

N/A 0.119 0.033 0.094 0.000 0.339 0.000 0.000 1.555

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 71 169 0 139 0 0 -1

N.S.

1 1.00 0.38 0.91 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.039 0.092 0.000 0.349 0.000 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 99 241 0 190 0 0 -1

N.S.

1 1.00 0.36 0.87 0.00 0.68 0.00 0.00 -0.00

time (sec)

N/A 0.157 0.056 0.097 0.000 0.366 0.000 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 79 113 0 117 0 0 -1

N.S.

1 1.00 0.34 0.48 0.00 0.50 0.00 0.00 -0.00

time (sec)

N/A 0.143 0.041 0.114 0.000 0.334 0.000 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 71 97 0 95 0 0 -1

N.S.

1 1.00 0.38 0.52 0.00 0.51 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.036 0.108 0.000 0.327 0.000 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 63 81 0 73 0 0 -1

N.S.

1 1.00 0.45 0.58 0.00 0.53 0.00 0.00 -0.01

time (sec)

N/A 0.131 0.030 0.110 0.000 0.336 0.000 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 53 63 0 43 0 0 -1

N.S.

1 1.00 0.56 0.66 0.00 0.45 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.023 0.115 0.000 0.329 0.000 0.000 0.000

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 41 45 0 22 0 0 -1

N.S.

1 1.00 0.59 0.65 0.00 0.32 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.014 0.092 0.000 0.319 0.000 0.000 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 37 51 0 22 0 0 -1

N.S.

1 1.00 1.00 1.38 0.00 0.59 0.00 0.00 -0.03

time (sec)

N/A 0.103 0.015 0.090 0.000 0.359 0.000 0.000 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 54 84 0 83 0 0 -1

N.S.

1 1.00 0.60 0.93 0.00 0.92 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.037 0.092 0.000 0.355 0.000 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 81 169 0 137 0 0 -1

N.S.

1 1.00 0.44 0.92 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.046 0.096 0.000 0.364 0.000 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 99 241 0 186 0 0 -1

N.S.

1 1.00 0.36 0.87 0.00 0.67 0.00 0.00 -0.00

time (sec)

N/A 0.165 0.062 0.095 0.000 0.363 0.000 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

131 131 136 275 154 241 476 117 -1

N.S.

1 1.00 1.04 2.10 1.18 1.84 3.63 0.89 -0.01

time (sec)

N/A 0.099 0.093 0.201 0.465 0.374 8.343 0.442 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

108 108 117 202 130 180 338 85 -1

N.S.

1 1.00 1.08 1.87 1.20 1.67 3.13 0.79 -0.01

time (sec)

N/A 0.090 0.063 0.202 0.494 0.381 4.930 0.423 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

87 87 100 127 47 134 0 62 -1

N.S.

1 1.00 1.15 1.46 0.54 1.54 0.00 0.71 -0.01

time (sec)

N/A 0.081 0.038 0.187 0.464 0.351 0.000 0.416 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

60 60 100 73 39 151 0 0 -1

N.S.

1 1.00 1.67 1.22 0.65 2.52 0.00 0.00 -0.02

time (sec)

N/A 0.077 0.044 0.138 0.466 0.343 0.000 0.000 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

52 52 63 115 60 47 0 148 33

N.S.

1 1.00 1.21 2.21 1.15 0.90 0.00 2.85 0.63

time (sec)

N/A 0.073 0.026 0.191 0.256 0.351 0.000 0.425 1.278

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 79 188 79 75 0 0 56

N.S.

1 1.00 1.05 2.51 1.05 1.00 0.00 0.00 0.75

time (sec)

N/A 0.079 0.034 0.186 0.258 0.392 0.000 0.000 1.400

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 96 268 98 124 0 0 134

N.S.

1 1.00 0.98 2.73 1.00 1.27 0.00 0.00 1.37

time (sec)

N/A 0.083 0.044 0.200 0.262 0.497 0.000 0.000 1.453

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 112 348 117 152 0 0 177

N.S.

1 1.00 0.93 2.88 0.97 1.26 0.00 0.00 1.46

time (sec)

N/A 0.093 0.051 0.195 0.274 0.645 0.000 0.000 1.494

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 71 102 204 95 0 0 -1

N.S.

1 1.00 0.38 0.54 1.08 0.50 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.040 0.110 0.286 0.338 0.000 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 63 102 172 95 0 0 -1

N.S.

1 1.00 0.44 0.72 1.21 0.67 0.00 0.00 -0.01

time (sec)

N/A 0.152 0.034 0.112 0.281 0.337 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 55 86 140 73 0 0 -1

N.S.

1 1.00 0.58 0.91 1.47 0.77 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.028 0.112 0.278 0.354 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

47 47 69 48 97 42 0 0 -1

N.S.

1 1.00 1.47 1.02 2.06 0.89 0.00 0.00 -0.02

time (sec)

N/A 0.116 0.038 0.094 0.288 0.342 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 56 67 0 33 0 0 -1

N.S.

1 1.00 0.50 0.60 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.020 0.097 0.000 0.337 0.000 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 52 62 0 38 0 0 -1

N.S.

1 1.00 0.68 0.81 0.00 0.49 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.025 0.095 0.000 0.340 0.000 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 51 56 0 39 0 0 58

N.S.

1 1.00 1.11 1.22 0.00 0.85 0.00 0.00 1.26

time (sec)

N/A 0.114 0.035 0.099 0.000 0.329 0.000 0.000 1.472

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 71 169 0 136 0 0 -1

N.S.

1 1.00 0.39 0.93 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.046 0.093 0.000 0.375 0.000 0.000 0.000

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 99 241 0 193 0 0 -1

N.S.

1 1.00 0.36 0.88 0.00 0.70 0.00 0.00 -0.00

time (sec)

N/A 0.154 0.068 0.090 0.000 0.349 0.000 0.000 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 45 48 0 25 0 0 -1

N.S.

1 1.00 0.59 0.63 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.144 0.018 0.095 0.000 0.354 0.000 0.000 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 43 48 0 25 0 0 -1

N.S.

1 1.00 0.58 0.65 0.00 0.34 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.016 0.104 0.000 0.349 0.000 0.000 0.000

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 41 45 0 22 0 0 -1

N.S.

1 1.00 0.60 0.66 0.00 0.32 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.013 0.094 0.000 0.351 0.000 0.000 0.000

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 42 44 0 18 0 0 -1

N.S.

1 1.00 0.61 0.64 0.00 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.016 0.096 0.000 0.347 0.000 0.000 0.000

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 43 48 0 22 0 0 -1

N.S.

1 1.00 0.59 0.66 0.00 0.30 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.018 0.095 0.000 0.357 0.000 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 96 270 117 184 0 0 -1

N.S.

1 1.00 0.70 1.97 0.85 1.34 0.00 0.00 -0.01

time (sec)

N/A 0.286 0.147 0.210 0.465 0.343 0.000 0.000 0.000

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 88 185 93 168 0 84 -1

N.S.

1 1.00 0.79 1.65 0.83 1.50 0.00 0.75 -0.01

time (sec)

N/A 0.258 0.123 0.211 0.478 0.355 0.000 0.401 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 79 163 70 150 0 72 -1

N.S.

1 1.00 0.93 1.92 0.82 1.76 0.00 0.85 -0.01

time (sec)

N/A 0.165 0.062 0.197 0.465 0.359 0.000 0.405 0.000

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

86 86 76 136 47 134 0 62 -1

N.S.

1 1.00 0.88 1.58 0.55 1.56 0.00 0.72 -0.01

time (sec)

N/A 0.077 0.039 0.195 0.475 0.390 0.000 0.404 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 97 129 90 191 0 95 -1

N.S.

1 1.00 1.29 1.72 1.20 2.55 0.00 1.27 -0.01

time (sec)

N/A 0.224 0.055 0.189 0.471 0.349 0.000 0.420 0.000

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 104 209 0 209 0 134 -1

N.S.

1 1.00 1.27 2.55 0.00 2.55 0.00 1.63 -0.01

time (sec)

N/A 0.239 0.060 0.214 0.000 0.378 0.000 0.428 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 76 239 0 148 0 200 -1

N.S.

1 1.00 0.97 3.06 0.00 1.90 0.00 2.56 -0.01

time (sec)

N/A 0.223 0.075 0.197 0.000 0.349 0.000 0.409 0.000

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 82 317 0 164 0 250 -1

N.S.

1 1.00 0.83 3.20 0.00 1.66 0.00 2.53 -0.01

time (sec)

N/A 0.245 0.076 0.211 0.000 0.370 0.000 0.411 0.000

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 95 341 0 180 0 324 -1

N.S.

1 1.00 0.73 2.62 0.00 1.38 0.00 2.49 -0.01

time (sec)

N/A 0.271 0.088 0.213 0.000 0.381 0.000 0.414 0.000

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 88 92 0 58 0 0 -1

N.S.

1 1.00 0.39 0.40 0.00 0.25 0.00 0.00 -0.00

time (sec)

N/A 0.179 0.041 0.106 0.000 0.355 0.000 0.000 0.000

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 74 83 0 49 0 0 -1

N.S.

1 1.00 0.40 0.45 0.00 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.169 0.033 0.114 0.000 0.366 0.000 0.000 0.000

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 66 76 0 42 0 0 -1

N.S.

1 1.00 0.43 0.50 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.147 0.028 0.096 0.000 0.366 0.000 0.000 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 57 67 0 33 0 0 -1

N.S.

1 1.00 0.50 0.59 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.018 0.109 0.000 0.350 0.000 0.000 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 53 59 0 28 0 0 -1

N.S.

1 1.00 0.46 0.52 0.00 0.25 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.021 0.098 0.000 0.356 0.000 0.000 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 55 65 0 33 0 0 -1

N.S.

1 1.00 0.48 0.57 0.00 0.29 0.00 0.00 -0.01

time (sec)

N/A 0.155 0.023 0.102 0.000 0.397 0.000 0.000 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 69 77 0 90 0 0 -1

N.S.

1 1.00 0.45 0.50 0.00 0.59 0.00 0.00 -0.01

time (sec)

N/A 0.160 0.030 0.095 0.000 0.338 0.000 0.000 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 79 85 0 98 0 0 -1

N.S.

1 1.00 0.41 0.44 0.00 0.51 0.00 0.00 -0.01

time (sec)

N/A 0.164 0.030 0.098 0.000 0.356 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 84 93 0 106 0 0 -1

N.S.

1 1.00 0.37 0.41 0.00 0.46 0.00 0.00 -0.00

time (sec)

N/A 0.165 0.039 0.107 0.000 0.368 0.000 0.000 0.000

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 77 106 0 76 0 0 -1

N.S.

1 1.00 0.36 0.50 0.00 0.36 0.00 0.00 -0.00

time (sec)

N/A 0.159 0.059 0.096 0.000 0.347 0.000 0.000 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 71 98 0 69 0 0 -1

N.S.

1 1.00 0.41 0.57 0.00 0.40 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.040 0.095 0.000 0.358 0.000 0.000 0.000

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 75 86 0 56 0 0 -1

N.S.

1 1.00 0.58 0.66 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.172 0.033 0.095 0.000 0.350 0.000 0.000 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 59 84 0 86 0 0 -1

N.S.

1 1.00 0.68 0.97 0.00 0.99 0.00 0.00 -0.01

time (sec)

N/A 0.139 0.029 0.097 0.000 0.340 0.000 0.000 0.000

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 56 84 0 86 0 0 -1

N.S.

1 1.00 0.62 0.92 0.00 0.95 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.025 0.097 0.000 0.365 0.000 0.000 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 68 93 0 63 0 0 -1

N.S.

1 1.00 0.38 0.53 0.00 0.36 0.00 0.00 -0.01

time (sec)

N/A 0.170 0.043 0.097 0.000 0.364 0.000 0.000 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 79 118 0 92 0 0 -1

N.S.

1 1.00 0.37 0.55 0.00 0.43 0.00 0.00 -0.00

time (sec)

N/A 0.173 0.046 0.095 0.000 0.373 0.000 0.000 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 94 138 0 113 0 0 -1

N.S.

1 1.00 0.37 0.55 0.00 0.45 0.00 0.00 -0.00

time (sec)

N/A 0.178 0.055 0.095 0.000 0.368 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 89 185 0 138 0 0 -1

N.S.

1 1.00 0.34 0.71 0.00 0.53 0.00 0.00 -0.00

time (sec)

N/A 0.153 0.078 0.099 0.000 0.361 0.000 0.000 0.000

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 84 169 0 122 0 0 -1

N.S.

1 1.00 0.39 0.78 0.00 0.56 0.00 0.00 -0.00

time (sec)

N/A 0.187 0.072 0.100 0.000 0.349 0.000 0.000 0.000

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