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

2.2.14 Integrals 1301 to 1400

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 1301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 66 251 0 673 0 0 453

N.S.

1 0.00 0.70 2.67 0.00 7.16 0.00 0.00 4.82

time (sec)

N/A 0.000 11.969 0.704 0.000 0.668 0.000 0.000 6.518

Problem 1302

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

94 169 142 127 0 0 0 209 75

N.S.

1 1.80 1.51 1.35 0.00 0.00 0.00 2.22 0.80

time (sec)

N/A 0.387 0.396 2.325 0.000 0.000 0.000 0.305 6.205

Problem 1303

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

94 169 142 127 0 0 0 209 75

N.S.

1 1.80 1.51 1.35 0.00 0.00 0.00 2.22 0.80

time (sec)

N/A 0.378 0.355 1.027 0.000 0.000 0.000 0.322 6.215

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 73 80 0 392 0 0 0

N.S.

1 0.00 0.78 0.85 0.00 4.17 0.00 0.00 0.00

time (sec)

N/A 0.000 0.678 2.148 0.000 0.447 0.000 0.000 0.000

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 73 80 0 382 0 0 0

N.S.

1 0.00 0.78 0.85 0.00 4.06 0.00 0.00 0.00

time (sec)

N/A 0.000 0.690 1.355 0.000 0.434 0.000 0.000 0.000

Problem 1306

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

94 87 81 93 0 83 0 0 0

N.S.

1 0.93 0.86 0.99 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.928 5.087 3.524 0.000 0.361 0.000 0.000 0.000

Problem 1307

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

94 313 94 95 0 136 0 0 0

N.S.

1 3.33 1.00 1.01 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.980 0.939 27.092 0.000 9.822 0.000 0.000 0.000

Problem 1308

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

94 247 94 95 0 135 0 0 0

N.S.

1 2.63 1.00 1.01 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.872 0.930 8.448 0.000 5.406 0.000 0.000 0.000

Problem 1309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 128 0 26 0 36 0 26

N.S.

1 0.00 1.36 0.00 0.28 0.00 0.38 0.00 0.28

time (sec)

N/A 0.000 0.380 0.000 0.300 0.000 104.328 0.000 5.889

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 0 128 0 26 0 36 0 26

N.S.

1 0.00 1.36 0.00 0.28 0.00 0.38 0.00 0.28

time (sec)

N/A 0.000 0.002 0.000 0.321 0.000 108.872 0.000 0.002

Problem 1311

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

94 347 112 136 0 227 0 0 0

N.S.

1 3.69 1.19 1.45 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.915 0.527 49.716 0.000 11.622 0.000 0.000 0.000

Problem 1312

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

94 0 94 33 35 829 32 35 35

N.S.

1 0.00 1.00 0.35 0.37 8.82 0.34 0.37 0.37

time (sec)

N/A 0.000 0.269 0.273 1.419 0.313 0.536 41.680 5.926

Problem 1313

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

94 0 94 33 35 829 32 35 35

N.S.

1 0.00 1.00 0.35 0.37 8.82 0.34 0.37 0.37

time (sec)

N/A 0.000 0.003 0.000 1.470 0.307 0.567 40.018 0.003

Problem 1314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 86 35 90 78 104 53 0 104

N.S.

1 0.91 0.37 0.95 0.82 1.09 0.56 0.00 1.09

time (sec)

N/A 0.289 10.026 3.038 0.264 0.427 1.236 0.000 6.091

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 95 93 0 0 0 0 0

N.S.

1 0.00 1.00 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.232 9.029 0.000 0.000 0.000 0.000 0.000

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 95 233 0 0 0 0 0

N.S.

1 0.00 1.00 2.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.246 3.552 0.000 0.000 0.000 0.000 0.000

Problem 1318

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

95 0 95 219 0 295 0 0 0

N.S.

1 0.00 1.00 2.31 0.00 3.11 0.00 0.00 0.00

time (sec)

N/A 0.000 3.398 7.161 0.000 15.427 0.000 0.000 0.000

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 0 97 0 355 0 0 0

N.S.

1 0.00 0.00 1.02 0.00 3.74 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 19.772 0.000 65.503 0.000 0.000 0.000

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 75 86 0 0 0 0 0

N.S.

1 0.00 0.79 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.861 2.921 0.000 0.000 0.000 0.000 0.000

Problem 1321

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

95 0 95 129 0 311 0 0 0

N.S.

1 0.00 1.00 1.36 0.00 3.27 0.00 0.00 0.00

time (sec)

N/A 0.000 4.547 26.140 0.000 112.854 0.000 0.000 0.000

Problem 1322

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

95 0 66 131 0 0 0 0 0

N.S.

1 0.00 0.69 1.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.134 2.115 0.000 0.000 0.000 0.000 0.000

Problem 1323

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

95 0 77 99 0 0 0 0 0

N.S.

1 0.00 0.81 1.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.075 1.411 0.000 0.000 0.000 0.000 0.000

Problem 1324

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

95 0 62 59 0 241 0 0 0

N.S.

1 0.00 0.65 0.62 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.000 0.327 6.335 0.000 0.578 0.000 0.000 0.000

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 0 90 72 0 567 0 0 0

N.S.

1 0.00 0.95 0.76 0.00 5.97 0.00 0.00 0.00

time (sec)

N/A 0.000 1.367 8.741 0.000 0.416 0.000 0.000 0.000

Problem 1326

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

96 67 92 33 94 88 36 0 0

N.S.

1 0.70 0.96 0.34 0.98 0.92 0.38 0.00 0.00

time (sec)

N/A 0.187 0.157 2.786 0.285 0.302 0.754 0.000 0.000

Problem 1327

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

96 68 90 17 94 88 31 0 0

N.S.

1 0.71 0.94 0.18 0.98 0.92 0.32 0.00 0.00

time (sec)

N/A 0.180 0.143 2.001 0.271 0.274 0.608 0.000 0.000

Problem 1328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

96 95 142 17 0 95 0 64 0

N.S.

1 0.99 1.48 0.18 0.00 0.99 0.00 0.67 0.00

time (sec)

N/A 0.239 0.405 4.960 0.000 0.345 0.000 0.283 0.000

Problem 1329

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

96 0 78 0 0 0 0 0 0

N.S.

1 0.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 9.250 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

96 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1331

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

size

96 133 136 131 0 0 0 207 0

N.S.

1 1.39 1.42 1.36 0.00 0.00 0.00 2.16 0.00

time (sec)

N/A 0.411 0.418 2.276 0.000 0.000 0.000 0.294 0.000

Problem 1332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

96 0 92 89 0 0 0 0 184

N.S.

1 0.00 0.96 0.93 0.00 0.00 0.00 0.00 1.92

time (sec)

N/A 0.000 6.888 3.250 0.000 0.000 0.000 0.000 15.118

Problem 1333

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

size

96 81 119 17 0 92 0 55 31

N.S.

1 0.84 1.24 0.18 0.00 0.96 0.00 0.57 0.32

time (sec)

N/A 0.225 5.579 7.244 0.000 0.451 0.000 0.265 6.401

Problem 1334

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

96 260 103 124 0 305 0 0 0

N.S.

1 2.71 1.07 1.29 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.869 1.983 9.791 0.000 35.266 0.000 0.000 0.000

Problem 1335

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

96 260 103 124 0 305 0 0 0

N.S.

1 2.71 1.07 1.29 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.839 0.001 0.000 0.000 34.641 0.000 0.000 0.000

Problem 1336

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

96 0 67 84 0 0 0 0 0

N.S.

1 0.00 0.70 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 8.201 3.431 0.000 0.000 0.000 0.000 0.000

Problem 1337

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

96 429 97 66 27 0 26 27 31

N.S.

1 4.47 1.01 0.69 0.28 0.00 0.27 0.28 0.32

time (sec)

N/A 0.766 0.503 1.125 0.229 0.000 6.297 0.948 6.378

Problem 1338

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

96 429 97 66 27 0 26 27 31

N.S.

1 4.47 1.01 0.69 0.28 0.00 0.27 0.28 0.32

time (sec)

N/A 0.562 0.001 0.002 0.227 0.000 6.241 0.918 0.003

Problem 1339

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

96 499 97 61 38 0 31 38 36

N.S.

1 5.20 1.01 0.64 0.40 0.00 0.32 0.40 0.38

time (sec)

N/A 1.322 0.773 1.123 0.231 0.000 62.123 1.709 6.888

Problem 1340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 431 75 81 0 197 0 0 0

N.S.

1 4.44 0.77 0.84 0.00 2.03 0.00 0.00 0.00

time (sec)

N/A 1.644 10.969 1.750 0.000 0.334 0.000 0.000 0.000

Problem 1341

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

97 94 90 81 91 86 34 79 107

N.S.

1 0.97 0.93 0.84 0.94 0.89 0.35 0.81 1.10

time (sec)

N/A 0.208 0.108 3.427 0.270 0.292 1.184 0.265 6.406

Problem 1342

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

size

97 98 86 60 91 83 32 77 108

N.S.

1 1.01 0.89 0.62 0.94 0.86 0.33 0.79 1.11

time (sec)

N/A 0.215 0.104 2.707 0.284 0.295 1.173 0.268 6.441

Problem 1343

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

size

97 87 90 71 73 85 65 74 152

N.S.

1 0.90 0.93 0.73 0.75 0.88 0.67 0.76 1.57

time (sec)

N/A 0.214 0.076 2.374 0.269 0.259 51.158 0.267 6.825

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

97 0 118 56 27 3219 0 27 28

N.S.

1 0.00 1.22 0.58 0.28 33.19 0.00 0.28 0.29

time (sec)

N/A 0.000 0.273 189.617 0.233 0.943 0.000 0.315 6.193

Problem 1345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

97 0 118 56 27 3219 0 27 28

N.S.

1 0.00 1.22 0.58 0.28 33.19 0.00 0.28 0.29

time (sec)

N/A 0.000 0.002 0.000 0.225 0.893 0.000 0.325 0.003

Problem 1346

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

97 110 107 192 0 293 0 0 210

N.S.

1 1.13 1.10 1.98 0.00 3.02 0.00 0.00 2.16

time (sec)

N/A 0.845 0.389 18.803 0.000 0.305 0.000 0.000 0.153

Problem 1347

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

97 101 123 15 0 93 0 64 0

N.S.

1 1.04 1.27 0.15 0.00 0.96 0.00 0.66 0.00

time (sec)

N/A 0.209 0.174 2.867 0.000 0.245 0.000 0.270 0.000

Problem 1348

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

97 101 97 100 0 124 0 0 0

N.S.

1 1.04 1.00 1.03 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.249 0.219 6.419 0.000 0.505 0.000 0.000 0.000

Problem 1349

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

size

97 96 88 69 103 84 68 76 121

N.S.

1 0.99 0.91 0.71 1.06 0.87 0.70 0.78 1.25

time (sec)

N/A 0.211 0.096 4.467 0.278 0.256 164.079 0.254 6.496

Problem 1350

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

97 116 122 98 0 0 0 185 58

N.S.

1 1.20 1.26 1.01 0.00 0.00 0.00 1.91 0.60

time (sec)

N/A 0.275 9.727 1.272 0.000 0.000 0.000 0.304 6.416

Problem 1351

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

97 143 115 98 0 0 0 185 58

N.S.

1 1.47 1.19 1.01 0.00 0.00 0.00 1.91 0.60

time (sec)

N/A 0.368 4.440 0.984 0.000 0.000 0.000 0.288 6.285

Problem 1352

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

size

97 98 90 86 93 86 31 78 118

N.S.

1 1.01 0.93 0.89 0.96 0.89 0.32 0.80 1.22

time (sec)

N/A 0.209 0.116 6.299 0.279 0.268 1.766 0.266 6.370

Problem 1353

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

97 0 94 91 0 121 0 0 0

N.S.

1 0.00 0.97 0.94 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.000 1.502 4.349 0.000 1.208 0.000 0.000 0.000

Problem 1354

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

97 96 87 125 0 82 0 65 0

N.S.

1 0.99 0.90 1.29 0.00 0.85 0.00 0.67 0.00

time (sec)

N/A 0.367 0.134 0.166 0.000 1.358 0.000 0.282 0.000

Problem 1355

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

97 91 91 0 0 64 0 0 0

N.S.

1 0.94 0.94 0.00 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.958 0.108 0.000 0.000 0.267 0.000 0.000 0.000

Problem 1356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 96 83 0 0 198 0 0 0

N.S.

1 0.98 0.85 0.00 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.200 1.736 0.000 0.000 0.253 0.000 0.000 0.000

Problem 1357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1358

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

98 0 95 77 0 150 0 0 0

N.S.

1 0.00 0.97 0.79 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.000 0.855 6.479 0.000 0.336 0.000 0.000 0.000

Problem 1359

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

98 94 98 64 0 91 0 0 0

N.S.

1 0.96 1.00 0.65 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.397 0.511 3.019 0.000 0.290 0.000 0.000 0.000

Problem 1360

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

98 117 93 116 162 225 42 0 0

N.S.

1 1.19 0.95 1.18 1.65 2.30 0.43 0.00 0.00

time (sec)

N/A 0.230 0.323 1.368 0.291 0.268 1.308 0.000 0.000

Problem 1361

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

98 146 126 109 0 0 0 221 89

N.S.

1 1.49 1.29 1.11 0.00 0.00 0.00 2.26 0.91

time (sec)

N/A 0.283 0.377 2.113 0.000 0.000 0.000 0.289 6.819

Problem 1362

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

98 146 126 109 0 0 0 221 89

N.S.

1 1.49 1.29 1.11 0.00 0.00 0.00 2.26 0.91

time (sec)

N/A 0.283 0.360 1.010 0.000 0.000 0.000 0.295 6.565

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1364

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

98 499 98 64 34 0 27 34 34

N.S.

1 5.09 1.00 0.65 0.35 0.00 0.28 0.35 0.35

time (sec)

N/A 1.282 0.850 1.058 0.236 0.000 60.904 1.596 6.319

Problem 1365

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

98 499 98 64 34 0 27 34 34

N.S.

1 5.09 1.00 0.65 0.35 0.00 0.28 0.35 0.35

time (sec)

N/A 0.948 0.001 0.001 0.228 0.000 62.035 1.490 0.003

Problem 1366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 0 98 0 64 2275 70 64 64

N.S.

1 0.00 1.00 0.00 0.65 23.21 0.71 0.65 0.65

time (sec)

N/A 0.000 6.769 0.000 0.322 285.923 29.450 0.320 8.459

Problem 1367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 0 98 0 64 2275 70 64 64

N.S.

1 0.00 1.00 0.00 0.65 23.21 0.71 0.65 0.65

time (sec)

N/A 0.000 0.002 0.000 0.343 285.641 29.565 0.323 0.002

Problem 1368

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

98 0 98 0 0 229 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 2.34 0.00 0.00 0.00

time (sec)

N/A 0.000 0.461 0.000 0.000 1.112 0.000 0.000 0.000

Problem 1369

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

99 118 99 85 107 299 138 97 81

N.S.

1 1.19 1.00 0.86 1.08 3.02 1.39 0.98 0.82

time (sec)

N/A 0.240 0.092 2.392 0.269 0.267 8.419 0.286 6.389

Problem 1370

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

99 97 99 702 0 383 0 0 221

N.S.

1 0.98 1.00 7.09 0.00 3.87 0.00 0.00 2.23

time (sec)

N/A 0.740 1.284 6.237 0.000 0.280 0.000 0.000 0.251

Problem 1371

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

99 457 99 591 0 403 0 0 505

N.S.

1 4.62 1.00 5.97 0.00 4.07 0.00 0.00 5.10

time (sec)

N/A 0.988 1.592 10.030 0.000 0.304 0.000 0.000 6.221

Problem 1372

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

99 450 99 584 0 360 0 0 509

N.S.

1 4.55 1.00 5.90 0.00 3.64 0.00 0.00 5.14

time (sec)

N/A 1.091 1.380 8.796 0.000 0.286 0.000 0.000 0.095

Problem 1373

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

99 95 92 91 103 88 68 81 186

N.S.

1 0.96 0.93 0.92 1.04 0.89 0.69 0.82 1.88

time (sec)

N/A 0.222 0.115 3.431 0.282 0.252 87.353 0.276 6.212

Problem 1374

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

99 95 92 91 103 88 68 81 187

N.S.

1 0.96 0.93 0.92 1.04 0.89 0.69 0.82 1.89

time (sec)

N/A 0.217 0.105 3.033 0.273 0.263 126.842 0.278 6.486

Problem 1375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 0 137 676 0 373 0 0 0

N.S.

1 0.00 1.38 6.83 0.00 3.77 0.00 0.00 0.00

time (sec)

N/A 0.000 3.080 30.751 0.000 0.375 0.000 0.000 0.000

Problem 1377

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

99 356 130 105 38 0 32 38 40

N.S.

1 3.60 1.31 1.06 0.38 0.00 0.32 0.38 0.40

time (sec)

N/A 1.583 1.104 2.376 0.248 0.000 20.471 0.934 7.198

Problem 1378

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

99 356 130 105 38 0 32 38 40

N.S.

1 3.60 1.31 1.06 0.38 0.00 0.32 0.38 0.40

time (sec)

N/A 1.354 0.004 0.000 0.242 0.000 19.810 0.959 0.003

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 142 116 113 0 232 0 243 38

N.S.

1 1.43 1.17 1.14 0.00 2.34 0.00 2.45 0.38

time (sec)

N/A 0.311 0.380 2.387 0.000 0.269 0.000 0.277 6.177

Problem 1380

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

99 94 92 108 93 88 32 81 116

N.S.

1 0.95 0.93 1.09 0.94 0.89 0.32 0.82 1.17

time (sec)

N/A 0.209 0.129 7.931 0.274 0.260 1.842 0.268 6.385

Problem 1381

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

99 483 99 64 35 0 31 35 37

N.S.

1 4.88 1.00 0.65 0.35 0.00 0.31 0.35 0.37

time (sec)

N/A 1.324 0.902 1.235 0.243 0.000 64.170 0.905 6.262

Problem 1382

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

99 946 116 86 42 0 34 3 40

N.S.

1 9.56 1.17 0.87 0.42 0.00 0.34 0.03 0.40

time (sec)

N/A 2.656 16.300 1.725 0.252 0.000 71.513 19.027 6.707

Problem 1383

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

99 946 116 86 42 0 34 3 40

N.S.

1 9.56 1.17 0.87 0.42 0.00 0.34 0.03 0.40

time (sec)

N/A 1.952 0.048 0.000 0.260 0.000 68.413 18.697 0.003

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 0 64371 867 0 944 0 0 0

N.S.

1 0.00 650.21 8.76 0.00 9.54 0.00 0.00 0.00

time (sec)

N/A 0.000 74.453 1.684 0.000 0.533 0.000 0.000 0.000

Problem 1385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 0 99 25 27 0 26 27 27

N.S.

1 0.00 1.00 0.25 0.27 0.00 0.26 0.27 0.27

time (sec)

N/A 0.000 0.616 0.062 0.334 0.000 1.042 0.348 6.193

Problem 1386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 0 99 25 27 0 26 27 27

N.S.

1 0.00 1.00 0.25 0.27 0.00 0.26 0.27 0.27

time (sec)

N/A 0.000 0.001 0.000 0.310 0.000 1.037 0.370 0.002

Problem 1387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

100 1288 1373 92 0 344 0 0 0

N.S.

1 12.88 13.73 0.92 0.00 3.44 0.00 0.00 0.00

time (sec)

N/A 4.372 16.375 3.263 0.000 0.543 0.000 0.000 0.000

Problem 1388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

100 1193 1374 96 0 342 0 0 0

N.S.

1 11.93 13.74 0.96 0.00 3.42 0.00 0.00 0.00

time (sec)

N/A 3.899 16.242 2.617 0.000 0.532 0.000 0.000 0.000

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

100 112 151 17 0 96 0 77 0

N.S.

1 1.12 1.51 0.17 0.00 0.96 0.00 0.77 0.00

time (sec)

N/A 0.272 0.716 2.382 0.000 0.358 0.000 0.277 0.000

Problem 1390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

100 0 87 511 0 138 0 0 0

N.S.

1 0.00 0.87 5.11 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.000 0.129 1.923 0.000 0.708 0.000 0.000 0.000

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 103 131 15 0 102 0 63 27

N.S.

1 1.03 1.31 0.15 0.00 1.02 0.00 0.63 0.27

time (sec)

N/A 0.212 0.177 0.697 0.000 0.239 0.000 0.280 6.262

Problem 1392

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

100 117 93 74 146 88 0 85 232

N.S.

1 1.17 0.93 0.74 1.46 0.88 0.00 0.85 2.32

time (sec)

N/A 0.219 0.167 2.453 0.273 0.263 0.000 0.268 7.111

Problem 1393

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 105 0 147 0 0 0

N.S.

1 0.00 1.00 1.05 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.000 2.475 5.352 0.000 3.125 0.000 0.000 0.000

Problem 1394

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 105 0 144 0 0 0

N.S.

1 0.00 1.00 1.05 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.000 2.497 4.265 0.000 1.845 0.000 0.000 0.000

Problem 1395

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 548 132 63 37 0 31 37 37

N.S.

1 5.48 1.32 0.63 0.37 0.00 0.31 0.37 0.37

time (sec)

N/A 1.512 0.853 0.379 0.231 0.000 7.241 3.661 6.430

Problem 1396

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 548 132 63 37 0 31 37 37

N.S.

1 5.48 1.32 0.63 0.37 0.00 0.31 0.37 0.37

time (sec)

N/A 1.185 0.002 0.000 0.240 0.000 7.099 3.518 0.002

Problem 1397

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

100 505 100 69 30 0 0 30 32

N.S.

1 5.05 1.00 0.69 0.30 0.00 0.00 0.30 0.32

time (sec)

N/A 1.022 0.200 83.211 0.336 0.000 0.000 0.289 6.547

Problem 1398

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

100 505 100 69 30 0 0 30 32

N.S.

1 5.05 1.00 0.69 0.30 0.00 0.00 0.30 0.32

time (sec)

N/A 0.870 0.002 0.000 0.306 0.000 0.000 0.288 0.002

Problem 1399

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

100 0 100 115 0 141 0 0 0

N.S.

1 0.00 1.00 1.15 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.000 9.233 20.929 0.000 8.079 0.000 0.000 0.000

Problem 1400

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 1.302 0.845 0.289 0.236 0.000 66.543 1.624 6.310

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