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

2.2.15 Integrals 1401 to 1500

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 1401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 479 100 66 36 0 29 36 35

N.S.

1 4.79 1.00 0.66 0.36 0.00 0.29 0.36 0.35

time (sec)

N/A 0.940 0.001 0.220 0.242 0.000 64.739 1.495 0.003

Problem 1402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 0 100 96 0 94 0 0 0

N.S.

1 0.00 1.00 0.96 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.000 0.230 1.078 0.000 1.166 0.000 0.000 0.000

Problem 1403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 113 100 108 217 0 168 0 0

N.S.

1 1.13 1.00 1.08 2.17 0.00 1.68 0.00 0.00

time (sec)

N/A 0.279 1.012 0.454 0.277 0.000 1.891 0.000 0.000

Problem 1404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 101 100 0 0 183 0 0 0

N.S.

1 1.01 1.00 0.00 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.343 0.180 0.000 0.000 0.268 0.000 0.000 0.000

Problem 1405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 107 100 0 0 321 0 0 0

N.S.

1 1.07 1.00 0.00 0.00 3.21 0.00 0.00 0.00

time (sec)

N/A 0.267 0.118 0.000 0.000 0.292 0.000 0.000 0.000

Problem 1406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 232 101 88 168 91 0 92 0

N.S.

1 2.30 1.00 0.87 1.66 0.90 0.00 0.91 0.00

time (sec)

N/A 0.770 0.409 0.243 0.309 0.272 0.000 0.273 0.000

Problem 1407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 77 101 30 93 112 87 0 40

N.S.

1 0.76 1.00 0.30 0.92 1.11 0.86 0.00 0.40

time (sec)

N/A 0.191 0.171 1.318 0.283 0.399 1.207 0.000 6.394

Problem 1408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 84 97 33 105 105 65 0 0

N.S.

1 0.83 0.96 0.33 1.04 1.04 0.64 0.00 0.00

time (sec)

N/A 0.190 0.174 1.267 0.279 0.418 1.438 0.000 0.000

Problem 1409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

101 77 101 58 93 112 165 0 55

N.S.

1 0.76 1.00 0.57 0.92 1.11 1.63 0.00 0.54

time (sec)

N/A 0.181 0.166 1.582 0.282 0.400 1.370 0.000 6.475

Problem 1410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 114 109 196 0 297 0 0 178

N.S.

1 1.13 1.08 1.94 0.00 2.94 0.00 0.00 1.76

time (sec)

N/A 0.729 0.413 1.835 0.000 0.304 0.000 0.000 6.155

Problem 1411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 118 109 198 0 297 0 0 226

N.S.

1 1.17 1.08 1.96 0.00 2.94 0.00 0.00 2.24

time (sec)

N/A 0.833 0.452 1.492 0.000 0.304 0.000 0.000 0.076

Problem 1412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 139 15 0 103 0 64 0

N.S.

1 1.02 1.38 0.15 0.00 1.02 0.00 0.63 0.00

time (sec)

N/A 0.207 0.189 0.421 0.000 0.242 0.000 0.280 0.000

Problem 1413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 552 141 96 22 521 26 0 22

N.S.

1 5.47 1.40 0.95 0.22 5.16 0.26 0.00 0.22

time (sec)

N/A 1.178 0.125 5.175 0.317 0.278 0.881 0.000 6.722

Problem 1414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 552 141 96 22 521 26 0 22

N.S.

1 5.47 1.40 0.95 0.22 5.16 0.26 0.00 0.22

time (sec)

N/A 1.013 0.001 4.795 0.306 0.270 0.993 0.000 0.002

Problem 1415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

101 80 101 57 93 112 167 0 55

N.S.

1 0.79 1.00 0.56 0.92 1.11 1.65 0.00 0.54

time (sec)

N/A 0.192 0.166 1.412 0.276 0.374 1.424 0.000 6.419

Problem 1416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 98 100 0 124 0 0 0

N.S.

1 1.00 0.97 0.99 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.245 0.215 2.612 0.000 0.535 0.000 0.000 0.000

Problem 1417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 109 131 122 0 404 0 81 0

N.S.

1 1.08 1.30 1.21 0.00 4.00 0.00 0.80 0.00

time (sec)

N/A 6.406 0.485 4.976 0.000 1.007 0.000 0.305 0.000

Problem 1418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 127 129 138 0 182 0 97 0

N.S.

1 1.26 1.28 1.37 0.00 1.80 0.00 0.96 0.00

time (sec)

N/A 1.004 0.346 2.474 0.000 0.251 0.000 0.326 0.000

Problem 1419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 95 220 0 303 0 0 0

N.S.

1 0.00 0.94 2.18 0.00 3.00 0.00 0.00 0.00

time (sec)

N/A 0.000 3.470 4.285 0.000 15.841 0.000 0.000 0.000

Problem 1420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 73 82 291 0 137 0 0 0

N.S.

1 0.72 0.81 2.88 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.392 0.308 1.700 0.000 0.245 0.000 0.000 0.000

Problem 1421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 316 137 117 0 0 0 229 91

N.S.

1 3.13 1.36 1.16 0.00 0.00 0.00 2.27 0.90

time (sec)

N/A 0.517 0.403 0.362 0.000 0.000 0.000 0.293 6.968

Problem 1422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 429 129 103 37 0 32 37 37

N.S.

1 4.25 1.28 1.02 0.37 0.00 0.32 0.37 0.37

time (sec)

N/A 1.560 1.097 0.478 0.274 0.000 23.959 2.867 7.510

Problem 1423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 429 129 103 37 0 32 37 37

N.S.

1 4.25 1.28 1.02 0.37 0.00 0.32 0.37 0.37

time (sec)

N/A 1.257 0.003 0.000 0.246 0.000 23.165 2.886 0.002

Problem 1424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 89 91 0 216 0 0 0

N.S.

1 0.00 0.88 0.90 0.00 2.14 0.00 0.00 0.00

time (sec)

N/A 0.000 0.423 3.684 0.000 0.824 0.000 0.000 0.000

Problem 1425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 104 119 132 0 325 0 0 0

N.S.

1 1.03 1.18 1.31 0.00 3.22 0.00 0.00 0.00

time (sec)

N/A 0.543 1.341 2.229 0.000 14.869 0.000 0.000 0.000

Problem 1426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 104 119 132 0 325 0 0 0

N.S.

1 1.03 1.18 1.31 0.00 3.22 0.00 0.00 0.00

time (sec)

N/A 0.519 0.001 1.586 0.000 14.492 0.000 0.000 0.000

Problem 1427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

101 242 110 64 0 129 0 171 0

N.S.

1 2.40 1.09 0.63 0.00 1.28 0.00 1.69 0.00

time (sec)

N/A 0.427 0.415 0.702 0.000 0.260 0.000 0.275 0.000

Problem 1428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 425 101 67 30 1579 0 30 30

N.S.

1 4.21 1.00 0.66 0.30 15.63 0.00 0.30 0.30

time (sec)

N/A 1.594 0.264 237.794 0.309 7.699 0.000 0.314 6.742

Problem 1429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 425 101 67 30 1579 0 30 30

N.S.

1 4.21 1.00 0.66 0.30 15.63 0.00 0.30 0.30

time (sec)

N/A 1.537 0.001 254.617 0.298 7.646 0.000 0.327 0.003

Problem 1430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 325 100 63 35 0 26 35 32

N.S.

1 3.22 0.99 0.62 0.35 0.00 0.26 0.35 0.32

time (sec)

N/A 0.791 1.196 0.179 0.227 0.000 17.213 0.295 6.594

Problem 1431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 92 114 0 397 0 0 0

N.S.

1 0.00 0.91 1.13 0.00 3.93 0.00 0.00 0.00

time (sec)

N/A 0.000 4.143 2.674 0.000 0.434 0.000 0.000 0.000

Problem 1432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 86 85 24 302 0 0 24

N.S.

1 0.00 0.85 0.84 0.24 2.99 0.00 0.00 0.24

time (sec)

N/A 0.000 0.095 0.055 0.338 0.299 0.000 0.000 6.766

Problem 1433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 86 85 24 302 0 0 24

N.S.

1 0.00 0.85 0.84 0.24 2.99 0.00 0.00 0.24

time (sec)

N/A 0.000 0.001 0.048 0.336 0.306 0.000 0.000 0.002

Problem 1434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 92 62 0 92 17 0 0

N.S.

1 0.00 0.91 0.61 0.00 0.91 0.17 0.00 0.00

time (sec)

N/A 0.000 0.336 0.062 0.000 0.459 9.498 0.000 0.000

Problem 1435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 161 109 0 0 90 32 0 0

N.S.

1 1.59 1.08 0.00 0.00 0.89 0.32 0.00 0.00

time (sec)

N/A 0.623 0.254 0.000 0.000 0.567 20.104 0.000 0.000

Problem 1436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

101 0 93 0 0 90 0 0 0

N.S.

1 0.00 0.92 0.00 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.000 0.383 0.000 0.000 0.794 0.000 0.000 0.000

Problem 1437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

102 87 97 33 121 94 34 0 0

N.S.

1 0.85 0.95 0.32 1.19 0.92 0.33 0.00 0.00

time (sec)

N/A 0.193 0.194 1.122 0.287 0.555 1.118 0.000 0.000

Problem 1438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 89 98 17 121 94 31 0 0

N.S.

1 0.87 0.96 0.17 1.19 0.92 0.30 0.00 0.00

time (sec)

N/A 0.190 0.163 1.036 0.269 0.279 1.005 0.000 0.000

Problem 1439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 87 97 17 121 94 31 0 0

N.S.

1 0.85 0.95 0.17 1.19 0.92 0.30 0.00 0.00

time (sec)

N/A 0.185 0.166 1.069 0.284 0.258 1.084 0.000 0.000

Problem 1440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 101 102 100 0 122 0 0 0

N.S.

1 0.99 1.00 0.98 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.239 0.208 3.058 0.000 0.619 0.000 0.000 0.000

Problem 1441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 0 91 0 0 0 0 0 0

N.S.

1 0.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.659 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 116 95 76 146 91 0 87 231

N.S.

1 1.14 0.93 0.75 1.43 0.89 0.00 0.85 2.26

time (sec)

N/A 0.219 0.151 2.346 0.270 0.289 0.000 0.271 7.118

Problem 1443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 2422 91 0 0 0 0 0 0

N.S.

1 23.75 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 9.545 0.245 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 0 91 0 0 0 0 0 0

N.S.

1 0.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.922 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 559 139 65 37 0 31 37 37

N.S.

1 5.48 1.36 0.64 0.36 0.00 0.30 0.36 0.36

time (sec)

N/A 1.535 0.804 0.229 0.237 0.000 7.634 3.527 6.946

Problem 1446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 559 139 65 37 0 31 37 37

N.S.

1 5.48 1.36 0.64 0.36 0.00 0.30 0.36 0.36

time (sec)

N/A 1.265 0.002 0.167 0.233 0.000 8.164 3.631 0.003

Problem 1447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 437 130 104 37 0 32 37 40

N.S.

1 4.28 1.27 1.02 0.36 0.00 0.31 0.36 0.39

time (sec)

N/A 1.567 1.065 0.453 0.251 0.000 24.564 2.897 7.402

Problem 1448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 437 130 104 37 0 32 37 40

N.S.

1 4.28 1.27 1.02 0.36 0.00 0.31 0.36 0.39

time (sec)

N/A 1.355 0.004 0.000 0.229 0.000 24.503 2.878 0.003

Problem 1449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 288 102 119 0 147 0 0 0

N.S.

1 2.82 1.00 1.17 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 1.119 1.842 4.956 0.000 4.490 0.000 0.000 0.000

Problem 1450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 389 102 106 0 148 0 0 0

N.S.

1 3.81 1.00 1.04 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 1.223 1.857 14.645 0.000 8.378 0.000 0.000 0.000

Problem 1451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 441 102 69 26 0 22 26 26

N.S.

1 4.32 1.00 0.68 0.25 0.00 0.22 0.25 0.25

time (sec)

N/A 0.749 0.505 0.166 0.218 0.000 7.689 1.538 6.172

Problem 1452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 441 102 69 26 0 22 26 26

N.S.

1 4.32 1.00 0.68 0.25 0.00 0.22 0.25 0.25

time (sec)

N/A 0.538 0.001 0.113 0.220 0.000 7.843 1.578 0.003

Problem 1453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 1189 123 90 43 0 34 3 43

N.S.

1 11.66 1.21 0.88 0.42 0.00 0.33 0.03 0.42

time (sec)

N/A 3.190 16.298 0.526 0.234 0.000 72.704 19.289 6.927

Problem 1454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 1189 123 90 43 0 34 3 43

N.S.

1 11.66 1.21 0.88 0.42 0.00 0.33 0.03 0.42

time (sec)

N/A 2.456 0.043 0.389 0.262 0.000 69.967 19.126 0.003

Problem 1455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 0 64 0 0 60 0 0 0

N.S.

1 0.00 0.63 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.000 4.077 0.000 0.000 0.270 0.000 0.000 0.000

Problem 1456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A N/A N/A

verified

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

size

102 0 102 17 19 7672 17 19 19

N.S.

1 0.00 1.00 0.17 0.19 75.22 0.17 0.19 0.19

time (sec)

N/A 0.000 0.588 0.050 0.339 0.982 0.845 0.412 6.189

Problem 1457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A N/A N/A

verified

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

size

102 0 102 17 19 7672 17 19 19

N.S.

1 0.00 1.00 0.17 0.19 75.22 0.17 0.19 0.19

time (sec)

N/A 0.000 0.001 0.000 0.311 1.026 0.873 0.400 0.002

Problem 1458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 93 103 694 0 383 0 0 220

N.S.

1 0.90 1.00 6.74 0.00 3.72 0.00 0.00 2.14

time (sec)

N/A 0.708 1.284 0.609 0.000 0.292 0.000 0.000 0.243

Problem 1459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

103 406 103 594 0 403 0 0 505

N.S.

1 3.94 1.00 5.77 0.00 3.91 0.00 0.00 4.90

time (sec)

N/A 0.907 1.589 3.055 0.000 0.286 0.000 0.000 6.036

Problem 1460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 406 103 1501 0 403 0 0 509

N.S.

1 3.94 1.00 14.57 0.00 3.91 0.00 0.00 4.94

time (sec)

N/A 1.009 1.582 1.386 0.000 0.282 0.000 0.000 0.096

Problem 1461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

103 86 97 56 106 112 70 0 0

N.S.

1 0.83 0.94 0.54 1.03 1.09 0.68 0.00 0.00

time (sec)

N/A 0.191 0.207 1.542 0.276 0.508 1.523 0.000 0.000

Problem 1462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 139 98 126 189 234 39 0 0

N.S.

1 1.35 0.95 1.22 1.83 2.27 0.38 0.00 0.00

time (sec)

N/A 0.254 0.375 0.298 0.291 0.262 3.897 0.000 0.000

Problem 1463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

103 120 44 87 0 516 0 203 0

N.S.

1 1.17 0.43 0.84 0.00 5.01 0.00 1.97 0.00

time (sec)

N/A 0.347 10.018 0.351 0.000 57.020 0.000 0.302 0.000

Problem 1464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 327 103 73 30 0 0 30 30

N.S.

1 3.17 1.00 0.71 0.29 0.00 0.00 0.29 0.29

time (sec)

N/A 0.950 0.213 151.257 0.301 0.000 0.000 0.303 6.392

Problem 1465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 327 103 73 30 0 0 30 30

N.S.

1 3.17 1.00 0.71 0.29 0.00 0.00 0.29 0.29

time (sec)

N/A 0.776 0.001 145.802 0.313 0.000 0.000 0.298 0.002

Problem 1466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 300 103 626 0 112 0 0 0

N.S.

1 2.91 1.00 6.08 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 1.176 10.448 27.873 0.000 2.191 0.000 0.000 0.000

Problem 1467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 499 103 66 39 0 29 39 36

N.S.

1 4.84 1.00 0.64 0.38 0.00 0.28 0.38 0.35

time (sec)

N/A 1.351 0.836 0.277 0.252 0.000 58.397 1.618 6.413

Problem 1468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 499 103 70 35 0 31 35 37

N.S.

1 4.84 1.00 0.68 0.34 0.00 0.30 0.34 0.36

time (sec)

N/A 1.246 0.854 0.284 0.234 0.000 63.615 0.945 6.364

Problem 1469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

103 135 103 0 0 335 0 0 0

N.S.

1 1.31 1.00 0.00 0.00 3.25 0.00 0.00 0.00

time (sec)

N/A 0.272 0.162 0.000 0.000 0.302 0.000 0.000 0.000

Problem 1470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 115 97 89 111 93 34 90 124

N.S.

1 1.11 0.93 0.86 1.07 0.89 0.33 0.87 1.19

time (sec)

N/A 0.216 0.173 1.799 0.273 0.305 3.725 0.284 6.328

Problem 1471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 89 99 33 121 96 32 0 0

N.S.

1 0.86 0.95 0.32 1.16 0.92 0.31 0.00 0.00

time (sec)

N/A 0.192 0.161 0.996 0.279 0.352 1.076 0.000 0.000

Problem 1472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

104 97 137 33 0 99 0 77 29

N.S.

1 0.93 1.32 0.32 0.00 0.95 0.00 0.74 0.28

time (sec)

N/A 0.230 0.520 2.225 0.000 0.470 0.000 0.279 6.232

Problem 1473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 115 97 96 146 93 68 90 231

N.S.

1 1.11 0.93 0.92 1.40 0.89 0.65 0.87 2.22

time (sec)

N/A 0.223 0.156 1.607 0.287 0.431 145.351 0.264 6.698

Problem 1474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 437 75 72 0 207 0 0 0

N.S.

1 4.20 0.72 0.69 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 4.014 15.278 1.103 0.000 0.477 0.000 0.000 0.000

Problem 1475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 104 119 0 146 0 0 0

N.S.

1 0.00 1.00 1.14 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.000 2.548 4.237 0.000 1.944 0.000 0.000 0.000

Problem 1476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 46 104 115 0 565 0 0 0

N.S.

1 0.44 1.00 1.11 0.00 5.43 0.00 0.00 0.00

time (sec)

N/A 0.204 0.359 0.565 0.000 34.113 0.000 0.000 0.000

Problem 1477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 154 124 102 0 0 0 192 60

N.S.

1 1.48 1.19 0.98 0.00 0.00 0.00 1.85 0.58

time (sec)

N/A 0.359 4.484 0.436 0.000 0.000 0.000 0.304 7.132

Problem 1478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

104 124 131 102 0 0 0 192 60

N.S.

1 1.19 1.26 0.98 0.00 0.00 0.00 1.85 0.58

time (sec)

N/A 0.279 9.685 0.278 0.000 0.000 0.000 0.301 6.657

Problem 1479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

104 124 123 97 0 0 0 192 0

N.S.

1 1.19 1.18 0.93 0.00 0.00 0.00 1.85 0.00

time (sec)

N/A 0.295 4.257 0.298 0.000 0.000 0.000 0.271 0.000

Problem 1480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 501 141 68 30 0 26 30 30

N.S.

1 4.82 1.36 0.65 0.29 0.00 0.25 0.29 0.29

time (sec)

N/A 0.883 0.496 0.326 0.230 0.000 1.925 3.642 6.566

Problem 1481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 501 141 68 30 0 26 30 30

N.S.

1 4.82 1.36 0.65 0.29 0.00 0.25 0.29 0.29

time (sec)

N/A 0.674 0.004 0.281 0.235 0.000 1.984 3.393 0.002

Problem 1482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 107 104 119 115 0 139 0 60

N.S.

1 1.03 1.00 1.14 1.11 0.00 1.34 0.00 0.58

time (sec)

N/A 0.222 0.381 0.451 0.279 0.000 1.145 0.000 6.837

Problem 1483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 95 131 0 0 0 0 0

N.S.

1 0.00 0.91 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.861 1.060 0.000 0.000 0.000 0.000 0.000

Problem 1484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 115 97 113 111 93 32 90 134

N.S.

1 1.11 0.93 1.09 1.07 0.89 0.31 0.87 1.29

time (sec)

N/A 0.217 0.169 4.797 0.272 0.281 7.124 0.278 6.462

Problem 1485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 75 98 33 94 94 34 0 0

N.S.

1 0.72 0.94 0.32 0.90 0.90 0.33 0.00 0.00

time (sec)

N/A 0.180 0.758 2.426 0.277 0.280 0.716 0.000 0.000

Problem 1486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 75 100 33 94 94 36 0 0

N.S.

1 0.72 0.96 0.32 0.90 0.90 0.35 0.00 0.00

time (sec)

N/A 0.181 0.497 1.883 0.279 0.274 0.658 0.000 0.000

Problem 1487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 75 100 33 94 94 34 0 0

N.S.

1 0.72 0.96 0.32 0.90 0.90 0.33 0.00 0.00

time (sec)

N/A 0.176 0.469 2.133 0.278 0.282 0.616 0.000 0.000

Problem 1488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 76 100 17 94 94 29 0 0

N.S.

1 0.73 0.96 0.16 0.90 0.90 0.28 0.00 0.00

time (sec)

N/A 0.176 0.730 2.391 0.268 0.277 0.665 0.000 0.000

Problem 1489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 76 98 17 94 94 31 0 0

N.S.

1 0.73 0.94 0.16 0.90 0.90 0.30 0.00 0.00

time (sec)

N/A 0.174 0.490 1.853 0.274 0.260 0.584 0.000 0.000

Problem 1490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 75 98 17 94 94 31 0 0

N.S.

1 0.72 0.94 0.16 0.90 0.90 0.30 0.00 0.00

time (sec)

N/A 0.176 0.497 2.199 0.281 0.267 0.612 0.000 0.000

Problem 1491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 0 119 0 299 0 0 0

N.S.

1 0.00 0.00 1.14 0.00 2.88 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 13.352 0.000 81.972 0.000 0.000 0.000

Problem 1492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

104 83 121 33 0 99 0 63 33

N.S.

1 0.80 1.16 0.32 0.00 0.95 0.00 0.61 0.32

time (sec)

N/A 0.218 5.612 2.691 0.000 0.435 0.000 0.271 6.396

Problem 1493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 509 104 71 28 0 0 28 28

N.S.

1 4.89 1.00 0.68 0.27 0.00 0.00 0.27 0.27

time (sec)

N/A 0.971 0.210 201.343 0.317 0.000 0.000 0.287 6.509

Problem 1494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 509 104 71 28 0 0 28 28

N.S.

1 4.89 1.00 0.68 0.27 0.00 0.00 0.27 0.27

time (sec)

N/A 0.831 0.001 187.869 0.317 0.000 0.000 0.293 0.002

Problem 1495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 106 146 0 1157 0 0 0

N.S.

1 0.00 1.02 1.40 0.00 11.12 0.00 0.00 0.00

time (sec)

N/A 0.000 0.361 24.295 0.000 3.178 0.000 0.000 0.000

Problem 1496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 104 122 0 467 0 0 0

N.S.

1 0.00 1.00 1.17 0.00 4.49 0.00 0.00 0.00

time (sec)

N/A 0.000 1.624 31.770 0.000 83.351 0.000 0.000 0.000

Problem 1497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 109 104 104 0 127 0 0 0

N.S.

1 1.05 1.00 1.00 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.552 0.222 2.541 0.000 0.536 0.000 0.000 0.000

Problem 1498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 139 46 55 0 277 0 0 0

N.S.

1 1.34 0.44 0.53 0.00 2.66 0.00 0.00 0.00

time (sec)

N/A 0.534 0.333 1.114 0.000 0.321 0.000 0.000 0.000

Problem 1499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

104 122 96 124 0 0 0 0 0

N.S.

1 1.17 0.92 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.924 0.513 0.471 0.000 0.000 0.000 0.000 0.000

Problem 1500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

104 0 71 0 0 48 0 0 0

N.S.

1 0.00 0.68 0.00 0.00 0.46 0.00 0.00 0.00

time (sec)

N/A 0.000 0.243 0.000 0.000 0.280 0.000 0.000 0.000

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