[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 A A A A F B

verified

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

size

24 0 30 22 21 23 20 0 21

N.S.

1 0.00 1.25 0.92 0.88 0.96 0.83 0.00 0.88

time (sec)

N/A 0.000 1.118 1.555 0.392 0.245 0.250 0.000 11.104

Problem 1302

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

18 18 18 16 13 26 15 20 15

N.S.

1 1.00 1.00 0.89 0.72 1.44 0.83 1.11 0.83

time (sec)

N/A 0.315 0.049 1.751 0.232 0.241 0.045 0.250 10.365

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

24 0 0 25 19 25 22 36 36

N.S.

1 0.00 0.00 1.04 0.79 1.04 0.92 1.50 1.50

time (sec)

N/A 0.000 0.000 2.374 0.413 0.273 0.276 0.253 11.979

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 73 68 59 67 71 65 66 71

N.S.

1 3.48 3.24 2.81 3.19 3.38 3.10 3.14 3.38

time (sec)

N/A 0.359 0.038 0.418 0.210 0.242 0.162 0.246 10.002

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 18 19 18 18 20 29 14

N.S.

1 0.00 0.90 0.95 0.90 0.90 1.00 1.45 0.70

time (sec)

N/A 0.000 0.040 0.280 0.242 0.260 0.611 0.254 11.093

Problem 1306

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

21 26 25 21 25 25 22 25 23

N.S.

1 1.24 1.19 1.00 1.19 1.19 1.05 1.19 1.10

time (sec)

N/A 0.153 0.002 0.415 0.216 0.240 0.022 0.254 10.563

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 39 17 23 165 24 22 24 22

N.S.

1 1.44 0.63 0.85 6.11 0.89 0.81 0.89 0.81

time (sec)

N/A 0.223 0.082 0.460 0.260 0.253 0.073 0.257 0.113

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F A A A B B

verified

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

size

29 0 40 0 38 46 46 106 44

N.S.

1 0.00 1.38 0.00 1.31 1.59 1.59 3.66 1.52

time (sec)

N/A 0.000 0.253 0.000 0.375 0.252 0.591 3.020 11.414

Problem 1309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 22 41 30 29 42 40 0

N.S.

1 0.00 1.00 1.86 1.36 1.32 1.91 1.82 0.00

time (sec)

N/A 0.000 0.378 1.615 0.340 0.230 0.124 0.320 0.000

Problem 1310

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

23 28 24 25 43 38 22 32 24

N.S.

1 1.22 1.04 1.09 1.87 1.65 0.96 1.39 1.04

time (sec)

N/A 0.551 0.138 19.572 0.315 0.230 0.070 0.276 11.433

Problem 1311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 73 29 31 30 30 26 30 33

N.S.

1 2.61 1.04 1.11 1.07 1.07 0.93 1.07 1.18

time (sec)

N/A 0.347 0.148 0.441 0.301 0.235 0.091 0.263 10.672

Problem 1312

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

19 16 17 16 16 15 17 16 19

N.S.

1 0.84 0.89 0.84 0.84 0.79 0.89 0.84 1.00

time (sec)

N/A 0.285 0.093 0.707 0.277 0.251 0.059 0.249 11.416

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

30 0 32 34 33 33 32 33 36

N.S.

1 0.00 1.07 1.13 1.10 1.10 1.07 1.10 1.20

time (sec)

N/A 0.000 0.337 0.330 0.276 0.243 0.142 0.461 10.408

Problem 1314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 19 39 38 34 19 38 18

N.S.

1 0.00 0.95 1.95 1.90 1.70 0.95 1.90 0.90

time (sec)

N/A 0.000 0.273 0.801 0.331 0.243 0.129 0.266 10.836

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 27 27 25 61 24 22 68 22

N.S.

1 0.96 0.96 0.89 2.18 0.86 0.79 2.43 0.79

time (sec)

N/A 0.386 0.172 0.215 0.357 0.238 0.085 0.288 11.627

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 25 25 36 36 0 24 24

N.S.

1 0.00 0.86 0.86 1.24 1.24 0.00 0.83 0.83

time (sec)

N/A 0.000 3.747 0.054 0.248 0.252 0.000 0.282 0.266

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 141 76 61 108 56 61 118 31

N.S.

1 4.86 2.62 2.10 3.72 1.93 2.10 4.07 1.07

time (sec)

N/A 0.268 0.102 0.059 0.205 0.238 0.102 0.259 10.645

Problem 1318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B A B

verified

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

size

26 0 70 42 61 63 51 33 59

N.S.

1 0.00 2.69 1.62 2.35 2.42 1.96 1.27 2.27

time (sec)

N/A 0.000 0.359 0.309 0.315 0.247 0.328 0.256 7.214

Problem 1319

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

19 28 21 20 25 19 20 19 19

N.S.

1 1.47 1.11 1.05 1.32 1.00 1.05 1.00 1.00

time (sec)

N/A 0.191 0.021 0.021 0.198 0.266 0.057 0.242 0.037

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

23 0 25 42 34 73 37 38 99

N.S.

1 0.00 1.09 1.83 1.48 3.17 1.61 1.65 4.30

time (sec)

N/A 0.000 0.198 0.848 0.249 0.234 0.087 0.339 8.306

Problem 1321

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

25 27 25 23 27 22 17 129 25

N.S.

1 1.08 1.00 0.92 1.08 0.88 0.68 5.16 1.00

time (sec)

N/A 0.834 0.080 12.362 0.426 0.241 0.469 2.737 11.543

Problem 1322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 107 34 32 108 72 136 256 1729

N.S.

1 3.24 1.03 0.97 3.27 2.18 4.12 7.76 52.39

time (sec)

N/A 2.949 5.201 169.665 0.374 0.244 0.348 1.766 12.562

Problem 1323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 40 16 16 15 26 17 15 17

N.S.

1 2.50 1.00 1.00 0.94 1.62 1.06 0.94 1.06

time (sec)

N/A 0.340 0.024 0.062 0.277 0.252 0.100 0.241 0.090

Problem 1324

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

21 5 7 6 7 7 5 7 5

N.S.

1 0.24 0.33 0.29 0.33 0.33 0.24 0.33 0.24

time (sec)

N/A 0.119 0.000 0.012 0.196 0.236 0.018 0.244 0.031

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A B B

verified

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

size

36 0 64 36 76 86 48 82 34

N.S.

1 0.00 1.78 1.00 2.11 2.39 1.33 2.28 0.94

time (sec)

N/A 0.000 0.104 0.379 0.350 0.243 0.107 0.351 11.003

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 69 37 0 34 32 72 64

N.S.

1 0.00 2.76 1.48 0.00 1.36 1.28 2.88 2.56

time (sec)

N/A 0.000 0.184 1.387 0.000 0.246 0.294 0.292 11.359

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 41 54 25 58 65 83 58 196

N.S.

1 1.78 2.35 1.09 2.52 2.83 3.61 2.52 8.52

time (sec)

N/A 0.251 0.033 0.091 0.185 0.242 0.392 0.252 11.082

Problem 1328

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

15 26 19 15 22 14 17 22 13

N.S.

1 1.73 1.27 1.00 1.47 0.93 1.13 1.47 0.87

time (sec)

N/A 0.148 0.001 0.010 0.186 0.233 0.019 0.246 0.303

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 28 24 24 24 26 28 23

N.S.

1 0.00 1.22 1.04 1.04 1.04 1.13 1.22 1.00

time (sec)

N/A 0.000 0.383 0.077 0.314 0.242 0.113 0.251 10.747

Problem 1330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A A F B

verified

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

size

23 23 23 0 54 39 34 0 39

N.S.

1 1.00 1.00 0.00 2.35 1.70 1.48 0.00 1.70

time (sec)

N/A 13.617 0.115 0.000 0.293 0.255 3.771 0.000 16.736

Problem 1331

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

23 12 12 13 10 15 8 10 11

N.S.

1 0.52 0.52 0.57 0.43 0.65 0.35 0.43 0.48

time (sec)

N/A 0.184 0.006 0.023 0.182 0.234 0.053 0.241 11.420

Problem 1332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 25 25 24 25 27 24 0

N.S.

1 0.00 0.89 0.89 0.86 0.89 0.96 0.86 0.00

time (sec)

N/A 0.000 0.344 0.240 0.239 0.239 0.135 0.300 0.000

Problem 1333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 23 22 22 22 22 22 33

N.S.

1 0.00 0.82 0.79 0.79 0.79 0.79 0.79 1.18

time (sec)

N/A 0.000 0.118 0.394 0.232 0.239 0.054 0.247 11.526

Problem 1334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A C A A A B

verified

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

size

26 0 0 39 40 23 41 41 41

N.S.

1 0.00 0.00 1.50 1.54 0.88 1.58 1.58 1.58

time (sec)

N/A 0.000 0.000 0.207 0.310 0.244 0.223 0.292 10.836

Problem 1335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

19 0 18 18 31 35 34 17 29

N.S.

1 0.00 0.95 0.95 1.63 1.84 1.79 0.89 1.53

time (sec)

N/A 0.000 0.639 0.111 0.216 0.248 0.371 0.253 10.956

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 44 38 47 40 58 0 0

N.S.

1 0.00 1.26 1.09 1.34 1.14 1.66 0.00 0.00

time (sec)

N/A 0.000 0.123 0.195 0.269 0.243 0.171 0.000 0.000

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

24 0 24 2484 35 34 27 46 35

N.S.

1 0.00 1.00 103.50 1.46 1.42 1.12 1.92 1.46

time (sec)

N/A 0.000 0.110 149.494 0.335 0.250 0.633 0.447 11.564

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

32 0 32 26 24 26 31 28 27

N.S.

1 0.00 1.00 0.81 0.75 0.81 0.97 0.88 0.84

time (sec)

N/A 0.000 1.280 0.031 0.220 0.251 0.116 0.291 0.113

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 38 0 33 36 34 50 36

N.S.

1 0.00 1.19 0.00 1.03 1.12 1.06 1.56 1.12

time (sec)

N/A 0.000 0.266 0.000 0.241 0.281 0.185 296.218 11.086

Problem 1340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 26 23 0 25 20 0 0

N.S.

1 0.00 0.96 0.85 0.00 0.93 0.74 0.00 0.00

time (sec)

N/A 0.000 0.169 0.187 0.000 0.241 0.098 0.000 0.000

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 36 18 15 0 14 15 14 14

N.S.

1 1.80 0.90 0.75 0.00 0.70 0.75 0.70 0.70

time (sec)

N/A 0.195 0.026 0.046 0.000 0.237 0.079 0.262 10.308

Problem 1342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 124 42 30 135 36 29 47 37

N.S.

1 4.96 1.68 1.20 5.40 1.44 1.16 1.88 1.48

time (sec)

N/A 0.426 0.109 0.060 0.327 0.239 0.085 0.264 10.187

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

28 0 36 26 21 89 29 52 22

N.S.

1 0.00 1.29 0.93 0.75 3.18 1.04 1.86 0.79

time (sec)

N/A 0.000 0.121 124.316 0.320 0.250 2.751 0.273 0.326

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 30 28 27 27 26 27 27

N.S.

1 0.00 1.30 1.22 1.17 1.17 1.13 1.17 1.17

time (sec)

N/A 0.000 4.513 0.065 0.329 0.246 0.098 0.278 10.681

Problem 1345

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

22 20 18 18 20 20 20 35 17

N.S.

1 0.91 0.82 0.82 0.91 0.91 0.91 1.59 0.77

time (sec)

N/A 0.294 0.027 0.034 0.185 0.242 0.051 0.254 10.973

Problem 1346

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

12 7 7 8 7 7 7 7 7

N.S.

1 0.58 0.58 0.67 0.58 0.58 0.58 0.58 0.58

time (sec)

N/A 0.125 0.000 0.005 0.194 0.219 0.022 0.260 0.003

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 313 16 16 15 15 12 15 15

N.S.

1 13.61 0.70 0.70 0.65 0.65 0.52 0.65 0.65

time (sec)

N/A 0.820 0.334 0.048 0.231 0.236 0.052 0.255 0.200

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 36 32 37 67 64 31 223 37

N.S.

1 1.57 1.39 1.61 2.91 2.78 1.35 9.70 1.61

time (sec)

N/A 1.861 0.120 0.941 0.351 0.281 0.164 0.570 94.320

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 71 28 21 20 20 0 0 22

N.S.

1 2.54 1.00 0.75 0.71 0.71 0.00 0.00 0.79

time (sec)

N/A 0.401 1.466 9.025 0.631 0.257 0.000 0.000 10.444

Problem 1350

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

18 7 7 8 7 9 3 7 7

N.S.

1 0.39 0.39 0.44 0.39 0.50 0.17 0.39 0.39

time (sec)

N/A 0.130 0.001 0.009 0.186 0.242 0.024 0.247 0.033

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 15 15 11 45 11 0 11 10

N.S.

1 1.07 1.07 0.79 3.21 0.79 0.00 0.79 0.71

time (sec)

N/A 0.172 1.166 0.023 0.211 0.249 0.000 0.262 10.428

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 21 24 32 32 19 32 23

N.S.

1 0.00 0.75 0.86 1.14 1.14 0.68 1.14 0.82

time (sec)

N/A 0.000 0.438 0.070 0.305 0.260 0.052 0.289 0.180

Problem 1353

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

17 18 17 23 26 20 17 22 16

N.S.

1 1.06 1.00 1.35 1.53 1.18 1.00 1.29 0.94

time (sec)

N/A 0.439 0.053 0.134 0.249 0.239 2.067 0.269 10.861

Problem 1354

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

27 48 26 25 33 33 34 33 22

N.S.

1 1.78 0.96 0.93 1.22 1.22 1.26 1.22 0.81

time (sec)

N/A 0.202 0.005 0.018 0.180 0.257 0.025 0.261 10.318

Problem 1355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 54 30 57 57 29 53 0

N.S.

1 0.00 2.84 1.58 3.00 3.00 1.53 2.79 0.00

time (sec)

N/A 0.000 0.756 0.257 0.227 0.244 0.288 0.261 0.000

Problem 1356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 94 51 32 69 31 31 68 58

N.S.

1 3.76 2.04 1.28 2.76 1.24 1.24 2.72 2.32

time (sec)

N/A 0.767 1.025 0.550 0.379 0.244 0.152 0.294 11.215

Problem 1357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

29 0 24 23 37 35 19 28 40

N.S.

1 0.00 0.83 0.79 1.28 1.21 0.66 0.97 1.38

time (sec)

N/A 0.000 0.290 4.541 0.320 0.254 0.104 0.337 11.559

Problem 1358

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

21 28 36 26 27 27 27 27 24

N.S.

1 1.33 1.71 1.24 1.29 1.29 1.29 1.29 1.14

time (sec)

N/A 0.149 0.003 0.013 0.194 0.226 0.029 0.261 0.048

Problem 1359

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

22 19 26 23 19 24 27 24 23

N.S.

1 0.86 1.18 1.05 0.86 1.09 1.23 1.09 1.05

time (sec)

N/A 0.462 0.192 0.080 0.218 0.238 0.098 0.263 11.890

Problem 1360

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

20 13 13 14 13 13 10 13 13

N.S.

1 0.65 0.65 0.70 0.65 0.65 0.50 0.65 0.65

time (sec)

N/A 0.320 0.014 0.086 0.223 0.244 0.070 0.260 11.790

Problem 1361

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

6 6 6 7 6 6 7 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 1.17 1.00 1.00

time (sec)

N/A 0.138 0.003 0.017 0.183 0.249 0.044 0.259 12.071

Problem 1362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

30 0 35 30 37 41 37 29 29

N.S.

1 0.00 1.17 1.00 1.23 1.37 1.23 0.97 0.97

time (sec)

N/A 0.000 5.360 0.179 0.248 0.248 0.373 0.284 13.456

Problem 1363

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

29 34 34 28 33 37 26 31 27

N.S.

1 1.17 1.17 0.97 1.14 1.28 0.90 1.07 0.93

time (sec)

N/A 1.249 5.071 0.218 0.227 0.265 0.151 0.274 12.637

Problem 1364

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

23 19 19 18 17 17 19 18 17

N.S.

1 0.83 0.83 0.78 0.74 0.74 0.83 0.78 0.74

time (sec)

N/A 0.136 0.008 0.063 0.183 0.231 0.042 0.260 10.985

Problem 1365

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

14 13 11 10 9 9 10 9 11

N.S.

1 0.93 0.79 0.71 0.64 0.64 0.71 0.64 0.79

time (sec)

N/A 0.137 0.002 0.015 0.182 0.235 0.032 0.257 10.903

Problem 1366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 19 17 13 12 23 12 0 12

N.S.

1 0.90 0.81 0.62 0.57 1.10 0.57 0.00 0.57

time (sec)

N/A 0.213 0.023 0.056 0.262 0.245 0.081 0.000 10.597

Problem 1367

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

20 11 15 7 9 9 10 9 6

N.S.

1 0.55 0.75 0.35 0.45 0.45 0.50 0.45 0.30

time (sec)

N/A 0.121 0.001 0.006 0.203 0.224 0.017 0.256 0.034

Problem 1368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 14 14 14 0 13 14 20 13

N.S.

1 0.82 0.82 0.82 0.00 0.76 0.82 1.18 0.76

time (sec)

N/A 0.438 0.069 1.126 0.000 0.249 0.118 0.275 10.990

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

13 11 11 10 9 9 8 9 9

N.S.

1 0.85 0.85 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.232 0.020 0.013 0.216 0.240 0.046 0.266 11.011

Problem 1370

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

16 17 13 11 10 10 10 10 10

N.S.

1 1.06 0.81 0.69 0.62 0.62 0.62 0.62 0.62

time (sec)

N/A 0.162 0.005 0.014 0.209 0.243 0.050 0.253 0.041

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

29 0 27 25 23 24 34 50 24

N.S.

1 0.00 0.93 0.86 0.79 0.83 1.17 1.72 0.83

time (sec)

N/A 0.000 0.621 157.733 0.280 0.240 0.291 49.180 14.293

Problem 1372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A A B

verified

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

size

37 26 0 26 38 34 29 27 35

N.S.

1 0.70 0.00 0.70 1.03 0.92 0.78 0.73 0.95

time (sec)

N/A 0.484 0.000 0.211 0.317 0.242 0.191 0.287 15.328

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

36 0 46 45 42 48 24 48 27

N.S.

1 0.00 1.28 1.25 1.17 1.33 0.67 1.33 0.75

time (sec)

N/A 0.000 0.123 57.074 0.494 0.239 0.971 84.039 14.093

Problem 1374

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

33 16 16 14 13 13 14 13 14

N.S.

1 0.48 0.48 0.42 0.39 0.39 0.42 0.39 0.42

time (sec)

N/A 0.187 0.021 0.018 0.197 0.239 0.048 0.256 0.133

Problem 1375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

31 0 21 21 0 20 15 30 20

N.S.

1 0.00 0.68 0.68 0.00 0.65 0.48 0.97 0.65

time (sec)

N/A 0.000 0.733 0.498 0.000 0.235 0.212 0.304 15.479

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 18 28 18 0 39 19 34 17

N.S.

1 0.75 1.17 0.75 0.00 1.62 0.79 1.42 0.71

time (sec)

N/A 0.360 0.411 0.041 0.000 0.261 0.074 0.264 0.238

Problem 1377

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

22 26 22 22 21 21 20 21 17

N.S.

1 1.18 1.00 1.00 0.95 0.95 0.91 0.95 0.77

time (sec)

N/A 0.209 0.078 0.020 0.182 0.229 0.043 0.260 0.089

Problem 1378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 31 22 18 270 45 32 179 24

N.S.

1 1.24 0.88 0.72 10.80 1.80 1.28 7.16 0.96

time (sec)

N/A 0.722 1.272 0.035 0.326 0.239 0.077 0.310 0.301

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 17 23 17 40 22 17 22 16

N.S.

1 0.65 0.88 0.65 1.54 0.85 0.65 0.85 0.62

time (sec)

N/A 0.284 0.080 0.030 0.230 0.234 0.048 0.262 14.456

Problem 1380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

26 0 42 44 66 44 37 0 42

N.S.

1 0.00 1.62 1.69 2.54 1.69 1.42 0.00 1.62

time (sec)

N/A 0.000 0.178 28.224 1.175 0.243 2.672 0.000 15.458

Problem 1381

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

23 29 28 29 40 33 37 33 38

N.S.

1 1.26 1.22 1.26 1.74 1.43 1.61 1.43 1.65

time (sec)

N/A 0.196 0.009 0.042 0.193 0.240 0.063 0.263 12.016

Problem 1382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 37 25 21 32 32 36 32 30

N.S.

1 1.32 0.89 0.75 1.14 1.14 1.29 1.14 1.07

time (sec)

N/A 0.169 0.008 0.019 0.190 0.225 0.026 0.261 11.513

Problem 1383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 170 24 107 0 77 148 285 0

N.S.

1 7.08 1.00 4.46 0.00 3.21 6.17 11.88 0.00

time (sec)

N/A 1.664 0.175 0.131 0.000 0.258 0.273 0.274 0.000

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 117 71 32 115 19 29 42 31

N.S.

1 5.85 3.55 1.60 5.75 0.95 1.45 2.10 1.55

time (sec)

N/A 0.413 0.091 0.116 0.338 0.240 0.172 0.277 11.926

Problem 1385

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

24 22 22 20 19 19 17 44 20

N.S.

1 0.92 0.92 0.83 0.79 0.79 0.71 1.83 0.83

time (sec)

N/A 0.230 0.046 0.047 0.188 0.237 0.120 0.278 0.120

Problem 1386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B F B

verified

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

size

34 0 66 60 58 63 65 0 56

N.S.

1 0.00 1.94 1.76 1.71 1.85 1.91 0.00 1.65

time (sec)

N/A 0.000 0.184 11.616 0.547 0.247 0.238 0.000 13.542

Problem 1387

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

25 28 29 26 26 34 32 30 4850

N.S.

1 1.12 1.16 1.04 1.04 1.36 1.28 1.20 194.00

time (sec)

N/A 0.261 0.033 0.050 0.199 0.223 0.691 0.268 16.586

Problem 1388

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

28 36 30 17 16 16 14 17 16

N.S.

1 1.29 1.07 0.61 0.57 0.57 0.50 0.61 0.57

time (sec)

N/A 0.210 0.036 0.033 0.190 0.228 0.050 0.260 0.178

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 79 74 159 41 0 85 0

N.S.

1 0.00 3.04 2.85 6.12 1.58 0.00 3.27 0.00

time (sec)

N/A 0.000 3.102 19.701 0.344 0.256 0.000 1.076 0.000

Problem 1390

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

8 8 8 8 7 7 5 7 7

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.62 0.88 0.88

time (sec)

N/A 0.123 0.000 0.011 0.184 0.227 0.021 0.265 0.023

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 40 36 28 68 63 20 87 27

N.S.

1 1.38 1.24 0.97 2.34 2.17 0.69 3.00 0.93

time (sec)

N/A 1.793 2.954 0.569 0.298 0.244 0.141 0.295 0.743

Problem 1392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 31 30 25 31 32 24 32 28

N.S.

1 1.03 1.00 0.83 1.03 1.07 0.80 1.07 0.93

time (sec)

N/A 0.281 0.099 0.057 0.220 0.252 0.088 0.260 13.428

Problem 1393

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

21 36 28 26 31 30 34 32 26

N.S.

1 1.71 1.33 1.24 1.48 1.43 1.62 1.52 1.24

time (sec)

N/A 0.266 0.012 0.024 0.185 0.231 0.204 0.260 0.156

Problem 1394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 20 18 373 19 20 36 19

N.S.

1 0.91 0.91 0.82 16.95 0.86 0.91 1.64 0.86

time (sec)

N/A 0.211 0.311 0.045 0.285 0.245 0.083 0.261 13.614

Problem 1395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 32 34 51 51 39 33 47

N.S.

1 0.00 1.14 1.21 1.82 1.82 1.39 1.18 1.68

time (sec)

N/A 0.000 0.214 25.648 0.258 0.267 0.362 0.339 12.345

Problem 1396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 33 40 39 40 37 33 36

N.S.

1 0.00 1.18 1.43 1.39 1.43 1.32 1.18 1.29

time (sec)

N/A 0.000 0.180 1.556 0.342 0.254 0.489 0.400 10.370

Problem 1397

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

14 21 21 16 16 16 19 16 15

N.S.

1 1.50 1.50 1.14 1.14 1.14 1.36 1.14 1.07

time (sec)

N/A 0.152 0.004 0.023 0.195 0.238 0.056 0.260 0.048

Problem 1398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 23 64 71 62 54 66 97 66

N.S.

1 0.85 2.37 2.63 2.30 2.00 2.44 3.59 2.44

time (sec)

N/A 0.835 0.062 0.426 0.323 0.243 0.217 0.378 10.850

Problem 1399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 21 21 19 0 18 17 21 18

N.S.

1 0.84 0.84 0.76 0.00 0.72 0.68 0.84 0.72

time (sec)

N/A 0.411 0.020 0.081 0.000 0.239 0.114 0.257 10.818

Problem 1400

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

27 34 29 29 28 32 29 32 32

N.S.

1 1.26 1.07 1.07 1.04 1.19 1.07 1.19 1.19

time (sec)

N/A 0.221 0.504 0.040 0.218 0.242 0.066 0.264 0.172

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