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

Integrals 101 to 171

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

271 275 266 6055 0 0 0 0 212 106783

N.S.

1 1.01 0.98 22.34 0.00 0.00 0.00 0.00 0.78 394.03

time (sec)

N/A 4.418 1.692 0.208 0.000 0.000 0.000 0.000 0.225 52.297

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

372 387 1732 9865 0 0 0 0 0 0

N.S.

1 1.04 4.66 26.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.819 4.318 0.220 0.000 0.000 0.000 0.000 0.388 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

532 563 7678 14441 0 0 0 0 0 0

N.S.

1 1.06 14.43 27.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.250 6.728 0.240 0.000 0.000 0.000 0.000 0.702 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

503 511 564 11346 0 91140 0 0 615 0

N.S.

1 1.02 1.12 22.56 0.00 181.19 0.00 0.00 1.22 0.00

time (sec)

N/A 6.176 6.361 0.540 0.000 160.303 0.000 0.000 0.276 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

353 345 324 7338 0 48734 0 0 416 0

N.S.

1 0.98 0.92 20.79 0.00 138.06 0.00 0.00 1.18 0.00

time (sec)

N/A 3.667 3.516 0.319 0.000 36.787 0.000 0.000 0.236 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

229 208 262 3587 0 10840 0 0 231 5863

N.S.

1 0.91 1.14 15.66 0.00 47.34 0.00 0.00 1.01 25.60

time (sec)

N/A 2.152 1.405 0.187 0.000 1.799 0.000 0.000 0.200 109.008

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 341 322 8698 0 0 0 0 340 0

N.S.

1 1.01 0.96 25.89 0.00 0.00 0.00 0.00 1.01 0.00

time (sec)

N/A 6.430 3.635 0.232 0.000 0.000 0.000 0.000 0.241 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

473 0 6112 14119 0 0 0 0 0 0

N.S.

1 0.00 12.92 29.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.635 0.271 0.000 0.000 0.000 0.000 0.407 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

643 0 2429150 20663 0 0 0 0 0 0

N.S.

1 0.00 3777.84 32.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 123.155 0.374 0.000 0.000 0.000 0.000 0.557 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

407 418 392 5978 0 37247 0 0 399 28858

N.S.

1 1.03 0.96 14.69 0.00 91.52 0.00 0.00 0.98 70.90

time (sec)

N/A 4.741 6.034 0.425 0.000 11.450 0.000 0.000 0.210 104.878

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

287 287 275 5513 0 25627 0 0 310 21254

N.S.

1 1.00 0.96 19.21 0.00 89.29 0.00 0.00 1.08 74.06

time (sec)

N/A 2.929 3.963 0.193 0.000 4.714 0.000 0.000 0.194 38.709

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 185 192 3853 0 13473 0 0 221 16400

N.S.

1 0.95 0.99 19.86 0.00 69.45 0.00 0.00 1.14 84.54

time (sec)

N/A 1.643 0.998 0.202 0.000 1.591 0.000 0.000 0.182 18.061

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 112 129 3463 0 3194 0 0 135 4326

N.S.

1 0.84 0.97 26.04 0.00 24.02 0.00 0.00 1.02 32.53

time (sec)

N/A 0.973 0.151 0.148 0.000 0.237 0.000 0.000 0.174 9.799

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 195 194 13474 0 0 0 0 206 25341

N.S.

1 0.93 0.92 64.16 0.00 0.00 0.00 0.00 0.98 120.67

time (sec)

N/A 2.161 0.285 0.199 0.000 0.000 0.000 0.000 0.207 61.106

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

327 358 338 20870 0 0 0 0 0 225004

N.S.

1 1.09 1.03 63.82 0.00 0.00 0.00 0.00 0.00 688.09

time (sec)

N/A 3.788 4.914 0.227 0.000 0.000 0.000 0.000 0.722 46.475

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

511 512 920 11255 0 0 0 0 1159 0

N.S.

1 1.00 1.80 22.03 0.00 0.00 0.00 0.00 2.27 0.00

time (sec)

N/A 6.251 6.540 0.472 0.000 0.000 0.000 0.000 0.222 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

343 346 476 9399 0 0 0 0 898 54886

N.S.

1 1.01 1.39 27.40 0.00 0.00 0.00 0.00 2.62 160.02

time (sec)

N/A 3.678 6.357 0.224 0.000 0.000 0.000 0.000 0.206 62.014

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 219 290 7396 0 31879 0 0 637 40542

N.S.

1 1.09 1.44 36.80 0.00 158.60 0.00 0.00 3.17 201.70

time (sec)

N/A 1.894 1.756 0.226 0.000 62.605 0.000 0.000 0.196 36.042

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 161 218 5613 0 7982 0 0 384 8588

N.S.

1 1.03 1.39 35.75 0.00 50.84 0.00 0.00 2.45 54.70

time (sec)

N/A 1.193 0.700 0.145 0.000 1.960 0.000 0.000 0.177 15.950

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 309 296 26343 0 0 0 0 0 630337

N.S.

1 1.18 1.13 100.55 0.00 0.00 0.00 0.00 0.00 2405.87

time (sec)

N/A 3.585 3.362 0.223 0.000 0.000 0.000 0.000 0.397 92.286

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

447 515 2078 40619 0 0 0 0 0 0

N.S.

1 1.15 4.65 90.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 6.735 6.269 0.321 0.000 0.000 0.000 0.000 1.095 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

585 605 670 13619 0 0 0 0 0 0

N.S.

1 1.03 1.15 23.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.532 6.589 0.531 0.000 0.000 0.000 0.000 0.246 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

358 388 414 11386 0 0 0 0 0 88684

N.S.

1 1.08 1.16 31.80 0.00 0.00 0.00 0.00 0.00 247.72

time (sec)

N/A 4.095 4.834 0.262 0.000 0.000 0.000 0.000 0.230 110.557

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

273 300 300 8983 0 0 0 0 1243 64641

N.S.

1 1.10 1.10 32.90 0.00 0.00 0.00 0.00 4.55 236.78

time (sec)

N/A 2.507 1.998 0.251 0.000 0.000 0.000 0.000 0.209 83.068

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 231 223 6803 0 13143 0 0 750 14163

N.S.

1 1.11 1.07 32.55 0.00 62.89 0.00 0.00 3.59 67.77

time (sec)

N/A 1.762 0.636 0.168 0.000 7.804 0.000 0.000 0.186 33.504

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

365 444 1948 45119 0 0 0 0 0 0

N.S.

1 1.22 5.34 123.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.917 6.250 0.280 0.000 0.000 0.000 0.000 0.555 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

679 767 6052 67570 0 0 0 0 0 0

N.S.

1 1.13 8.91 99.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 11.405 6.518 0.419 0.000 0.000 0.000 0.000 1.649 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

679 707 1202 0 0 0 0 0 257 0

N.S.

1 1.04 1.77 0.00 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 9.263 8.531 0.000 0.000 0.000 0.000 0.000 0.662 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

505 523 835 0 0 0 0 0 174 0

N.S.

1 1.04 1.65 0.00 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 5.926 7.892 0.000 0.000 0.000 0.000 0.000 0.267 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 389 619 0 0 68078 0 0 96 0

N.S.

1 1.02 1.62 0.00 0.00 178.68 0.00 0.00 0.25 0.00

time (sec)

N/A 3.563 7.139 0.000 0.000 165.288 0.000 0.000 0.215 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

289 292 441 0 0 78051 0 0 132 0

N.S.

1 1.01 1.53 0.00 0.00 270.07 0.00 0.00 0.46 0.00

time (sec)

N/A 2.044 2.894 0.000 0.000 103.585 0.000 0.000 0.192 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 329 412 0 0 0 0 0 1475 0

N.S.

1 1.10 1.37 0.00 0.00 0.00 0.00 0.00 4.92 0.00

time (sec)

N/A 2.448 3.644 0.000 0.000 0.000 0.000 0.000 0.239 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

370 441 424 0 0 0 0 0 0 0

N.S.

1 1.19 1.15 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.207 6.276 0.000 0.000 0.000 0.000 0.000 0.518 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

597 693 1109 0 0 0 0 0 0 0

N.S.

1 1.16 1.86 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.456 6.930 0.000 0.000 0.000 0.000 0.000 2.132 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

683 711 1304 0 0 0 0 0 367 0

N.S.

1 1.04 1.91 0.00 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 9.585 8.155 0.000 0.000 0.000 0.000 0.000 0.811 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

510 524 867 0 0 0 0 0 206 0

N.S.

1 1.03 1.70 0.00 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 5.985 7.920 0.000 0.000 0.000 0.000 0.000 0.290 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

382 393 580 0 0 0 0 0 278 0

N.S.

1 1.03 1.52 0.00 0.00 0.00 0.00 0.00 0.73 0.00

time (sec)

N/A 3.784 6.553 0.000 0.000 0.000 0.000 0.000 0.225 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

382 420 1664 0 0 0 0 0 0 0

N.S.

1 1.10 4.36 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.249 6.802 0.000 0.000 0.000 0.000 0.000 27.646 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

402 457 519 0 0 0 0 0 0 0

N.S.

1 1.14 1.29 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.669 6.471 0.000 0.000 0.000 0.000 0.000 0.464 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

586 678 3134 0 0 0 0 0 0 0

N.S.

1 1.16 5.35 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.704 8.262 0.000 0.000 0.000 0.000 0.000 3.736 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

695 717 1261 0 0 0 0 0 331 0

N.S.

1 1.03 1.81 0.00 0.00 0.00 0.00 0.00 0.48 0.00

time (sec)

N/A 9.394 8.349 180.000 0.000 0.000 0.000 0.000 0.410 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

507 524 780 0 0 0 0 0 439 0

N.S.

1 1.03 1.54 0.00 0.00 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 5.867 7.811 0.000 0.000 0.000 0.000 0.000 0.285 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

535 562 1774 0 0 0 0 0 0 0

N.S.

1 1.05 3.32 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.247 7.609 0.000 0.000 0.000 0.000 0.000 0.396 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

545 603 802 0 0 0 0 0 47 0

N.S.

1 1.11 1.47 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 8.329 6.988 0.000 0.000 0.000 0.000 0.000 200.023 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

590 658 641 0 0 0 0 0 0 0

N.S.

1 1.12 1.09 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 8.507 6.708 0.000 0.000 0.000 0.000 0.000 17.794 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

946 0 2723641 0 0 0 0 0 47 0

N.S.

1 0.00 2879.11 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 0.000 53.154 0.000 0.000 0.000 0.000 0.000 200.020 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

507 524 785 0 0 0 0 0 341 0

N.S.

1 1.03 1.55 0.00 0.00 0.00 0.00 0.00 0.67 0.00

time (sec)

N/A 5.934 7.656 0.000 0.000 0.000 0.000 0.000 0.580 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 392 582 0 0 0 0 0 234 0

N.S.

1 1.03 1.53 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 3.560 4.642 0.000 0.000 0.000 0.000 0.000 0.230 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

290 294 450 0 0 77916 0 0 132 0

N.S.

1 1.01 1.55 0.00 0.00 268.68 0.00 0.00 0.46 0.00

time (sec)

N/A 2.045 4.409 0.000 0.000 127.238 0.000 0.000 0.209 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

237 232 362 0 0 96324 0 0 1189 0

N.S.

1 0.98 1.53 0.00 0.00 406.43 0.00 0.00 5.02 0.00

time (sec)

N/A 1.164 1.450 0.000 0.000 128.693 0.000 0.000 0.242 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 303 264 0 0 0 0 0 1341 0

N.S.

1 1.21 1.05 0.00 0.00 0.00 0.00 0.00 5.34 0.00

time (sec)

N/A 2.318 1.776 0.000 0.000 0.000 0.000 0.000 0.272 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

375 458 388 0 0 0 0 0 0 0

N.S.

1 1.22 1.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.909 4.094 0.000 0.000 0.000 0.000 0.000 0.413 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

528 555 2245 0 0 0 0 0 0 0

N.S.

1 1.05 4.25 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.158 8.190 0.000 0.000 0.000 0.000 0.000 0.574 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

380 417 2141 0 0 0 0 0 47 0

N.S.

1 1.10 5.63 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 4.245 7.018 0.000 0.000 0.000 0.000 0.000 200.025 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 328 403 0 0 0 0 0 1476 0

N.S.

1 1.10 1.35 0.00 0.00 0.00 0.00 0.00 4.94 0.00

time (sec)

N/A 2.458 3.499 0.000 0.000 0.000 0.000 0.000 0.238 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 302 275 0 0 0 0 0 1342 0

N.S.

1 1.20 1.10 0.00 0.00 0.00 0.00 0.00 5.35 0.00

time (sec)

N/A 2.362 2.172 0.000 0.000 0.000 0.000 0.000 0.259 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

383 466 484 0 0 0 0 0 0 0

N.S.

1 1.22 1.26 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.133 6.517 0.000 0.000 0.000 0.000 0.000 0.401 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

598 704 902 0 0 0 0 0 0 0

N.S.

1 1.18 1.51 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.357 6.701 0.000 0.000 0.000 0.000 0.000 0.677 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

549 605 2650 0 0 0 0 0 47 0

N.S.

1 1.10 4.83 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 8.150 8.364 0.000 0.000 0.000 0.000 0.000 200.023 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

407 462 1135 0 0 0 0 0 0 0

N.S.

1 1.14 2.79 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.692 6.713 0.000 0.000 0.000 0.000 0.000 0.389 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 444 434 0 0 0 0 0 0 0

N.S.

1 1.19 1.16 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.146 6.071 0.000 0.000 0.000 0.000 0.000 0.468 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

379 461 403 0 0 0 0 0 0 0

N.S.

1 1.22 1.06 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.041 3.779 0.000 0.000 0.000 0.000 0.000 0.389 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

651 751 903 0 0 0 0 0 0 0

N.S.

1 1.15 1.39 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.492 6.716 0.000 0.000 0.000 0.000 0.000 0.654 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

376 371 0 0 0 0 0 0 102 0

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 1.219 0.000 0.000 0.000 0.000 0.000 0.000 45.277 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

560 580 1390 0 0 0 0 0 335 0

N.S.

1 1.04 2.48 0.00 0.00 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 5.837 6.344 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

363 385 308 0 0 0 0 0 240 0

N.S.

1 1.06 0.85 0.00 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 3.196 5.035 0.000 0.000 0.000 0.000 0.000 0.170 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 262 202 0 0 0 0 0 145 0

N.S.

1 1.06 0.82 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 1.722 2.101 0.000 0.000 0.000 0.000 0.000 0.156 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 178 135 0 0 0 0 0 65 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.886 0.193 0.000 0.000 0.000 0.000 0.000 0.159 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 265 204 0 0 0 0 0 102 0

N.S.

1 1.03 0.79 0.00 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 1.796 0.824 0.000 0.000 0.000 0.000 0.000 0.155 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

403 451 360 0 0 0 0 0 0 0

N.S.

1 1.12 0.89 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.577 6.018 0.000 0.000 0.000 0.000 0.000 0.227 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

702 0 2238 0 0 0 0 0 0 0

N.S.

1 0.00 3.19 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.202 0.000 0.000 0.000 0.000 0.000 0.277 0.000

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