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

Integrals 101 to 151

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

verified

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

size

246 289 193 1200 0 630 0 0 1140 0

N.S.

1 1.17 0.78 4.88 0.00 2.56 0.00 0.00 4.63 0.00

time (sec)

N/A 1.382 0.524 2.248 0.000 1.680 0.000 0.000 0.550 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

331 391 257 2040 0 798 0 0 1509 0

N.S.

1 1.18 0.78 6.16 0.00 2.41 0.00 0.00 4.56 0.00

time (sec)

N/A 2.292 0.864 2.698 0.000 6.227 0.000 0.000 1.235 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

433 494 376 4841 0 952 0 0 40 0

N.S.

1 1.14 0.87 11.18 0.00 2.20 0.00 0.00 0.09 0.00

time (sec)

N/A 2.623 10.867 3.093 0.000 1.057 0.000 0.000 200.062 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

334 382 308 2895 0 754 0 0 558 0

N.S.

1 1.14 0.92 8.67 0.00 2.26 0.00 0.00 1.67 0.00

time (sec)

N/A 1.711 10.685 3.270 0.000 0.495 0.000 0.000 6.067 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

244 267 206 1689 0 582 0 0 377 0

N.S.

1 1.09 0.84 6.92 0.00 2.39 0.00 0.00 1.55 0.00

time (sec)

N/A 0.966 1.352 2.487 0.000 0.277 0.000 0.000 0.321 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 190 143 960 0 447 0 0 230 0

N.S.

1 1.17 0.88 5.89 0.00 2.74 0.00 0.00 1.41 0.00

time (sec)

N/A 0.591 0.379 2.428 0.000 0.164 0.000 0.000 0.237 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 238 560 700 0 1360 0 0 365 0

N.S.

1 1.21 2.84 3.55 0.00 6.90 0.00 0.00 1.85 0.00

time (sec)

N/A 0.801 5.353 2.263 0.000 0.821 0.000 0.000 0.300 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 197 146 785 0 477 0 0 841 0

N.S.

1 1.12 0.83 4.46 0.00 2.71 0.00 0.00 4.78 0.00

time (sec)

N/A 0.705 10.134 2.526 0.000 0.717 0.000 0.000 0.441 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

250 294 194 1281 0 622 0 0 1140 0

N.S.

1 1.18 0.78 5.12 0.00 2.49 0.00 0.00 4.56 0.00

time (sec)

N/A 1.333 10.147 2.342 0.000 1.945 0.000 0.000 0.592 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

340 411 255 2256 0 792 0 0 1509 0

N.S.

1 1.21 0.75 6.64 0.00 2.33 0.00 0.00 4.44 0.00

time (sec)

N/A 2.376 10.209 2.852 0.000 6.834 0.000 0.000 1.296 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

439 525 323 3794 0 992 0 0 1901 0

N.S.

1 1.20 0.74 8.64 0.00 2.26 0.00 0.00 4.33 0.00

time (sec)

N/A 3.744 10.284 2.801 0.000 18.055 0.000 0.000 8.445 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

435 511 388 1923 0 2120 0 0 40 0

N.S.

1 1.17 0.89 4.42 0.00 4.87 0.00 0.00 0.09 0.00

time (sec)

N/A 1.426 1.286 2.879 0.000 4.130 0.000 0.000 200.036 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

356 431 300 1112 0 1782 0 0 1978 0

N.S.

1 1.21 0.84 3.12 0.00 5.01 0.00 0.00 5.56 0.00

time (sec)

N/A 1.194 0.853 2.875 0.000 1.586 0.000 0.000 1.796 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

304 309 218 639 0 1466 0 0 1329 0

N.S.

1 1.02 0.72 2.10 0.00 4.82 0.00 0.00 4.37 0.00

time (sec)

N/A 0.827 0.513 2.437 0.000 1.788 0.000 0.000 0.253 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 126 95 145 0 308 0 0 438 1071

N.S.

1 0.68 0.51 0.78 0.00 1.66 0.00 0.00 2.35 5.76

time (sec)

N/A 0.509 0.217 2.442 0.000 1.466 0.000 0.000 0.205 6.471

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 138 100 149 0 314 0 0 420 499

N.S.

1 1.00 0.72 1.08 0.00 2.28 0.00 0.00 3.04 3.62

time (sec)

N/A 0.478 0.197 2.221 0.000 1.427 0.000 0.000 0.209 6.605

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 121 95 138 0 306 0 0 323 120

N.S.

1 1.00 0.79 1.14 0.00 2.53 0.00 0.00 2.67 0.99

time (sec)

N/A 0.408 0.164 2.303 0.000 1.179 0.000 0.000 0.214 6.093

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 303 217 360 0 1476 0 0 3071 0

N.S.

1 1.06 0.76 1.26 0.00 5.16 0.00 0.00 10.74 0.00

time (sec)

N/A 0.827 0.538 2.345 0.000 3.531 0.000 0.000 0.665 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

397 437 303 716 0 1812 0 0 40 0

N.S.

1 1.10 0.76 1.80 0.00 4.56 0.00 0.00 0.10 0.00

time (sec)

N/A 1.278 0.821 2.604 0.000 10.844 0.000 0.000 200.030 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

512 565 390 1354 0 2162 0 0 5923 0

N.S.

1 1.10 0.76 2.64 0.00 4.22 0.00 0.00 11.57 0.00

time (sec)

N/A 1.682 1.240 2.685 0.000 23.672 0.000 0.000 3.421 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

657 708 493 2409 0 2526 0 0 7071 0

N.S.

1 1.08 0.75 3.67 0.00 3.84 0.00 0.00 10.76 0.00

time (sec)

N/A 2.173 1.598 3.505 0.000 51.267 0.000 0.000 20.926 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

462 653 396 1344 0 2630 0 4520 40 0

N.S.

1 1.41 0.86 2.91 0.00 5.69 0.00 9.78 0.09 0.00

time (sec)

N/A 2.228 1.204 3.197 0.000 4.001 0.000 1.850 200.034 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

410 404 300 868 0 2224 0 4572 2483 0

N.S.

1 0.99 0.73 2.12 0.00 5.42 0.00 11.15 6.06 0.00

time (sec)

N/A 0.928 0.724 2.835 0.000 4.798 0.000 0.274 37.319 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

240 362 123 227 0 495 0 4068 935 3963

N.S.

1 1.51 0.51 0.95 0.00 2.06 0.00 16.95 3.90 16.51

time (sec)

N/A 1.544 0.252 2.612 0.000 3.847 0.000 0.246 30.432 7.993

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 287 157 249 0 518 0 4176 828 3062

N.S.

1 1.28 0.70 1.11 0.00 2.30 0.00 18.56 3.68 13.61

time (sec)

N/A 0.905 0.247 2.379 0.000 3.880 0.000 0.240 0.442 7.417

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 213 154 244 0 517 0 4167 713 1844

N.S.

1 1.02 0.74 1.17 0.00 2.47 0.00 19.94 3.41 8.82

time (sec)

N/A 0.634 0.228 2.374 0.000 3.604 0.000 0.227 0.268 7.091

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 196 136 216 0 494 0 3930 561 1005

N.S.

1 1.08 0.75 1.19 0.00 2.73 0.00 21.71 3.10 5.55

time (sec)

N/A 0.523 0.217 2.637 0.000 3.409 0.000 0.220 0.285 6.611

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

389 481 300 590 0 2234 0 998 40 0

N.S.

1 1.24 0.77 1.52 0.00 5.74 0.00 2.57 0.10 0.00

time (sec)

N/A 1.240 0.727 2.696 0.000 9.494 0.000 0.186 200.035 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

515 760 399 943 0 2662 0 4890 7938 0

N.S.

1 1.48 0.77 1.83 0.00 5.17 0.00 9.50 15.41 0.00

time (sec)

N/A 1.855 1.196 3.019 0.000 23.564 0.000 0.293 20.655 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

530 527 421 1180 0 3186 0 0 40 0

N.S.

1 0.99 0.79 2.23 0.00 6.01 0.00 0.00 0.08 0.00

time (sec)

N/A 1.130 1.088 3.244 0.000 12.951 0.000 0.000 200.030 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

306 529 160 323 0 735 0 0 40 13455

N.S.

1 1.73 0.52 1.06 0.00 2.40 0.00 0.00 0.13 43.97

time (sec)

N/A 2.441 0.306 3.270 0.000 11.183 0.000 0.000 200.068 12.163

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

355 444 227 361 0 770 0 0 1359 11309

N.S.

1 1.25 0.64 1.02 0.00 2.17 0.00 0.00 3.83 31.86

time (sec)

N/A 1.696 0.284 2.651 0.000 11.929 0.000 0.000 141.203 11.489

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

310 362 235 373 0 785 0 0 1240 5771

N.S.

1 1.17 0.76 1.20 0.00 2.53 0.00 0.00 4.00 18.62

time (sec)

N/A 1.077 0.301 2.750 0.000 10.795 0.000 0.000 7.698 8.435

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 288 221 351 0 770 0 0 1067 3635

N.S.

1 1.01 0.78 1.24 0.00 2.71 0.00 0.00 3.76 12.80

time (sec)

N/A 0.771 0.281 2.793 0.000 10.906 0.000 0.000 0.415 7.873

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 271 193 307 0 733 0 0 852 2121

N.S.

1 1.12 0.80 1.27 0.00 3.04 0.00 0.00 3.54 8.80

time (sec)

N/A 0.683 0.350 3.039 0.000 9.001 0.000 0.000 0.319 7.482

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

504 727 421 901 0 3196 0 0 8301 0

N.S.

1 1.44 0.84 1.79 0.00 6.34 0.00 0.00 16.47 0.00

time (sec)

N/A 1.719 1.044 3.081 0.000 22.885 0.000 0.000 16.548 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

647 1011 505 1254 0 3694 0 0 40 0

N.S.

1 1.56 0.78 1.94 0.00 5.71 0.00 0.00 0.06 0.00

time (sec)

N/A 2.380 1.624 3.720 0.000 52.430 0.000 0.000 200.029 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 436 333 2901 0 1826 0 0 2091 0

N.S.

1 1.17 0.89 7.78 0.00 4.90 0.00 0.00 5.61 0.00

time (sec)

N/A 1.257 0.962 3.054 0.000 2.256 0.000 0.000 1.143 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 314 231 1777 0 1514 0 0 1395 0

N.S.

1 1.11 0.81 6.26 0.00 5.33 0.00 0.00 4.91 0.00

time (sec)

N/A 0.835 0.504 2.337 0.000 2.283 0.000 0.000 0.332 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 123 95 152 0 318 0 0 498 1114

N.S.

1 1.00 0.77 1.24 0.00 2.59 0.00 0.00 4.05 9.06

time (sec)

N/A 0.470 0.213 2.428 0.000 1.865 0.000 0.000 0.255 6.709

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 143 94 156 0 324 0 0 464 509

N.S.

1 1.00 0.66 1.09 0.00 2.27 0.00 0.00 3.24 3.56

time (sec)

N/A 0.481 0.195 2.131 0.000 1.891 0.000 0.000 0.247 6.612

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 118 90 146 0 316 0 0 346 120

N.S.

1 1.00 0.76 1.24 0.00 2.68 0.00 0.00 2.93 1.02

time (sec)

N/A 0.399 0.169 2.202 0.000 1.568 0.000 0.000 0.273 6.324

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

255 307 230 589 0 1524 0 0 3117 0

N.S.

1 1.20 0.90 2.31 0.00 5.98 0.00 0.00 12.22 0.00

time (sec)

N/A 0.812 0.496 2.196 0.000 4.726 0.000 0.000 0.926 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

369 442 335 1090 0 1856 0 0 38 0

N.S.

1 1.20 0.91 2.95 0.00 5.03 0.00 0.00 0.10 0.00

time (sec)

N/A 1.228 0.985 2.244 0.000 14.627 0.000 0.000 200.062 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

393 265 235 366 0 820 0 0 1349 3099

N.S.

1 0.67 0.60 0.93 0.00 2.09 0.00 0.00 3.43 7.89

time (sec)

N/A 0.737 0.331 2.682 0.000 15.568 0.000 0.000 8.039 7.058

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 93 172 0 0 0 0 0 0 0

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.435 0.534 0.000 0.000 0.000 0.000 0.000 2.753 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 91 120 0 0 0 0 0 0 0

N.S.

1 1.00 1.32 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.397 0.387 0.000 0.000 0.000 0.000 0.000 1.446 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 78 0 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.371 0.324 0.000 0.000 0.000 0.000 0.000 0.415 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 93 80 0 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.412 0.393 0.000 0.000 0.000 0.000 0.000 0.664 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 93 81 0 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.415 0.402 0.000 0.000 0.000 0.000 0.000 0.646 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 93 0 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.360 0.000 0.000 0.000 0.000 0.000 0.859 0.000

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