2.2.4 Integrals 301 to 400

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 55 0 25 25

N.S.

1 1.00 1.08 0.92 0.00 2.20 0.00 1.00 1.00

time (sec)

N/A 0.390 91.049 0.112 0.000 0.256 0.000 0.835 0.318

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 83 22 25 25

N.S.

1 1.00 1.08 0.92 0.00 3.32 0.88 1.00 1.00

time (sec)

N/A 0.404 49.627 1.302 0.000 0.262 20.422 0.547 0.286

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 97 22 25 25

N.S.

1 1.00 1.08 0.92 0.00 3.88 0.88 1.00 1.00

time (sec)

N/A 0.406 45.152 0.532 0.000 0.263 30.894 0.558 0.290

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 71 22 25 25

N.S.

1 1.00 1.08 0.92 0.00 2.84 0.88 1.00 1.00

time (sec)

N/A 0.397 164.931 0.389 0.000 0.277 73.332 1.749 0.358

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 71 0 25 25

N.S.

1 1.00 1.08 0.92 0.00 2.84 0.00 1.00 1.00

time (sec)

N/A 0.384 15.470 0.088 0.000 0.270 0.000 1.251 0.365

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 99 22 25 25

N.S.

1 1.00 1.08 0.92 0.00 3.96 0.88 1.00 1.00

time (sec)

N/A 0.396 27.877 1.358 0.000 0.262 26.310 0.730 0.294

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 0 113 22 25 25

N.S.

1 1.00 1.08 0.92 0.00 4.52 0.88 1.00 1.00

time (sec)

N/A 0.403 10.788 0.798 0.000 0.265 40.213 0.770 0.290

Problem 308

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

23 23 25 23 618 71 20 25 25

N.S.

1 1.00 1.09 1.00 26.87 3.09 0.87 1.09 1.09

time (sec)

N/A 0.405 1.607 2.296 10.102 0.268 52.553 0.507 0.415

Problem 309

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

23 23 25 23 469 55 20 25 25

N.S.

1 1.00 1.09 1.00 20.39 2.39 0.87 1.09 1.09

time (sec)

N/A 0.399 0.813 2.171 7.430 0.265 20.491 0.470 0.409

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

183 176 151 0 0 0 0 0 0

N.S.

1 0.96 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.414 0.078 0.000 0.000 0.000 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

89 87 77 0 0 0 0 0 0

N.S.

1 0.98 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 312

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

23 23 25 23 25 25 19 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.83 1.09 1.09

time (sec)

N/A 0.243 0.459 4.290 0.394 0.259 1.016 0.377 0.245

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 126 133 215 0 110 0 162 0

N.S.

1 0.93 0.99 1.59 0.00 0.81 0.00 1.20 0.00

time (sec)

N/A 0.616 0.089 1.846 0.000 0.275 0.000 0.344 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 105 116 179 0 91 0 125 0

N.S.

1 0.95 1.05 1.61 0.00 0.82 0.00 1.13 0.00

time (sec)

N/A 0.418 0.075 1.751 0.000 0.247 0.000 0.341 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 58 64 96 240 63 0 79 0

N.S.

1 0.92 1.02 1.52 3.81 1.00 0.00 1.25 0.00

time (sec)

N/A 0.287 0.043 1.502 0.313 0.256 0.000 0.299 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 24 23 0 0 0 27 0

N.S.

1 0.94 0.77 0.74 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 0.341 0.057 1.792 0.000 0.000 0.000 0.313 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 37 46 42 0 0 0 44 0

N.S.

1 0.95 1.18 1.08 0.00 0.00 0.00 1.13 0.00

time (sec)

N/A 0.418 0.046 1.755 0.000 0.000 0.000 0.349 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 68 88 61 0 0 0 84 0

N.S.

1 0.96 1.24 0.86 0.00 0.00 0.00 1.18 0.00

time (sec)

N/A 0.387 0.211 1.744 0.000 0.000 0.000 0.359 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 104 117 81 0 0 0 128 0

N.S.

1 0.90 1.02 0.70 0.00 0.00 0.00 1.11 0.00

time (sec)

N/A 0.741 0.073 1.707 0.000 0.000 0.000 0.368 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 313 272 628 0 243 694 296 0

N.S.

1 1.28 1.11 2.56 0.00 0.99 2.83 1.21 0.00

time (sec)

N/A 1.460 0.150 2.599 0.000 0.268 1.276 0.365 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 238 216 515 0 185 568 227 0

N.S.

1 1.20 1.09 2.59 0.00 0.93 2.85 1.14 0.00

time (sec)

N/A 0.675 0.125 2.621 0.000 0.252 0.899 0.370 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 120 129 280 402 125 298 141 0

N.S.

1 1.09 1.17 2.55 3.65 1.14 2.71 1.28 0.00

time (sec)

N/A 0.424 0.055 1.991 0.304 0.263 0.619 0.350 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 42 37 36 0 0 0 41 0

N.S.

1 0.89 0.79 0.77 0.00 0.00 0.00 0.87 0.00

time (sec)

N/A 0.366 0.517 1.787 0.000 0.000 0.000 0.341 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 70 70 0 0 0 61 0

N.S.

1 1.00 1.23 1.23 0.00 0.00 0.00 1.07 0.00

time (sec)

N/A 0.429 0.235 1.779 0.000 0.000 0.000 0.346 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 114 110 108 0 0 0 101 0

N.S.

1 1.27 1.22 1.20 0.00 0.00 0.00 1.12 0.00

time (sec)

N/A 0.928 0.253 1.881 0.000 0.000 0.000 0.374 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 173 143 148 0 0 0 163 0

N.S.

1 1.12 0.92 0.95 0.00 0.00 0.00 1.05 0.00

time (sec)

N/A 1.358 0.240 1.839 0.000 0.000 0.000 0.403 0.000

Problem 327

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

19 19 19 20 0 22 60 19 37

N.S.

1 1.00 1.00 1.05 0.00 1.16 3.16 1.00 1.95

time (sec)

N/A 0.266 0.023 1.882 0.000 0.264 0.445 0.292 0.527

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 130 13 26 13 13

N.S.

1 1.00 1.00 0.93 8.67 0.87 1.73 0.87 0.87

time (sec)

N/A 0.254 0.017 1.759 0.295 0.247 0.297 0.325 0.303

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 83 13 24 13 13

N.S.

1 1.00 1.00 0.93 5.53 0.87 1.60 0.87 0.87

time (sec)

N/A 0.230 0.015 1.760 0.284 0.260 0.248 0.298 0.298

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 0 13 22 12 11

N.S.

1 1.00 1.00 1.09 0.00 1.18 2.00 1.09 1.00

time (sec)

N/A 0.261 0.028 1.687 0.000 0.235 0.279 0.307 0.301

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 33 13 26 13 13

N.S.

1 1.00 1.00 1.08 2.54 1.00 2.00 1.00 1.00

time (sec)

N/A 0.253 0.014 1.816 0.611 0.241 0.461 0.359 0.289

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 33 13 29 13 13

N.S.

1 1.00 1.00 0.93 2.20 0.87 1.93 0.87 0.87

time (sec)

N/A 0.250 0.014 1.817 17.146 0.227 0.653 0.360 0.271

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 132 144 229 137 0 0 0 0

N.S.

1 1.03 1.12 1.79 1.07 0.00 0.00 0.00 0.00

time (sec)

N/A 0.649 0.444 3.266 0.477 0.000 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

97 97 114 189 0 0 0 0 0

N.S.

1 1.00 1.18 1.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.539 0.260 2.885 0.000 0.000 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 66 155 160 99 0 83 0

N.S.

1 0.96 1.32 3.10 3.20 1.98 0.00 1.66 0.00

time (sec)

N/A 0.268 0.077 2.000 0.333 0.261 0.000 0.324 0.000

Problem 336

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 31 33 87 27 33 33

N.S.

1 1.00 1.06 0.94 1.00 2.64 0.82 1.00 1.00

time (sec)

N/A 0.284 0.847 2.743 0.439 0.241 3.319 0.390 0.244

Problem 337

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 31 195 87 29 33 33

N.S.

1 1.00 1.06 0.94 5.91 2.64 0.88 1.00 1.00

time (sec)

N/A 0.366 8.401 2.747 6.528 0.246 3.240 0.431 0.250

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 80 206 0 0 0 0

N.S.

1 1.00 1.00 1.74 4.48 0.00 0.00 0.00 0.00

time (sec)

N/A 0.339 0.066 0.954 0.288 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 54 80 200 0 0 0 0

N.S.

1 1.00 1.17 1.74 4.35 0.00 0.00 0.00 0.00

time (sec)

N/A 0.267 0.062 0.887 0.308 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 86 60 71 76 65 90 140 0

N.S.

1 1.02 0.71 0.85 0.90 0.77 1.07 1.67 0.00

time (sec)

N/A 0.247 0.044 0.109 0.335 0.248 1.484 0.260 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 94 87 95 130 65 85 110 0

N.S.

1 1.15 1.06 1.16 1.59 0.79 1.04 1.34 0.00

time (sec)

N/A 0.237 0.026 0.141 0.306 0.252 0.936 0.260 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 65 70 62 59 55 65 87 0

N.S.

1 1.05 1.13 1.00 0.95 0.89 1.05 1.40 0.00

time (sec)

N/A 0.222 0.031 0.128 0.323 0.259 0.468 0.263 0.000

Problem 343

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

57 62 62 74 88 53 60 59 50

N.S.

1 1.09 1.09 1.30 1.54 0.93 1.05 1.04 0.88

time (sec)

N/A 0.211 0.020 0.109 0.297 0.250 0.280 0.263 0.362

Problem 344

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

45 40 43 38 37 38 42 38 37

N.S.

1 0.89 0.96 0.84 0.82 0.84 0.93 0.84 0.82

time (sec)

N/A 0.211 0.007 0.139 0.321 0.257 0.114 0.262 0.382

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

69 69 64 0 0 0 0 0 57

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.83

time (sec)

N/A 0.290 0.075 0.000 0.000 0.000 0.000 0.000 0.446

Problem 346

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

39 39 44 38 57 61 54 354 36

N.S.

1 1.00 1.13 0.97 1.46 1.56 1.38 9.08 0.92

time (sec)

N/A 0.208 0.006 0.101 0.286 0.274 1.180 0.319 0.336

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 46 54 38 42 70 176 0

N.S.

1 1.00 1.12 1.32 0.93 1.02 1.71 4.29 0.00

time (sec)

N/A 0.198 0.014 0.117 0.278 0.260 0.981 0.291 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 69 61 81 84 126 301 0

N.S.

1 1.00 1.08 0.95 1.27 1.31 1.97 4.70 0.00

time (sec)

N/A 0.220 0.021 0.116 0.269 0.298 2.099 0.478 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 70 60 64 61 54 112 342 0

N.S.

1 1.06 0.91 0.97 0.92 0.82 1.70 5.18 0.00

time (sec)

N/A 0.215 0.027 0.101 0.275 0.290 1.906 0.294 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 93 63 84 125 97 201 467 0

N.S.

1 1.04 0.71 0.94 1.40 1.09 2.26 5.25 0.00

time (sec)

N/A 0.229 0.021 0.123 0.271 0.319 5.116 1.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 99 68 72 82 64 170 504 0

N.S.

1 1.09 0.75 0.79 0.90 0.70 1.87 5.54 0.00

time (sec)

N/A 0.237 0.032 0.108 0.270 0.318 5.259 0.308 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 98 82 108 0 58 58 0 0

N.S.

1 1.14 0.95 1.26 0.00 0.67 0.67 0.00 0.00

time (sec)

N/A 0.233 0.161 0.937 0.000 0.097 1.356 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 90 93 101 0 59 58 0 0

N.S.

1 1.08 1.12 1.22 0.00 0.71 0.70 0.00 0.00

time (sec)

N/A 0.266 0.176 0.701 0.000 0.092 1.137 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 66 72 88 0 42 58 0 0

N.S.

1 1.08 1.18 1.44 0.00 0.69 0.95 0.00 0.00

time (sec)

N/A 0.205 0.107 0.536 0.000 0.081 0.927 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 39 71 0 41 49 0 0

N.S.

1 1.00 0.80 1.45 0.00 0.84 1.00 0.00 0.00

time (sec)

N/A 0.180 10.013 0.540 0.000 0.088 0.592 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 44 66 0 45 49 0 0

N.S.

1 1.00 1.29 1.94 0.00 1.32 1.44 0.00 0.00

time (sec)

N/A 0.188 0.049 0.387 0.000 0.113 0.757 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 83 89 97 0 0 60 0 0

N.S.

1 1.02 1.10 1.20 0.00 0.00 0.74 0.00 0.00

time (sec)

N/A 0.264 0.140 0.502 0.000 0.000 0.969 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 65 72 87 0 0 61 0 0

N.S.

1 1.07 1.18 1.43 0.00 0.00 1.00 0.00 0.00

time (sec)

N/A 0.213 0.105 0.600 0.000 0.000 1.251 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 112 100 118 0 0 65 0 0

N.S.

1 1.06 0.94 1.11 0.00 0.00 0.61 0.00 0.00

time (sec)

N/A 0.297 0.164 0.721 0.000 0.000 1.742 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

62 71 58 0 0 0 0 0 50

N.S.

1 1.15 0.94 0.00 0.00 0.00 0.00 0.00 0.81

time (sec)

N/A 0.317 0.036 0.000 0.000 0.000 0.000 0.000 0.398

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 91 64 53 52 36 54 77 0

N.S.

1 1.17 0.82 0.68 0.67 0.46 0.69 0.99 0.00

time (sec)

N/A 0.214 0.029 0.082 0.283 0.253 1.246 0.276 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 68 47 41 40 31 46 50 0

N.S.

1 1.13 0.78 0.68 0.67 0.52 0.77 0.83 0.00

time (sec)

N/A 0.198 0.020 0.077 0.292 0.264 0.512 0.292 0.000

Problem 363

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

37 39 46 26 25 24 29 27 37

N.S.

1 1.05 1.24 0.70 0.68 0.65 0.78 0.73 1.00

time (sec)

N/A 0.174 0.077 0.062 0.280 0.247 0.110 0.263 0.769

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 69 53 97 0 0 0 0 42

N.S.

1 1.23 0.95 1.73 0.00 0.00 0.00 0.00 0.75

time (sec)

N/A 0.313 0.027 0.697 0.000 0.000 0.000 0.000 0.538

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 23 23 22 21 42 40 0

N.S.

1 1.00 0.82 0.82 0.79 0.75 1.50 1.43 0.00

time (sec)

N/A 0.167 0.012 0.070 0.265 0.245 1.585 0.283 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 55 32 35 34 28 51 74 0

N.S.

1 1.10 0.64 0.70 0.68 0.56 1.02 1.48 0.00

time (sec)

N/A 0.181 0.022 0.065 0.270 0.258 2.728 0.281 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 78 44 47 46 33 66 106 0

N.S.

1 1.15 0.65 0.69 0.68 0.49 0.97 1.56 0.00

time (sec)

N/A 0.189 0.021 0.075 0.277 0.239 8.501 0.276 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 101 49 59 58 38 78 138 0

N.S.

1 1.17 0.57 0.69 0.67 0.44 0.91 1.60 0.00

time (sec)

N/A 0.197 0.021 0.079 0.270 0.248 25.745 0.272 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 93 91 84 125 118 175 464 0

N.S.

1 1.04 1.02 0.94 1.40 1.33 1.97 5.21 0.00

time (sec)

N/A 0.240 0.063 0.464 0.277 0.268 3.726 1.012 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 68 59 67 59 51 107 340 0

N.S.

1 1.06 0.92 1.05 0.92 0.80 1.67 5.31 0.00

time (sec)

N/A 0.218 0.046 0.311 0.273 0.253 1.430 0.285 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 79 64 81 106 105 298 0

N.S.

1 1.00 1.23 1.00 1.27 1.66 1.64 4.66 0.00

time (sec)

N/A 0.222 0.036 0.362 0.281 0.260 1.959 0.491 0.000

Problem 372

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

39 39 47 47 36 40 58 174 36

N.S.

1 1.00 1.21 1.21 0.92 1.03 1.49 4.46 0.92

time (sec)

N/A 0.186 0.029 0.320 0.274 0.247 0.912 0.281 0.313

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 89 37 52 75 32 60 32

N.S.

1 1.00 2.87 1.19 1.68 2.42 1.03 1.94 1.03

time (sec)

N/A 0.159 0.060 0.313 0.271 0.262 0.980 0.279 0.781

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 61 134 0 0 0 0 57

N.S.

1 1.00 0.91 2.00 0.00 0.00 0.00 0.00 0.85

time (sec)

N/A 0.290 0.073 1.025 0.000 0.000 0.000 0.000 0.460

Problem 375

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

39 39 39 38 37 40 32 38 37

N.S.

1 1.00 1.00 0.97 0.95 1.03 0.82 0.97 0.95

time (sec)

N/A 0.212 0.020 0.178 0.267 0.248 0.414 0.266 0.310

Problem 376

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

57 62 65 55 86 55 112 70 50

N.S.

1 1.09 1.14 0.96 1.51 0.96 1.96 1.23 0.88

time (sec)

N/A 0.219 0.030 0.348 0.287 0.249 1.940 0.279 0.364

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 65 60 63 58 57 112 88 0

N.S.

1 1.05 0.97 1.02 0.94 0.92 1.81 1.42 0.00

time (sec)

N/A 0.235 0.046 0.356 0.291 0.254 1.674 0.272 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 94 77 75 126 67 180 111 0

N.S.

1 1.15 0.94 0.91 1.54 0.82 2.20 1.35 0.00

time (sec)

N/A 0.240 0.041 0.332 0.271 0.255 3.784 0.267 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 81 78 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 68 75 0 0 0 82 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 1.21 0.00 0.00

time (sec)

N/A 0.221 0.059 0.000 0.000 0.000 3.953 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 69 75 0 0 0 75 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 1.09 0.00 0.00

time (sec)

N/A 0.214 0.047 0.000 0.000 0.000 2.222 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 60 60 0 0 0 71 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.18 0.00 0.00

time (sec)

N/A 0.183 0.045 0.000 0.000 0.000 1.314 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 157 143 0 0 0 0 0

N.S.

1 1.00 2.09 1.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.148 0.974 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 69 68 0 0 0 73 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.224 0.061 0.000 0.000 0.000 2.270 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

72 73 75 0 0 0 75 0 0

N.S.

1 1.01 1.04 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.225 0.046 0.000 0.000 0.000 4.232 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 154 116 258 245 97 204 254 0

N.S.

1 1.19 0.90 2.00 1.90 0.75 1.58 1.97 0.00

time (sec)

N/A 0.374 0.089 0.185 0.273 0.260 0.568 0.284 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 136 98 191 174 79 133 128 0

N.S.

1 1.18 0.85 1.66 1.51 0.69 1.16 1.11 0.00

time (sec)

N/A 0.343 0.066 0.127 0.286 0.255 0.309 0.275 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 52 183 46 45 57 76 49 108

N.S.

1 0.91 3.21 0.81 0.79 1.00 1.33 0.86 1.89

time (sec)

N/A 0.251 0.103 0.174 0.275 0.257 0.128 0.281 0.789

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

214 214 221 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.667 0.102 0.000 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 81 89 0 280 0 0 0

N.S.

1 1.00 0.90 0.99 0.00 3.11 0.00 0.00 0.00

time (sec)

N/A 0.274 0.053 0.142 0.000 0.297 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 135 148 132 0 392 0 0 0

N.S.

1 0.99 1.08 0.96 0.00 2.86 0.00 0.00 0.00

time (sec)

N/A 0.326 0.373 0.122 0.000 0.327 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 199 174 245 0 496 0 0 0

N.S.

1 1.05 0.92 1.29 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 0.408 0.335 0.125 0.000 0.393 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 289 349 346 0 88 0 0 0

N.S.

1 0.86 1.04 1.03 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.561 0.426 1.194 0.000 0.099 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 233 307 295 0 72 0 0 0

N.S.

1 0.81 1.07 1.03 0.00 0.25 0.00 0.00 0.00

time (sec)

N/A 0.433 0.368 0.807 0.000 0.090 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 155 153 0 55 0 0 0

N.S.

1 1.00 0.65 0.65 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.402 10.097 0.618 0.000 0.091 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 140 114 0 17 0 0 0

N.S.

1 1.00 1.11 0.90 0.00 0.13 0.00 0.00 0.00

time (sec)

N/A 0.279 0.184 0.342 0.000 0.140 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 240 243 207 0 0 0 0 0

N.S.

1 0.85 0.86 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.441 0.266 0.552 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 301 370 346 0 0 0 0 0

N.S.

1 0.85 1.04 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.528 0.519 0.837 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

47 35 41 38 37 46 61 37 99

N.S.

1 0.74 0.87 0.81 0.79 0.98 1.30 0.79 2.11

time (sec)

N/A 0.255 0.022 0.071 0.278 0.243 0.236 0.278 0.767

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A B A B

verified

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

size

47 37 47 0 39 57 80 39 109

N.S.

1 0.79 1.00 0.00 0.83 1.21 1.70 0.83 2.32

time (sec)

N/A 0.287 0.028 0.000 0.269 0.256 12.937 0.278 0.380