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

2.2.6 Integrals 501 to 600

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 501

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

50 50 50 120 0 124 0 96 -1

N.S.

1 1.00 1.00 2.40 0.00 2.48 0.00 1.92 -0.02

time (sec)

N/A 0.103 0.024 0.131 0.000 0.375 0.000 0.436 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 99 0 111 39 0 -1

N.S.

1 1.00 1.00 2.11 0.00 2.36 0.83 0.00 -0.02

time (sec)

N/A 0.223 0.022 0.133 0.000 0.372 6.087 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 28 173 0 28 0 0 24

N.S.

1 1.00 0.67 4.12 0.00 0.67 0.00 0.00 0.57

time (sec)

N/A 0.220 0.025 0.123 0.000 0.325 0.000 0.000 1.262

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 36 192 0 36 0 0 32

N.S.

1 1.00 0.52 2.78 0.00 0.52 0.00 0.00 0.46

time (sec)

N/A 0.229 0.030 0.125 0.000 0.338 0.000 0.000 1.286

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 44 211 0 44 0 0 77

N.S.

1 1.00 0.46 2.20 0.00 0.46 0.00 0.00 0.80

time (sec)

N/A 0.237 0.035 0.127 0.000 0.375 0.000 0.000 1.278

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 52 230 0 52 0 0 98

N.S.

1 1.00 0.43 1.90 0.00 0.43 0.00 0.00 0.81

time (sec)

N/A 0.239 0.041 0.132 0.000 0.373 0.000 0.000 1.370

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 252 224 0 568 0 0 -1

N.S.

1 1.00 0.81 0.72 0.00 1.81 0.00 0.00 -0.00

time (sec)

N/A 0.224 0.527 0.135 0.000 0.449 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

261 261 244 202 0 552 0 0 -1

N.S.

1 1.00 0.93 0.77 0.00 2.11 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.392 0.143 0.000 0.458 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 236 180 0 536 0 0 -1

N.S.

1 1.00 1.13 0.86 0.00 2.56 0.00 0.00 -0.00

time (sec)

N/A 0.150 0.311 0.135 0.000 0.442 0.000 0.000 0.000

Problem 510

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

152 152 93 160 0 512 0 0 -1

N.S.

1 1.00 0.61 1.05 0.00 3.37 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.054 0.129 0.000 0.438 0.000 0.000 0.000

Problem 511

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 NO TBD TBD TBD TBD TBD TBD

size

146 146 218 159 0 490 0 0 -1

N.S.

1 1.00 1.49 1.09 0.00 3.36 0.00 0.00 -0.01

time (sec)

N/A 0.182 0.283 0.140 0.000 0.454 0.000 0.000 0.000

Problem 512

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 NO TBD TBD TBD TBD TBD TBD

size

125 125 155 140 0 353 0 0 -1

N.S.

1 1.00 1.24 1.12 0.00 2.82 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.186 0.142 0.000 0.383 0.000 0.000 0.000

Problem 513

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 NO TBD TBD TBD TBD TBD TBD

size

170 170 162 165 0 381 0 0 -1

N.S.

1 1.00 0.95 0.97 0.00 2.24 0.00 0.00 -0.01

time (sec)

N/A 0.201 0.183 0.145 0.000 0.390 0.000 0.000 0.000

Problem 514

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 NO TBD TBD TBD TBD TBD TBD

size

209 209 170 187 0 397 0 0 -1

N.S.

1 1.00 0.81 0.89 0.00 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.312 0.195 0.145 0.000 0.420 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

303 303 178 209 0 413 0 0 -1

N.S.

1 1.00 0.59 0.69 0.00 1.36 0.00 0.00 -0.00

time (sec)

N/A 0.224 0.200 0.148 0.000 0.388 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 93 0 0 0 0 0 -1

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.187 0.045 0.015 0.000 0.000 0.000 0.000 0.000

Problem 517

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 NO TBD TBD TBD TBD TBD TBD

size

164 164 147 133 0 337 0 0 -1

N.S.

1 1.00 0.90 0.81 0.00 2.05 0.00 0.00 -0.01

time (sec)

N/A 0.243 0.272 0.090 0.000 0.360 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

124 124 139 116 0 321 0 0 -1

N.S.

1 1.00 1.12 0.94 0.00 2.59 0.00 0.00 -0.01

time (sec)

N/A 0.174 0.229 0.087 0.000 0.377 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 65 101 0 297 0 0 -1

N.S.

1 1.00 0.82 1.28 0.00 3.76 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.032 0.087 0.000 0.360 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

76 76 132 100 0 275 0 0 -1

N.S.

1 1.00 1.74 1.32 0.00 3.62 0.00 0.00 -0.01

time (sec)

N/A 0.163 0.170 0.089 0.000 0.415 0.000 0.000 0.000

Problem 521

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

70 70 46 54 0 59 0 0 54

N.S.

1 1.00 0.66 0.77 0.00 0.84 0.00 0.00 0.77

time (sec)

N/A 0.128 0.066 0.082 0.000 0.393 0.000 0.000 1.331

Problem 522

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

113 113 58 62 0 69 0 0 62

N.S.

1 1.00 0.51 0.55 0.00 0.61 0.00 0.00 0.55

time (sec)

N/A 0.162 0.064 0.081 0.000 0.340 0.000 0.000 1.353

Problem 523

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

149 149 66 70 0 77 0 0 100

N.S.

1 1.00 0.44 0.47 0.00 0.52 0.00 0.00 0.67

time (sec)

N/A 0.216 0.068 0.085 0.000 0.345 0.000 0.000 1.408

Problem 524

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 116 259 0 271 0 0 -1

N.S.

1 1.00 0.67 1.51 0.00 1.58 0.00 0.00 -0.01

time (sec)

N/A 0.331 0.099 0.187 0.000 0.350 0.000 0.000 0.000

Problem 525

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

147 147 108 237 0 259 0 0 -1

N.S.

1 1.00 0.73 1.61 0.00 1.76 0.00 0.00 -0.01

time (sec)

N/A 0.315 0.070 0.184 0.000 0.345 0.000 0.000 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 100 215 0 239 0 0 -1

N.S.

1 1.00 0.82 1.76 0.00 1.96 0.00 0.00 -0.01

time (sec)

N/A 0.224 0.056 0.187 0.000 0.350 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 92 189 0 219 0 0 -1

N.S.

1 1.00 1.00 2.05 0.00 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.059 0.181 0.000 0.397 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 86 228 0 203 80 0 -1

N.S.

1 1.00 1.00 2.65 0.00 2.36 0.93 0.00 -0.01

time (sec)

N/A 0.252 0.045 0.185 0.000 0.344 6.974 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 69 254 0 161 0 0 -1

N.S.

1 1.00 0.84 3.10 0.00 1.96 0.00 0.00 -0.01

time (sec)

N/A 0.255 0.088 0.204 0.000 0.371 0.000 0.000 0.000

Problem 530

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

113 113 79 278 0 181 0 278 -1

N.S.

1 1.00 0.70 2.46 0.00 1.60 0.00 2.46 -0.01

time (sec)

N/A 0.270 0.108 0.197 0.000 0.397 0.000 0.750 0.000

Problem 531

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

113 113 87 302 0 201 0 356 -1

N.S.

1 1.00 0.77 2.67 0.00 1.78 0.00 3.15 -0.01

time (sec)

N/A 0.283 0.153 0.194 0.000 0.355 0.000 0.802 0.000

Problem 532

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

163 163 95 326 0 213 0 434 -1

N.S.

1 1.00 0.58 2.00 0.00 1.31 0.00 2.66 -0.01

time (sec)

N/A 0.310 0.184 0.199 0.000 0.354 0.000 0.950 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

303 303 167 197 0 353 0 0 -1

N.S.

1 1.00 0.55 0.65 0.00 1.17 0.00 0.00 -0.00

time (sec)

N/A 0.223 0.548 0.100 0.000 0.385 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

251 251 159 180 0 337 0 0 -1

N.S.

1 1.00 0.63 0.72 0.00 1.34 0.00 0.00 -0.00

time (sec)

N/A 0.202 0.302 0.102 0.000 0.379 0.000 0.000 0.000

Problem 535

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 NO TBD TBD TBD TBD TBD TBD

size

199 199 151 163 0 321 0 0 -1

N.S.

1 1.00 0.76 0.82 0.00 1.61 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.263 0.102 0.000 0.403 0.000 0.000 0.000

Problem 536

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

140 140 67 146 0 299 0 0 -1

N.S.

1 1.00 0.48 1.04 0.00 2.14 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.035 0.092 0.000 0.367 0.000 0.000 0.000

Problem 537

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 NO TBD TBD TBD TBD TBD TBD

size

134 134 131 151 0 277 0 0 -1

N.S.

1 1.00 0.98 1.13 0.00 2.07 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.273 0.105 0.000 0.369 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 58 62 0 59 0 0 54

N.S.

1 1.00 0.53 0.57 0.00 0.54 0.00 0.00 0.50

time (sec)

N/A 0.152 0.068 0.096 0.000 0.341 0.000 0.000 1.361

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 70 70 0 69 0 0 62

N.S.

1 1.00 0.47 0.47 0.00 0.46 0.00 0.00 0.41

time (sec)

N/A 0.183 0.070 0.102 0.000 0.363 0.000 0.000 1.442

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 78 78 0 77 0 0 100

N.S.

1 1.00 0.41 0.41 0.00 0.41 0.00 0.00 0.53

time (sec)

N/A 0.288 0.074 0.107 0.000 0.336 0.000 0.000 1.415

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 86 86 0 85 0 0 108

N.S.

1 1.00 0.30 0.30 0.00 0.29 0.00 0.00 0.37

time (sec)

N/A 0.205 0.080 0.105 0.000 0.351 0.000 0.000 1.410

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 155 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.253 0.016 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 97 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.250 0.015 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 113 0 0 0 0 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.051 0.017 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 111 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 180.004 0.016 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 111 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 180.003 0.017 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 111 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.097 180.004 0.016 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 111 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 180.007 0.014 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

110 110 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 1.012 0.014 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 67 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.021 0.013 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

93 93 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.427 0.015 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 46 0 0 0 272 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 4.77 0.00 -0.02

time (sec)

N/A 0.074 0.018 0.064 0.000 0.000 5.101 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

90 90 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.839 0.013 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

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

size

88 88 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 1.177 0.013 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 87 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.035 0.067 0.000 0.000 0.000 0.000 0.000

Problem 556

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 279 415 169 0 218 362

N.S.

1 1.00 0.28 0.71 1.06 0.43 0.00 0.55 0.92

time (sec)

N/A 0.227 0.091 0.106 0.265 0.363 0.000 0.429 1.367

Problem 557

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 231 337 148 0 178 289

N.S.

1 1.00 0.30 0.74 1.08 0.47 0.00 0.57 0.92

time (sec)

N/A 0.172 0.099 0.100 0.261 0.336 0.000 0.450 1.308

Problem 558

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 183 259 125 0 137 214

N.S.

1 1.00 0.34 0.79 1.11 0.54 0.00 0.59 0.92

time (sec)

N/A 0.133 0.057 0.095 0.257 0.353 0.000 0.438 1.261

Problem 559

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 119 171 91 0 90 131

N.S.

1 1.00 0.42 0.82 1.18 0.63 0.00 0.62 0.90

time (sec)

N/A 0.081 0.056 0.046 0.255 0.347 0.000 0.406 0.070

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 23 22 34 0 0 22

N.S.

1 1.00 1.00 1.77 1.69 2.62 0.00 0.00 1.69

time (sec)

N/A 0.020 0.034 0.188 0.261 0.327 0.000 0.000 1.225

Problem 561

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

51 51 50 52 65 58 0 0 50

N.S.

1 1.00 0.98 1.02 1.27 1.14 0.00 0.00 0.98

time (sec)

N/A 0.044 0.047 0.185 0.261 0.333 0.000 0.000 0.071

Problem 562

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

85 85 66 68 99 86 0 0 60

N.S.

1 1.00 0.78 0.80 1.16 1.01 0.00 0.00 0.71

time (sec)

N/A 0.065 0.063 0.192 0.260 0.326 0.000 0.000 0.073

Problem 563

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

119 119 82 84 132 134 0 0 142

N.S.

1 1.00 0.69 0.71 1.11 1.13 0.00 0.00 1.19

time (sec)

N/A 0.090 0.090 0.194 0.252 0.380 0.000 0.000 0.062

Problem 564

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 47 85 113 113 119 113 113

N.S.

1 1.00 0.56 1.01 1.35 1.35 1.42 1.35 1.35

time (sec)

N/A 0.065 0.026 0.219 0.262 0.337 0.037 0.422 1.251

Problem 565

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

69 69 39 63 82 82 87 82 82

N.S.

1 1.00 0.57 0.91 1.19 1.19 1.26 1.19 1.19

time (sec)

N/A 0.057 0.020 0.200 0.263 0.323 0.030 0.402 0.042

Problem 566

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

52 52 31 54 70 70 70 70 70

N.S.

1 1.00 0.60 1.04 1.35 1.35 1.35 1.35 1.35

time (sec)

N/A 0.053 0.017 0.194 0.257 0.346 0.025 0.407 0.035

Problem 567

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

35 35 23 31 38 38 36 38 38

N.S.

1 1.00 0.66 0.89 1.09 1.09 1.03 1.09 1.09

time (sec)

N/A 0.043 0.012 0.179 0.257 0.313 0.019 0.404 0.053

Problem 568

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

15 15 23 14 21 21 20 21 17

N.S.

1 1.00 1.53 0.93 1.40 1.40 1.33 1.40 1.13

time (sec)

N/A 0.024 0.011 0.099 0.256 0.346 0.015 0.411 0.035

Problem 569

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

16 16 18 15 13 13 10 14 14

N.S.

1 1.00 1.12 0.94 0.81 0.81 0.62 0.88 0.88

time (sec)

N/A 0.043 0.012 0.141 0.258 0.333 0.051 0.404 0.035

Problem 570

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

51 51 35 52 63 76 54 51 46

N.S.

1 1.00 0.69 1.02 1.24 1.49 1.06 1.00 0.90

time (sec)

N/A 0.058 0.019 0.141 0.257 0.349 0.146 0.430 1.263

Problem 571

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

86 86 63 76 91 121 85 74 73

N.S.

1 1.00 0.73 0.88 1.06 1.41 0.99 0.86 0.85

time (sec)

N/A 0.071 0.027 0.151 0.270 0.341 0.220 0.416 0.091

Problem 572

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

121 121 82 100 140 217 141 91 121

N.S.

1 1.00 0.68 0.83 1.16 1.79 1.17 0.75 1.00

time (sec)

N/A 0.085 0.045 0.161 0.281 0.339 0.332 0.411 1.302

Problem 573

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 170 0 216 362

N.S.

1 1.00 0.28 0.73 1.06 0.43 0.00 0.55 0.92

time (sec)

N/A 0.222 0.087 0.112 0.273 0.340 0.000 0.414 0.215

Problem 574

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 147 0 177 289

N.S.

1 1.00 0.30 0.77 1.08 0.47 0.00 0.57 0.92

time (sec)

N/A 0.176 0.072 0.096 0.271 0.361 0.000 0.417 0.123

Problem 575

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 126 0 138 214

N.S.

1 1.00 0.34 0.82 1.11 0.54 0.00 0.59 0.92

time (sec)

N/A 0.139 0.059 0.102 0.272 0.357 0.000 0.441 1.246

Problem 576

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 91 0 90 133

N.S.

1 1.00 0.42 1.26 1.18 0.63 0.00 0.62 0.92

time (sec)

N/A 0.080 0.043 0.089 0.277 0.351 0.000 0.414 0.070

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 24 23 51 0 49 23

N.S.

1 1.00 1.00 1.33 1.28 2.83 0.00 2.72 1.28

time (sec)

N/A 0.021 0.035 0.130 0.279 0.354 0.000 0.418 0.032

Problem 578

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 55 77 0 65 55

N.S.

1 1.00 0.78 0.95 1.00 1.40 0.00 1.18 1.00

time (sec)

N/A 0.045 0.049 0.189 0.271 0.378 0.000 0.437 0.040

Problem 579

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

N.S.

1 1.00 0.73 0.75 1.07 1.05 0.00 0.00 0.66

time (sec)

N/A 0.071 0.067 0.187 0.266 0.344 0.000 0.000 1.264

Problem 580

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 131 124 0 0 76

N.S.

1 1.00 0.65 0.66 1.03 0.98 0.00 0.00 0.60

time (sec)

N/A 0.097 0.085 0.193 0.264 0.380 0.000 0.000 1.260

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 39 75 101 101 109 102 101

N.S.

1 1.00 0.59 1.14 1.53 1.53 1.65 1.55 1.53

time (sec)

N/A 0.059 0.025 0.276 0.262 0.352 0.041 0.410 1.243

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 31 69 92 92 100 90 92

N.S.

1 1.00 0.60 1.33 1.77 1.77 1.92 1.73 1.77

time (sec)

N/A 0.055 0.020 0.235 0.272 0.334 0.034 0.414 0.051

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 23 45 59 59 63 78 59

N.S.

1 1.00 0.66 1.29 1.69 1.69 1.80 2.23 1.69

time (sec)

N/A 0.044 0.015 0.229 0.261 0.355 0.029 0.409 0.034

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 49 16 47 47 48 64 47

N.S.

1 1.00 2.88 0.94 2.76 2.76 2.82 3.76 2.76

time (sec)

N/A 0.038 0.014 0.186 0.260 0.347 0.026 0.405 0.032

Problem 585

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

46 46 36 32 33 37 36 60 33

N.S.

1 1.00 0.78 0.70 0.72 0.80 0.78 1.30 0.72

time (sec)

N/A 0.032 0.010 0.146 0.265 0.381 0.058 0.422 0.051

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 25 28 19 19 17 27 12

N.S.

1 1.00 1.92 2.15 1.46 1.46 1.31 2.08 0.92

time (sec)

N/A 0.044 0.008 0.181 0.261 0.330 0.087 0.394 0.050

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 17 16 41 41 42 15 40

N.S.

1 1.00 0.94 0.89 2.28 2.28 2.33 0.83 2.22

time (sec)

N/A 0.042 0.014 0.177 0.265 0.341 0.108 0.411 0.062

Problem 588

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

87 87 52 76 102 147 99 91 83

N.S.

1 1.00 0.60 0.87 1.17 1.69 1.14 1.05 0.95

time (sec)

N/A 0.067 0.027 0.184 0.287 0.372 0.244 0.408 0.092

Problem 589

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

122 122 80 100 130 191 129 127 111

N.S.

1 1.00 0.66 0.82 1.07 1.57 1.06 1.04 0.91

time (sec)

N/A 0.080 0.039 0.198 0.270 0.377 0.328 0.410 1.298

Problem 590

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 279 415 170 0 196 362

N.S.

1 1.00 0.28 0.71 1.06 0.43 0.00 0.50 0.92

time (sec)

N/A 0.219 0.093 0.102 0.264 0.369 0.000 0.425 1.343

Problem 591

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 231 337 147 0 161 289

N.S.

1 1.00 0.30 0.74 1.08 0.47 0.00 0.51 0.92

time (sec)

N/A 0.178 0.103 0.102 0.270 0.348 0.000 0.411 0.113

Problem 592

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 183 259 126 0 126 214

N.S.

1 1.00 0.34 0.79 1.11 0.54 0.00 0.54 0.92

time (sec)

N/A 0.138 0.058 0.095 0.275 0.376 0.000 0.418 0.079

Problem 593

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 119 171 91 0 82 132

N.S.

1 1.00 0.42 0.82 1.18 0.63 0.00 0.57 0.91

time (sec)

N/A 0.086 0.054 0.049 0.268 0.355 0.000 0.419 1.243

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 24 23 23 0 0 23

N.S.

1 1.00 1.00 1.50 1.44 1.44 0.00 0.00 1.44

time (sec)

N/A 0.021 0.036 0.175 0.273 0.344 0.000 0.000 0.031

Problem 595

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

55 55 48 52 67 50 0 0 55

N.S.

1 1.00 0.87 0.95 1.22 0.91 0.00 0.00 1.00

time (sec)

N/A 0.043 0.046 0.203 0.269 0.356 0.000 0.000 0.051

Problem 596

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 64 68 102 76 0 0 109

N.S.

1 1.00 0.70 0.75 1.12 0.84 0.00 0.00 1.20

time (sec)

N/A 0.070 0.066 0.213 0.267 0.348 0.000 0.000 1.242

Problem 597

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 80 84 135 104 0 0 148

N.S.

1 1.00 0.63 0.66 1.06 0.82 0.00 0.00 1.17

time (sec)

N/A 0.095 0.088 0.225 0.262 0.354 0.000 0.000 0.038

Problem 598

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

73 73 39 61 80 80 87 80 80

N.S.

1 1.00 0.53 0.84 1.10 1.10 1.19 1.10 1.10

time (sec)

N/A 0.056 0.022 0.240 0.260 0.322 0.038 0.407 0.047

Problem 599

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

55 55 31 54 70 70 70 70 70

N.S.

1 1.00 0.56 0.98 1.27 1.27 1.27 1.27 1.27

time (sec)

N/A 0.052 0.019 0.191 0.258 0.326 0.025 0.395 0.039

Problem 600

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

37 37 30 30 37 37 36 37 37

N.S.

1 1.00 0.81 0.81 1.00 1.00 0.97 1.00 1.00

time (sec)

N/A 0.045 0.013 0.176 0.270 0.329 0.029 0.401 0.051

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