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

2.2.6 Integrals 501 to 600

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 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 32 23 24 0 23 0 50 39

N.S.

1 1.39 1.00 1.04 0.00 1.00 0.00 2.17 1.70

time (sec)

N/A 0.327 0.342 0.805 0.000 0.243 0.000 0.289 27.389

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 215 140 386 0 795 0 435 497

N.S.

1 1.37 0.89 2.46 0.00 5.06 0.00 2.77 3.17

time (sec)

N/A 0.821 1.105 1.938 0.000 0.293 0.000 0.326 30.188

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 250 286 263 0 6695 0 0 10465

N.S.

1 1.03 1.18 1.09 0.00 27.67 0.00 0.00 43.24

time (sec)

N/A 0.644 1.389 5.269 0.000 6.008 0.000 0.000 42.929

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

331 216 140 191 556 112 0 229 0

N.S.

1 0.65 0.42 0.58 1.68 0.34 0.00 0.69 0.00

time (sec)

N/A 0.753 2.549 3.697 0.347 0.248 0.000 0.300 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

185 99 70 72 187 43 0 94 0

N.S.

1 0.54 0.38 0.39 1.01 0.23 0.00 0.51 0.00

time (sec)

N/A 0.350 0.387 1.812 0.365 0.275 0.000 0.273 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

137 114 85 88 0 204 0 110 0

N.S.

1 0.83 0.62 0.64 0.00 1.49 0.00 0.80 0.00

time (sec)

N/A 0.520 0.452 2.051 0.000 0.262 0.000 0.296 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

239 190 144 250 0 527 0 292 0

N.S.

1 0.79 0.60 1.05 0.00 2.21 0.00 1.22 0.00

time (sec)

N/A 0.713 0.848 2.089 0.000 0.286 0.000 0.325 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 20 11 12 0 11 0 32 24

N.S.

1 1.82 1.00 1.09 0.00 1.00 0.00 2.91 2.18

time (sec)

N/A 0.283 0.109 0.427 0.000 0.243 0.000 0.287 26.940

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 241 254 0 6697 0 5300 11781

N.S.

1 1.00 0.98 1.03 0.00 27.22 0.00 21.54 47.89

time (sec)

N/A 0.621 1.142 5.289 0.000 6.404 0.000 2.039 44.542

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 150 153 155 150 149 248 2007 205

N.S.

1 1.04 1.06 1.08 1.04 1.03 1.72 13.94 1.42

time (sec)

N/A 0.852 1.723 0.257 0.309 0.254 0.159 2.431 27.076

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 88 77 74 74 122 592 105

N.S.

1 1.00 1.22 1.07 1.03 1.03 1.69 8.22 1.46

time (sec)

N/A 0.386 0.279 0.211 0.298 0.240 0.099 0.638 26.975

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 125 187 125 161 191 1360 199 152

N.S.

1 1.24 1.85 1.24 1.59 1.89 13.47 1.97 1.50

time (sec)

N/A 0.697 1.908 0.383 0.313 0.254 0.749 0.581 28.050

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 261 308 218 419 580 0 437 388

N.S.

1 1.32 1.56 1.11 2.13 2.94 0.00 2.22 1.97

time (sec)

N/A 1.271 4.045 0.542 0.308 0.283 0.000 0.875 28.773

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 149 147 158 166 102 0 1535 0

N.S.

1 0.52 0.52 0.56 0.58 0.36 0.00 5.40 0.00

time (sec)

N/A 0.800 1.150 1.342 0.310 0.253 0.000 1.165 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

122 82 58 75 65 38 0 323 0

N.S.

1 0.67 0.48 0.61 0.53 0.31 0.00 2.65 0.00

time (sec)

N/A 0.447 0.240 1.171 0.308 0.265 0.000 0.402 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 102 111 114 137 71 0 161 0

N.S.

1 0.74 0.80 0.83 0.99 0.51 0.00 1.17 0.00

time (sec)

N/A 0.549 0.837 0.842 0.313 0.248 0.000 0.369 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 235 268 622 498 355 0 481 0

N.S.

1 0.74 0.85 1.97 1.58 1.12 0.00 1.52 0.00

time (sec)

N/A 1.061 3.596 0.696 0.334 0.270 0.000 0.551 0.000

Problem 518

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

184 207 212 200 299 198 0 447 323

N.S.

1 1.12 1.15 1.09 1.62 1.08 0.00 2.43 1.76

time (sec)

N/A 0.872 0.123 2.881 0.220 0.288 0.000 0.388 26.598

Problem 519

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

76 80 64 95 126 125 0 182 160

N.S.

1 1.05 0.84 1.25 1.66 1.64 0.00 2.39 2.11

time (sec)

N/A 0.285 0.219 1.496 0.222 0.274 0.000 0.298 26.342

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 135 97 120 0 279 0 139 444

N.S.

1 1.47 1.05 1.30 0.00 3.03 0.00 1.51 4.83

time (sec)

N/A 0.808 0.956 0.742 0.000 0.279 0.000 0.308 26.382

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 302 276 307 0 1335 0 469 5469

N.S.

1 1.31 1.20 1.33 0.00 5.80 0.00 2.04 23.78

time (sec)

N/A 1.645 2.391 1.524 0.000 0.331 0.000 0.387 37.127

Problem 522

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

359 190 128 300 440 162 0 605 0

N.S.

1 0.53 0.36 0.84 1.23 0.45 0.00 1.69 0.00

time (sec)

N/A 0.739 0.619 5.181 0.335 0.266 0.000 0.378 0.000

Problem 523

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

173 87 67 177 164 85 0 208 0

N.S.

1 0.50 0.39 1.02 0.95 0.49 0.00 1.20 0.00

time (sec)

N/A 0.514 0.254 4.932 0.326 0.257 0.000 0.311 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 115 92 147 0 184 0 383 0

N.S.

1 0.81 0.65 1.04 0.00 1.30 0.00 2.70 0.00

time (sec)

N/A 0.622 0.620 5.085 0.000 0.269 0.000 0.548 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

330 268 216 678 0 798 0 405 0

N.S.

1 0.81 0.65 2.05 0.00 2.42 0.00 1.23 0.00

time (sec)

N/A 1.336 2.505 4.599 0.000 0.343 0.000 0.385 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 19 8 0 6 8 14 16

N.S.

1 1.00 1.12 0.47 0.00 0.35 0.47 0.82 0.94

time (sec)

N/A 0.193 0.034 0.855 0.000 0.234 0.045 0.260 26.936

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 19 8 0 6 10 14 13

N.S.

1 1.00 1.12 0.47 0.00 0.35 0.59 0.82 0.76

time (sec)

N/A 0.194 0.025 0.830 0.000 0.253 0.038 0.261 26.711

Problem 528

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

6 6 6 7 6 11 7 16 32

N.S.

1 1.00 1.00 1.17 1.00 1.83 1.17 2.67 5.33

time (sec)

N/A 0.171 0.058 0.621 0.219 0.255 0.056 0.283 26.926

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 39 66 181 59 360 77 1976

N.S.

1 1.00 0.83 1.40 3.85 1.26 7.66 1.64 42.04

time (sec)

N/A 0.213 0.212 0.891 0.321 0.238 0.351 0.277 38.642

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 75 113 271 194 0 132 129

N.S.

1 1.00 1.01 1.53 3.66 2.62 0.00 1.78 1.74

time (sec)

N/A 0.312 0.296 0.863 0.323 0.254 0.000 0.300 26.139

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 64 37 199 152 0 26 95

N.S.

1 1.00 0.97 0.56 3.02 2.30 0.00 0.39 1.44

time (sec)

N/A 0.297 0.240 0.801 0.268 0.247 0.000 0.302 26.245

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 78 167 243 155 1030 148 1099

N.S.

1 1.00 0.93 1.99 2.89 1.85 12.26 1.76 13.08

time (sec)

N/A 0.309 0.387 0.890 0.353 0.267 10.948 0.312 34.612

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 92 124 286 226 0 150 141

N.S.

1 1.00 1.08 1.46 3.36 2.66 0.00 1.76 1.66

time (sec)

N/A 0.316 0.407 0.756 0.324 0.268 0.000 0.295 27.597

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 141 122 218 451 311 0 270 264

N.S.

1 1.09 0.95 1.69 3.50 2.41 0.00 2.09 2.05

time (sec)

N/A 0.497 0.686 0.895 0.376 0.259 0.000 0.321 27.373

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 113 95 185 0 625 0 178 1709

N.S.

1 0.98 0.83 1.61 0.00 5.43 0.00 1.55 14.86

time (sec)

N/A 0.361 0.274 0.920 0.000 0.322 0.000 0.279 62.049

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 119 118 206 0 1277 0 209 205

N.S.

1 1.05 1.04 1.82 0.00 11.30 0.00 1.85 1.81

time (sec)

N/A 0.378 0.325 0.933 0.000 0.321 0.000 0.303 26.221

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 225 326 853 0 3402 0 1162 946

N.S.

1 1.12 1.63 4.26 0.00 17.01 0.00 5.81 4.73

time (sec)

N/A 0.674 0.684 1.727 0.000 0.450 0.000 0.368 31.451

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 147 86 0 72 94 168 99

N.S.

1 1.00 1.75 1.02 0.00 0.86 1.12 2.00 1.18

time (sec)

N/A 0.231 0.210 1.207 0.000 0.236 0.324 0.271 28.308

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 147 79 0 56 73 168 584

N.S.

1 1.00 1.75 0.94 0.00 0.67 0.87 2.00 6.95

time (sec)

N/A 0.228 0.195 1.188 0.000 0.246 0.311 0.281 33.712

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 114 96 187 0 625 0 177 1741

N.S.

1 0.98 0.83 1.61 0.00 5.39 0.00 1.53 15.01

time (sec)

N/A 0.347 0.363 0.978 0.000 0.319 0.000 0.278 62.212

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 120 123 207 0 1301 0 206 204

N.S.

1 1.05 1.08 1.82 0.00 11.41 0.00 1.81 1.79

time (sec)

N/A 0.385 0.480 0.908 0.000 0.319 0.000 0.294 28.451

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 226 361 832 0 3513 0 1054 912

N.S.

1 1.13 1.80 4.16 0.00 17.56 0.00 5.27 4.56

time (sec)

N/A 0.662 0.894 1.738 0.000 0.468 0.000 0.378 33.695

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 152 84 0 71 100 169 96

N.S.

1 1.00 1.79 0.99 0.00 0.84 1.18 1.99 1.13

time (sec)

N/A 0.232 0.400 1.212 0.000 0.250 0.400 0.270 29.903

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 152 77 0 57 78 169 96

N.S.

1 1.00 1.79 0.91 0.00 0.67 0.92 1.99 1.13

time (sec)

N/A 0.230 0.359 1.303 0.000 0.247 0.403 0.273 28.448

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 125 98 217 0 687 0 187 1864

N.S.

1 1.05 0.82 1.82 0.00 5.77 0.00 1.57 15.66

time (sec)

N/A 0.372 0.491 1.050 0.000 0.329 0.000 0.271 67.959

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 116 116 206 0 1316 0 205 202

N.S.

1 1.05 1.05 1.87 0.00 11.96 0.00 1.86 1.84

time (sec)

N/A 0.375 0.513 0.919 0.000 0.323 0.000 0.291 27.406

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 221 311 795 0 3264 0 1034 923

N.S.

1 1.12 1.58 4.04 0.00 16.57 0.00 5.25 4.69

time (sec)

N/A 0.640 0.930 1.609 0.000 0.468 0.000 0.361 30.834

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 87 195 118 0 78 110 178 118

N.S.

1 0.95 2.12 1.28 0.00 0.85 1.20 1.93 1.28

time (sec)

N/A 0.246 0.549 1.286 0.000 0.251 0.431 0.271 29.100

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 85 195 116 0 68 99 178 118

N.S.

1 0.94 2.17 1.29 0.00 0.76 1.10 1.98 1.31

time (sec)

N/A 0.245 0.564 1.254 0.000 0.256 0.424 0.270 27.996

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 129 110 227 0 711 0 199 2711

N.S.

1 0.98 0.84 1.73 0.00 5.43 0.00 1.52 20.69

time (sec)

N/A 0.386 0.523 1.418 0.000 0.322 0.000 0.283 119.488

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 133 137 231 0 1556 0 241 227

N.S.

1 1.05 1.08 1.82 0.00 12.25 0.00 1.90 1.79

time (sec)

N/A 0.401 0.685 0.947 0.000 0.329 0.000 0.309 26.585

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 262 452 1080 0 4240 0 1506 1160

N.S.

1 1.11 1.91 4.56 0.00 17.89 0.00 6.35 4.89

time (sec)

N/A 0.748 1.261 1.868 0.000 0.513 0.000 0.368 33.519

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 165 136 0 89 129 203 132

N.S.

1 1.00 1.57 1.30 0.00 0.85 1.23 1.93 1.26

time (sec)

N/A 0.259 0.563 1.325 0.000 0.243 0.693 0.267 31.678

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 167 135 0 73 105 203 133

N.S.

1 1.00 1.62 1.31 0.00 0.71 1.02 1.97 1.29

time (sec)

N/A 0.260 0.583 1.316 0.000 0.240 0.685 0.268 31.921

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 68 32 36 0 24 0 68 62

N.S.

1 2.83 1.33 1.50 0.00 1.00 0.00 2.83 2.58

time (sec)

N/A 0.256 0.160 0.762 0.000 0.238 0.000 0.301 26.049

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

390 424 7823 3452 0 2014 0 0 0

N.S.

1 1.09 20.06 8.85 0.00 5.16 0.00 0.00 0.00

time (sec)

N/A 2.232 6.784 12.958 0.000 0.214 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

294 314 5218 2205 0 1692 0 0 0

N.S.

1 1.07 17.75 7.50 0.00 5.76 0.00 0.00 0.00

time (sec)

N/A 1.485 6.594 8.221 0.000 0.157 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

229 235 3006 1438 0 1498 0 0 0

N.S.

1 1.03 13.13 6.28 0.00 6.54 0.00 0.00 0.00

time (sec)

N/A 1.034 6.267 5.767 0.000 0.139 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

180 180 570 766 0 1352 0 0 0

N.S.

1 1.00 3.17 4.26 0.00 7.51 0.00 0.00 0.00

time (sec)

N/A 0.727 5.966 8.368 0.000 0.128 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

250 266 3176 2911 0 2086 0 0 0

N.S.

1 1.06 12.70 11.64 0.00 8.34 0.00 0.00 0.00

time (sec)

N/A 1.122 6.449 28.981 0.000 0.169 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

378 393 5554 4020 0 4057 0 0 0

N.S.

1 1.04 14.69 10.63 0.00 10.73 0.00 0.00 0.00

time (sec)

N/A 1.742 6.727 142.432 0.000 0.368 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 90 80 96 0 346 1110 136 1143

N.S.

1 1.07 0.95 1.14 0.00 4.12 13.21 1.62 13.61

time (sec)

N/A 0.462 3.666 1.493 0.000 0.277 13.611 0.282 34.846

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 124 114 155 0 458 0 180 227

N.S.

1 1.05 0.97 1.31 0.00 3.88 0.00 1.53 1.92

time (sec)

N/A 0.530 2.585 1.599 0.000 0.263 0.000 0.287 26.954

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 205 174 373 0 880 0 571 557

N.S.

1 1.11 0.94 2.02 0.00 4.76 0.00 3.09 3.01

time (sec)

N/A 0.743 1.770 1.906 0.000 0.287 0.000 0.325 28.880

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 294 244 715 0 1411 0 1281 1085

N.S.

1 1.14 0.95 2.77 0.00 5.47 0.00 4.97 4.21

time (sec)

N/A 1.047 3.142 2.568 0.000 0.336 0.000 0.343 30.499

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 131 145 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.331 0.684 0.000 0.000 0.000 0.000 0.000 0.000

Problem 567

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

107 112 75 84 80 97 190 75 125

N.S.

1 1.05 0.70 0.79 0.75 0.91 1.78 0.70 1.17

time (sec)

N/A 0.367 0.866 1.053 0.226 0.270 0.360 0.307 27.188

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 48 46 48 63 129 46 78

N.S.

1 1.00 0.79 0.75 0.79 1.03 2.11 0.75 1.28

time (sec)

N/A 0.241 0.501 0.816 0.209 0.262 0.176 0.273 27.068

Problem 569

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

20 20 38 19 18 22 26 18 22

N.S.

1 1.00 1.90 0.95 0.90 1.10 1.30 0.90 1.10

time (sec)

N/A 0.151 0.004 0.585 0.207 0.250 0.082 0.261 26.767

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 45 0 290 0 61 44

N.S.

1 1.00 1.00 0.94 0.00 6.04 0.00 1.27 0.92

time (sec)

N/A 0.263 0.300 0.829 0.000 0.282 0.000 0.264 27.348

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 100 94 114 0 493 0 116 181

N.S.

1 1.05 0.99 1.20 0.00 5.19 0.00 1.22 1.91

time (sec)

N/A 0.379 0.554 1.355 0.000 0.280 0.000 0.283 27.402

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 169 120 271 0 969 0 252 396

N.S.

1 1.13 0.81 1.82 0.00 6.50 0.00 1.69 2.66

time (sec)

N/A 0.574 1.064 2.629 0.000 0.306 0.000 0.290 27.388

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 260 202 1138 0 0 0 0 0

N.S.

1 0.98 0.76 4.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.168 2.051 2.582 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 208 167 844 0 0 0 0 0

N.S.

1 0.98 0.79 3.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.879 2.029 1.567 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 75 311 0 0 0 0 0

N.S.

1 1.00 0.99 4.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.401 1.229 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 70 165 0 304 0 0 0

N.S.

1 1.00 0.92 2.17 0.00 4.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.394 0.848 0.000 0.097 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 101 570 0 914 0 0 0

N.S.

1 1.00 0.71 3.99 0.00 6.39 0.00 0.00 0.00

time (sec)

N/A 0.502 0.817 1.201 0.000 0.141 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 297 201 1554 0 1506 0 0 0

N.S.

1 1.01 0.68 5.27 0.00 5.11 0.00 0.00 0.00

time (sec)

N/A 1.214 1.616 1.429 0.000 0.194 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

461 425 340 2282 0 3308 0 0 0

N.S.

1 0.92 0.74 4.95 0.00 7.18 0.00 0.00 0.00

time (sec)

N/A 1.408 0.932 1.019 0.000 0.978 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 321 256 1782 0 2492 0 0 0

N.S.

1 0.94 0.75 5.24 0.00 7.33 0.00 0.00 0.00

time (sec)

N/A 1.071 0.903 0.955 0.000 0.893 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 229 788 1284 0 1676 0 0 0

N.S.

1 1.02 3.50 5.71 0.00 7.45 0.00 0.00 0.00

time (sec)

N/A 0.700 1.252 0.907 0.000 1.190 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

14 14 16 14 16 15 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.07 1.00 1.14 1.14

time (sec)

N/A 0.255 2.524 0.638 0.362 0.241 24.994 0.261 26.466

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 34 36 34 36 66 53 36 36

N.S.

1 1.00 1.06 1.00 1.06 1.94 1.56 1.06 1.06

time (sec)

N/A 0.386 8.961 0.957 2.805 0.256 82.028 0.323 28.265

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 33 35 33 35 70 53 35 35

N.S.

1 1.00 1.06 1.00 1.06 2.12 1.61 1.06 1.06

time (sec)

N/A 0.372 7.174 0.986 2.242 0.261 82.926 0.305 27.857

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

175 244 198 0 0 186 0 7347 0

N.S.

1 1.39 1.13 0.00 0.00 1.06 0.00 41.98 0.00

time (sec)

N/A 0.904 1.632 0.000 0.000 0.292 0.000 0.724 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 181 142 0 0 142 0 4175 0

N.S.

1 1.38 1.08 0.00 0.00 1.08 0.00 31.87 0.00

time (sec)

N/A 1.001 1.451 0.000 0.000 0.277 0.000 0.551 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 101 77 0 0 77 0 1033 0

N.S.

1 1.26 0.96 0.00 0.00 0.96 0.00 12.91 0.00

time (sec)

N/A 0.506 1.359 0.000 0.000 0.263 0.000 0.394 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 69 160 120 0 45 0 496 0

N.S.

1 1.23 2.86 2.14 0.00 0.80 0.00 8.86 0.00

time (sec)

N/A 0.431 2.053 1.609 0.000 0.248 0.000 0.359 0.000

Problem 589

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

35 35 24 38 114 24 20 39 24

N.S.

1 1.00 0.69 1.09 3.26 0.69 0.57 1.11 0.69

time (sec)

N/A 0.187 0.330 1.807 0.200 0.241 2.200 0.291 27.147

Problem 590

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

20 20 20 21 20 21 19 42 23

N.S.

1 1.00 1.00 1.05 1.00 1.05 0.95 2.10 1.15

time (sec)

N/A 0.202 0.024 0.382 0.214 0.252 2.236 0.288 0.173

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 39 100 34 112 53 0

N.S.

1 1.00 0.91 1.11 2.86 0.97 3.20 1.51 0.00

time (sec)

N/A 0.246 1.474 1.303 0.217 0.237 2.918 0.284 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 119 157 0 0 295 0 0 0

N.S.

1 1.14 1.51 0.00 0.00 2.84 0.00 0.00 0.00

time (sec)

N/A 0.465 0.901 0.000 0.000 0.284 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 158 102 172 594 410 0 0 0

N.S.

1 1.24 0.80 1.35 4.68 3.23 0.00 0.00 0.00

time (sec)

N/A 0.794 1.297 1.815 0.264 0.286 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

176 245 194 0 0 162 0 7279 0

N.S.

1 1.39 1.10 0.00 0.00 0.92 0.00 41.36 0.00

time (sec)

N/A 0.914 1.188 0.000 0.000 0.279 0.000 0.714 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

132 179 136 0 0 135 0 3130 0

N.S.

1 1.36 1.03 0.00 0.00 1.02 0.00 23.71 0.00

time (sec)

N/A 1.031 0.756 0.000 0.000 0.263 0.000 0.482 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 101 71 0 0 73 0 997 0

N.S.

1 1.26 0.89 0.00 0.00 0.91 0.00 12.46 0.00

time (sec)

N/A 0.504 1.014 0.000 0.000 0.260 0.000 0.398 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 67 181 119 0 43 0 366 0

N.S.

1 1.20 3.23 2.12 0.00 0.77 0.00 6.54 0.00

time (sec)

N/A 0.437 1.859 2.379 0.000 0.248 0.000 0.343 0.000

Problem 598

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

34 34 22 31 114 23 20 32 22

N.S.

1 1.00 0.65 0.91 3.35 0.68 0.59 0.94 0.65

time (sec)

N/A 0.182 0.224 2.402 0.211 0.231 2.241 0.285 0.268

Problem 599

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

19 19 19 20 19 22 20 40 22

N.S.

1 1.00 1.00 1.05 1.00 1.16 1.05 2.11 1.16

time (sec)

N/A 0.212 0.019 0.573 0.200 0.247 2.242 0.285 0.125

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 31 40 100 36 109 52 0

N.S.

1 1.00 0.94 1.21 3.03 1.09 3.30 1.58 0.00

time (sec)

N/A 0.247 1.005 1.891 0.216 0.258 2.414 0.272 0.000

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