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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 173 0 0 204 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 1.01 0.00 0.00 -0.00

time (sec)

N/A 0.080 0.452 0.039 0.000 0.372 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 123 0 0 113 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.80 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.240 0.039 0.000 0.375 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 73 0 0 51 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.63 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.185 0.040 0.000 0.384 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 0 0 18 36 18 18

N.S.

1 1.00 1.00 0.00 0.00 0.90 1.80 0.90 0.90

time (sec)

N/A 0.038 0.022 0.041 0.000 0.355 0.959 3.546 3.193

Problem 505

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

63 63 65 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.048 0.077 0.039 0.000 0.000 0.000 0.000 0.000

Problem 506

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

63 63 65 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.048 0.094 0.041 0.000 0.000 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 280 0 0 570 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 1.56 0.00 0.00 -0.00

time (sec)

N/A 0.327 6.918 0.074 0.000 0.434 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 186 0 0 224 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.177 1.587 0.006 0.000 0.417 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 89 0 0 80 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.065 1.038 0.005 0.000 0.383 0.000 0.000 0.000

Problem 510

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

122 122 112 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.200 2.471 0.092 0.000 0.000 0.000 0.000 0.000

Problem 511

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

122 122 112 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.177 1.426 0.092 0.000 0.000 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 89 0 0 80 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.029 0.006 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 F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 112 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.329 0.029 0.091 0.000 0.000 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 228 0 0 346 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 1.16 0.00 0.00 -0.00

time (sec)

N/A 0.282 6.544 0.097 0.000 0.391 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 135 0 0 124 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.73 0.00 0.00 -0.01

time (sec)

N/A 0.222 2.443 0.088 0.000 0.367 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 36 0 0 41 0 0 41

N.S.

1 1.00 0.88 0.00 0.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.170 0.235 0.090 0.000 0.347 0.000 0.000 3.084

Problem 517

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

122 122 112 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.209 3.620 0.086 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 36 0 0 41 0 0 39

N.S.

1 1.00 0.88 0.00 0.00 1.00 0.00 0.00 0.95

time (sec)

N/A 0.308 0.013 0.089 0.000 0.347 0.000 0.000 3.076

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 175 0 0 223 0 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.68 0.00 0.00 -0.00

time (sec)

N/A 0.418 0.167 0.092 0.000 0.388 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 76 0 0 117 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.354 0.040 0.088 0.000 0.365 0.000 0.000 0.000

Problem 521

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

177 177 152 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.390 0.134 0.091 0.000 0.000 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 76 0 0 117 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.482 0.016 0.089 0.000 0.360 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 772 339 0 0 0 0 -1

N.S.

1 1.00 4.04 1.77 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.336 3.926 0.251 0.000 0.000 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 191 193 0 150 70 0 50

N.S.

1 1.00 2.36 2.38 0.00 1.85 0.86 0.00 0.62

time (sec)

N/A 0.042 0.079 0.059 0.000 0.406 0.330 0.000 3.113

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 233 193 0 152 63 0 28

N.S.

1 1.00 3.19 2.64 0.00 2.08 0.86 0.00 0.38

time (sec)

N/A 0.031 0.092 0.053 0.000 0.396 0.324 0.000 3.141

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 87 70 0 154 70 69 54

N.S.

1 1.00 2.29 1.84 0.00 4.05 1.84 1.82 1.42

time (sec)

N/A 0.044 0.042 0.036 0.000 0.434 0.374 4.315 3.315

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 87 72 0 156 63 65 67

N.S.

1 1.00 2.29 1.89 0.00 4.11 1.66 1.71 1.76

time (sec)

N/A 0.043 0.041 0.037 0.000 0.427 0.403 4.334 3.118

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B F A F F B

verified

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

size

38 38 0 78 0 146 0 0 196

N.S.

1 1.00 0.00 2.05 0.00 3.84 0.00 0.00 5.16

time (sec)

N/A 0.066 0.248 0.044 0.000 0.420 0.000 0.000 3.419

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B F A F F B

verified

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

size

38 38 0 72 0 146 0 0 139

N.S.

1 1.00 0.00 1.89 0.00 3.84 0.00 0.00 3.66

time (sec)

N/A 0.063 0.250 0.044 0.000 0.469 0.000 0.000 5.302

Problem 530

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

42 42 42 42 35 147 78 38 42

N.S.

1 1.00 1.00 1.00 0.83 3.50 1.86 0.90 1.00

time (sec)

N/A 0.048 0.017 0.031 0.515 0.355 0.382 8.134 3.100

Problem 531

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

44 44 46 42 70 160 75 41 199

N.S.

1 1.00 1.05 0.95 1.59 3.64 1.70 0.93 4.52

time (sec)

N/A 0.049 0.017 0.023 0.510 0.361 0.379 6.919 3.107

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 85 74 0 212 90 73 278

N.S.

1 1.00 2.12 1.85 0.00 5.30 2.25 1.82 6.95

time (sec)

N/A 0.085 0.034 0.100 0.000 0.363 0.689 5.749 3.209

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 85 77 0 215 80 69 30

N.S.

1 1.00 2.12 1.92 0.00 5.38 2.00 1.72 0.75

time (sec)

N/A 0.084 0.036 0.101 0.000 0.362 0.695 6.520 3.143

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 61 42 78 0 148 0 0 -1

N.S.

1 1.45 1.00 1.86 0.00 3.52 0.00 0.00 -0.02

time (sec)

N/A 0.148 0.943 0.056 0.000 0.360 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 61 42 74 0 148 0 0 -1

N.S.

1 1.45 1.00 1.76 0.00 3.52 0.00 0.00 -0.02

time (sec)

N/A 0.154 0.246 0.056 0.000 0.361 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 86 74 0 154 73 73 233

N.S.

1 1.00 2.15 1.85 0.00 3.85 1.82 1.82 5.82

time (sec)

N/A 0.060 0.034 0.040 0.000 0.372 0.651 5.180 3.488

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 86 74 0 156 66 69 67

N.S.

1 1.00 2.15 1.85 0.00 3.90 1.65 1.72 1.68

time (sec)

N/A 0.074 0.032 0.038 0.000 0.357 0.660 5.090 3.381

Problem 538

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

42 42 42 42 35 147 78 38 42

N.S.

1 1.00 1.00 1.00 0.83 3.50 1.86 0.90 1.00

time (sec)

N/A 0.046 0.015 0.023 0.518 0.358 0.479 4.547 3.433

Problem 539

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

44 44 46 42 70 160 75 41 923

N.S.

1 1.00 1.05 0.95 1.59 3.64 1.70 0.93 20.98

time (sec)

N/A 0.046 0.016 0.023 0.515 0.362 0.478 5.463 3.527

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 78 0 148 0 0 -1

N.S.

1 1.00 1.00 1.86 0.00 3.52 0.00 0.00 -0.02

time (sec)

N/A 0.154 2.283 0.034 0.000 0.370 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 74 0 148 0 0 -1

N.S.

1 1.00 1.00 1.76 0.00 3.52 0.00 0.00 -0.02

time (sec)

N/A 0.145 0.419 0.034 0.000 0.388 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B F A F F F

verified

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

size

42 42 0 84 0 167 0 0 -1

N.S.

1 1.00 0.00 2.00 0.00 3.98 0.00 0.00 -0.02

time (sec)

N/A 0.172 0.431 0.055 0.000 0.386 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F B F A F F F

verified

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

size

42 42 0 78 0 167 0 0 -1

N.S.

1 1.00 0.00 1.86 0.00 3.98 0.00 0.00 -0.02

time (sec)

N/A 0.164 0.438 0.055 0.000 0.359 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 125 4947 125 233 0 155 167

N.S.

1 1.00 0.93 36.92 0.93 1.74 0.00 1.16 1.25

time (sec)

N/A 0.252 0.164 0.057 0.273 0.377 0.000 4.000 3.644

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 66 3410 62 161 88 72 123

N.S.

1 1.00 0.96 49.42 0.90 2.33 1.28 1.04 1.78

time (sec)

N/A 0.146 0.053 0.037 0.286 0.372 2.875 4.942 3.498

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 26 1931 21 105 29 22 45

N.S.

1 1.00 1.13 83.96 0.91 4.57 1.26 0.96 1.96

time (sec)

N/A 0.058 0.022 0.034 0.284 0.370 1.938 3.328 3.469

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 69 2175 0 316 88 94 1270

N.S.

1 1.00 0.78 24.72 0.00 3.59 1.00 1.07 14.43

time (sec)

N/A 0.170 0.075 0.040 0.000 0.421 3.845 3.411 3.948

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 139 2459 0 530 0 210 2500

N.S.

1 1.00 0.92 16.28 0.00 3.51 0.00 1.39 16.56

time (sec)

N/A 0.243 0.212 0.050 0.000 0.771 0.000 2.891 5.563

Problem 549

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

147 147 99 3485 0 1168 0 0 -1

N.S.

1 1.00 0.67 23.71 0.00 7.95 0.00 0.00 -0.01

time (sec)

N/A 0.164 0.257 0.042 0.000 0.490 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 63 1995 0 510 0 107 -1

N.S.

1 1.00 0.61 19.37 0.00 4.95 0.00 1.04 -0.01

time (sec)

N/A 0.047 0.202 0.034 0.000 0.376 0.000 3.738 0.000

Problem 551

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

160 160 105 2289 0 581 0 211 -1

N.S.

1 1.00 0.66 14.31 0.00 3.63 0.00 1.32 -0.01

time (sec)

N/A 0.167 0.351 0.042 0.000 0.419 0.000 3.140 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 125 647 125 191 0 156 200

N.S.

1 1.00 0.89 4.62 0.89 1.36 0.00 1.11 1.43

time (sec)

N/A 0.214 0.161 0.177 0.294 0.386 0.000 3.189 3.740

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 66 555 62 118 95 72 119

N.S.

1 1.00 0.90 7.60 0.85 1.62 1.30 0.99 1.63

time (sec)

N/A 0.139 0.054 0.070 0.275 0.348 3.205 3.685 3.564

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 29 501 22 61 32 23 60

N.S.

1 1.00 1.12 19.27 0.85 2.35 1.23 0.88 2.31

time (sec)

N/A 0.078 0.027 0.066 0.279 0.382 1.999 3.235 3.508

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 69 621 0 232 97 94 156

N.S.

1 1.00 0.74 6.68 0.00 2.49 1.04 1.01 1.68

time (sec)

N/A 0.154 0.072 0.240 0.000 0.379 4.233 3.730 4.308

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 139 774 0 445 0 211 248

N.S.

1 1.00 0.90 5.03 0.00 2.89 0.00 1.37 1.61

time (sec)

N/A 0.211 0.199 0.206 0.000 0.447 0.000 4.203 5.463

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 296 1421 0 0 0 0 -1

N.S.

1 1.00 0.95 4.57 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.340 10.323 0.087 0.000 0.000 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

304 304 0 1505 0 0 0 0 -1

N.S.

1 1.00 0.00 4.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.207 10.105 0.086 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

300 300 0 1201 0 0 0 0 -1

N.S.

1 1.00 0.00 4.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.185 10.047 0.066 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 496 2227 0 0 0 0 -1

N.S.

1 1.00 1.55 6.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.277 10.445 0.135 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

324 324 604 1771 0 0 0 0 -1

N.S.

1 1.00 1.86 5.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 13.349 0.092 0.000 0.000 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

135 135 320 0 0 0 0 0 -1

N.S.

1 1.00 2.37 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.489 0.004 0.000 0.000 0.000 0.000 0.000

Problem 563

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

167 167 156 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.361 0.007 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 32 0 61 25 32 26 25

N.S.

1 1.00 1.19 0.00 2.26 0.93 1.19 0.96 0.93

time (sec)

N/A 0.072 0.047 0.007 0.278 0.328 15.586 3.309 3.346

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.004 0.010 0.204 0.477 0.348 0.071 4.210 0.047

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 13 10 21 21 26 22 9

N.S.

1 1.00 1.00 0.77 1.62 1.62 2.00 1.69 0.69

time (sec)

N/A 0.006 0.020 0.205 0.490 0.356 0.116 4.141 3.080

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

27 27 25 20 19 19 22 20 19

N.S.

1 1.00 0.93 0.74 0.70 0.70 0.81 0.74 0.70

time (sec)

N/A 0.008 0.018 0.203 0.281 0.330 0.073 4.441 3.103

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 33 92 24 24 0 24 24

N.S.

1 1.00 1.03 2.88 0.75 0.75 0.00 0.75 0.75

time (sec)

N/A 0.010 0.023 0.197 0.271 0.342 0.000 3.903 0.030

Problem 569

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

25 25 25 20 19 19 22 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.88 0.76 0.76

time (sec)

N/A 0.008 0.016 0.197 0.263 0.319 0.072 5.036 0.032

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

20 20 18 15 14 14 15 15 14

N.S.

1 1.00 0.90 0.75 0.70 0.70 0.75 0.75 0.70

time (sec)

N/A 0.007 0.011 0.202 0.279 0.343 0.050 4.526 0.077

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

62 62 62 46 45 47 68 45 73

N.S.

1 1.00 1.00 0.74 0.73 0.76 1.10 0.73 1.18

time (sec)

N/A 0.026 0.041 0.204 0.497 0.345 0.182 4.072 3.076

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 72 173 49 49 0 49 49

N.S.

1 1.00 0.99 2.37 0.67 0.67 0.00 0.67 0.67

time (sec)

N/A 0.020 0.033 0.208 0.298 0.343 0.000 4.360 0.036

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

size

130 130 117 83 82 76 0 82 82

N.S.

1 1.00 0.90 0.64 0.63 0.58 0.00 0.63 0.63

time (sec)

N/A 0.032 0.042 0.216 0.277 0.362 0.000 4.477 0.153

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 126 172 272 638 0 139 223

N.S.

1 1.00 0.63 0.86 1.36 3.19 0.00 0.70 1.12

time (sec)

N/A 0.278 0.049 0.211 0.522 1.147 0.000 4.248 0.122

Problem 575

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.004 0.010 0.204 0.511 0.344 0.173 3.613 0.139

Problem 576

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

19 19 19 16 15 15 17 15 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.89 0.79 0.79

time (sec)

N/A 0.012 0.012 0.229 0.274 0.394 0.057 3.304 0.042

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 62 66 83 120 0 83 42

N.S.

1 1.00 0.57 0.61 0.77 1.11 0.00 0.77 0.39

time (sec)

N/A 0.054 0.079 0.299 0.498 0.350 0.000 3.431 0.085

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

size

76 76 83 61 60 62 0 60 78

N.S.

1 1.00 1.09 0.80 0.79 0.82 0.00 0.79 1.03

time (sec)

N/A 0.024 0.047 0.313 0.508 0.350 0.000 4.304 3.080

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 110 76 75 71 0 75 75

N.S.

1 1.00 0.92 0.64 0.63 0.60 0.00 0.63 0.63

time (sec)

N/A 0.030 0.032 0.301 0.286 0.353 0.000 4.175 0.152

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 127 166 293 547 0 140 208

N.S.

1 1.00 0.63 0.83 1.46 2.72 0.00 0.70 1.03

time (sec)

N/A 0.157 0.047 0.318 0.524 1.165 0.000 4.465 0.061

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 35 36 15 44 0 0 32

N.S.

1 1.00 0.97 1.00 0.42 1.22 0.00 0.00 0.89

time (sec)

N/A 0.024 1.008 0.306 0.321 0.349 0.000 0.000 3.257

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 27 5 35 0 76 23

N.S.

1 1.00 1.00 0.93 0.17 1.21 0.00 2.62 0.79

time (sec)

N/A 0.022 9.307 0.339 0.319 0.329 0.000 5.050 3.096

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 27 27 5 35 0 56 23

N.S.

1 1.00 0.93 0.93 0.17 1.21 0.00 1.93 0.79

time (sec)

N/A 0.015 5.941 0.295 0.304 0.339 0.000 4.681 3.064

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 24 25 5 33 0 51 21

N.S.

1 1.00 0.96 1.00 0.20 1.32 0.00 2.04 0.84

time (sec)

N/A 0.009 4.779 0.293 0.318 0.327 0.000 4.297 3.044

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 24 5 32 0 42 20

N.S.

1 1.00 1.00 1.00 0.21 1.33 0.00 1.75 0.83

time (sec)

N/A 0.021 1.684 0.296 0.305 0.320 0.000 4.076 3.079

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 26 27 5 35 0 60 23

N.S.

1 1.00 0.90 0.93 0.17 1.21 0.00 2.07 0.79

time (sec)

N/A 0.021 3.454 0.317 0.317 0.330 0.000 3.427 3.102

Problem 587

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

80 80 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.040 0.118 0.049 0.000 0.000 0.000 0.000 0.000

Problem 588

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

138 138 112 0 0 0 121 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.88 0.00 -0.01

time (sec)

N/A 0.083 0.155 0.026 0.000 0.000 12.597 0.000 0.000

Problem 589

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

79 79 73 0 0 0 75 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.95 0.00 -0.01

time (sec)

N/A 0.028 0.099 0.009 0.000 0.000 2.671 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 50 0 0 0 34 0 51

N.S.

1 1.00 1.25 0.00 0.00 0.00 0.85 0.00 1.28

time (sec)

N/A 0.008 0.041 0.008 0.000 0.000 0.647 0.000 3.135

Problem 591

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

101 101 97 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.136 0.036 0.000 0.000 0.000 0.000 0.000

Problem 592

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

56 56 57 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.114 0.034 0.000 0.000 0.000 0.000 0.000

Problem 593

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

112 112 99 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.156 0.047 0.000 0.000 0.000 0.000 0.000

Problem 594

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.125 0.222 0.058 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 35 8 44 0 0 29

N.S.

1 1.00 1.00 1.06 0.24 1.33 0.00 0.00 0.88

time (sec)

N/A 0.021 0.059 0.390 0.292 0.374 0.000 0.000 3.358

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 32 31 5 41 0 15 25

N.S.

1 1.00 1.03 1.00 0.16 1.32 0.00 0.48 0.81

time (sec)

N/A 0.023 0.033 0.342 0.302 0.355 0.000 4.731 3.137

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 30 7 41 0 0 27

N.S.

1 1.00 1.00 1.07 0.25 1.46 0.00 0.00 0.96

time (sec)

N/A 0.017 0.044 0.329 0.284 0.378 0.000 0.000 3.105

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 30 4 51 0 0 -1

N.S.

1 1.00 1.00 1.07 0.14 1.82 0.00 0.00 -0.04

time (sec)

N/A 0.012 0.053 0.329 0.289 0.351 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 28 7 41 0 0 22

N.S.

1 1.00 1.00 1.08 0.27 1.58 0.00 0.00 0.85

time (sec)

N/A 0.021 0.045 0.298 0.294 0.328 0.000 0.000 3.345

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 31 5 44 0 5 25

N.S.

1 1.00 1.00 1.00 0.16 1.42 0.00 0.16 0.81

time (sec)

N/A 0.022 0.053 0.339 0.281 0.416 0.000 3.701 3.465

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