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

2.2.16 Integrals 1501 to 1600

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 25 25 23 22 22 22 22 22

N.S.

1 1.14 1.14 1.05 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.418 0.049 0.111 0.499 0.362 0.060 0.410 1.099

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 31 30 29 0 32 29 33 28

N.S.

1 1.24 1.20 1.16 0.00 1.28 1.16 1.32 1.12

time (sec)

N/A 0.077 0.060 0.165 0.000 0.350 0.201 0.380 1.139

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 24 24 21 20 24 20 24 21

N.S.

1 0.89 0.89 0.78 0.74 0.89 0.74 0.89 0.78

time (sec)

N/A 0.017 0.009 0.061 0.260 0.355 0.054 0.385 0.065

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 143 28 36 30 32 27 28 57

N.S.

1 5.30 1.04 1.33 1.11 1.19 1.00 1.04 2.11

time (sec)

N/A 0.587 0.178 0.214 0.362 0.353 0.106 0.425 1.161

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A F(-2) B

verified

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

size

26 0 26 21 0 29 20 0 20

N.S.

1 0.00 1.00 0.81 0.00 1.12 0.77 0.00 0.77

time (sec)

N/A 12.161 0.207 0.116 0.000 0.341 1.072 0.000 1.186

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-2) A F

verified

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

size

33 0 44 43 48 58 0 44 -1

N.S.

1 0.00 1.33 1.30 1.45 1.76 0.00 1.33 -0.03

time (sec)

N/A 2.991 0.089 0.455 0.511 0.351 0.000 0.428 0.000

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 47 733 31 31 0 0 76

N.S.

1 0.00 1.74 27.15 1.15 1.15 0.00 0.00 2.81

time (sec)

N/A 3.088 0.086 1.152 0.315 0.357 0.000 0.000 1.646

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F(-2) A A A B

verified

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

size

25 0 25 21 0 20 17 19 24

N.S.

1 0.00 1.00 0.84 0.00 0.80 0.68 0.76 0.96

time (sec)

N/A 1.466 0.662 0.153 0.000 0.350 0.062 0.388 1.109

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 69 51 103 262 36 37 36 36

N.S.

1 3.29 2.43 4.90 12.48 1.71 1.76 1.71 1.71

time (sec)

N/A 0.175 0.023 0.252 0.263 0.352 0.085 0.400 1.144

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B F

verified

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

size

24 0 24 69 57 61 76 97 -1

N.S.

1 0.00 1.00 2.88 2.38 2.54 3.17 4.04 -0.04

time (sec)

N/A 5.617 0.153 0.029 0.301 0.354 0.226 0.407 0.000

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 1460 72 29 0 39 -1

N.S.

1 0.00 0.00 56.15 2.77 1.12 0.00 1.50 -0.04

time (sec)

N/A 2.475 0.141 0.522 0.502 0.357 0.000 0.419 0.000

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 19 30 19 80 18 12 18 19

N.S.

1 0.83 1.30 0.83 3.48 0.78 0.52 0.78 0.83

time (sec)

N/A 0.613 0.081 0.266 0.518 0.343 0.118 0.400 1.266

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

34 0 35 940 46 34 34 54 36

N.S.

1 0.00 1.03 27.65 1.35 1.00 1.00 1.59 1.06

time (sec)

N/A 1.452 10.168 0.270 0.311 0.340 0.054 0.396 0.239

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 22 86 18 20 17 0 21

N.S.

1 1.00 1.00 3.91 0.82 0.91 0.77 0.00 0.95

time (sec)

N/A 0.216 0.099 0.373 0.317 0.375 0.195 0.000 1.033

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 33 33 34 25 25 37 25 34

N.S.

1 1.03 1.03 1.06 0.78 0.78 1.16 0.78 1.06

time (sec)

N/A 0.006 0.002 0.050 0.254 0.346 0.009 0.384 0.050

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 30 30 34 51 41 34 33 34

N.S.

1 1.07 1.07 1.21 1.82 1.46 1.21 1.18 1.21

time (sec)

N/A 0.184 0.078 0.368 0.287 0.383 0.207 0.422 1.281

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

31 0 34 48 31 38 24 80 29

N.S.

1 0.00 1.10 1.55 1.00 1.23 0.77 2.58 0.94

time (sec)

N/A 1.739 0.057 0.243 0.286 0.350 0.066 0.409 1.198

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A B B

verified

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

size

34 0 52 132 33 68 31 167 407

N.S.

1 0.00 1.53 3.88 0.97 2.00 0.91 4.91 11.97

time (sec)

N/A 0.755 0.702 4.996 0.542 0.340 0.115 0.462 2.012

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 23 22 24 21 17 21 22

N.S.

1 0.00 1.21 1.16 1.26 1.11 0.89 1.11 1.16

time (sec)

N/A 0.884 0.097 0.023 0.282 0.369 0.123 0.417 1.147

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 24 19 18 22 17 22 18

N.S.

1 1.00 1.14 0.90 0.86 1.05 0.81 1.05 0.86

time (sec)

N/A 0.797 0.134 0.118 0.521 0.345 0.053 0.422 1.121

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 26 17 27 27 14 27 16

N.S.

1 0.00 1.00 0.65 1.04 1.04 0.54 1.04 0.62

time (sec)

N/A 0.619 1.141 0.040 0.293 0.354 0.109 0.392 1.040

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 3777 34 10281 0 64 0 80 68

N.S.

1 118.03 1.06 321.28 0.00 2.00 0.00 2.50 2.12

time (sec)

N/A 5.091 5.702 0.267 0.000 0.363 0.000 0.428 1.790

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 68 47 35 44 49 39 34 34

N.S.

1 2.19 1.52 1.13 1.42 1.58 1.26 1.10 1.10

time (sec)

N/A 0.110 0.014 0.057 0.261 0.337 0.043 0.387 0.058

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 51 50 43 39 37 39 39 47

N.S.

1 2.04 2.00 1.72 1.56 1.48 1.56 1.56 1.88

time (sec)

N/A 0.038 0.017 0.369 0.258 0.331 0.114 0.392 1.037

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

28 0 33 384 260 76 71 81 49

N.S.

1 0.00 1.18 13.71 9.29 2.71 2.54 2.89 1.75

time (sec)

N/A 0.800 5.366 0.194 0.511 0.358 0.077 0.398 1.190

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

40 0 36 62 35 31 36 36 280

N.S.

1 0.00 0.90 1.55 0.88 0.78 0.90 0.90 7.00

time (sec)

N/A 4.825 0.091 0.056 0.362 0.381 0.128 0.419 1.286

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 15 15 12 11 11 14 11 10

N.S.

1 0.94 0.94 0.75 0.69 0.69 0.88 0.69 0.62

time (sec)

N/A 0.006 0.003 0.017 0.255 0.348 0.031 0.386 1.003

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 45 45 59 96 182 75 67 96

N.S.

1 1.50 1.50 1.97 3.20 6.07 2.50 2.23 3.20

time (sec)

N/A 0.448 0.056 0.140 0.258 0.351 0.692 0.390 1.293

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 17 17 20

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.89 0.89 1.05

time (sec)

N/A 0.849 0.713 0.441 0.544 0.361 0.380 0.399 0.218

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C C A A F B

verified

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

size

24 0 39 49 59 25 20 0 17

N.S.

1 0.00 1.62 2.04 2.46 1.04 0.83 0.00 0.71

time (sec)

N/A 1.138 0.131 0.422 0.528 0.376 0.400 0.000 1.308

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

9 9 9 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.003 0.001 0.058 0.258 0.356 0.026 0.384 0.017

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 11 16 15 12 12 14 13 12

N.S.

1 0.79 1.14 1.07 0.86 0.86 1.00 0.93 0.86

time (sec)

N/A 0.003 0.001 0.048 0.256 0.343 0.015 0.388 1.034

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 24 19 21 21 17 93 18

N.S.

1 1.00 1.26 1.00 1.11 1.11 0.89 4.89 0.95

time (sec)

N/A 0.531 0.069 1.560 0.298 0.359 0.208 0.604 1.404

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 22 16 26 15 24 14 23 13

N.S.

1 1.69 1.23 2.00 1.15 1.85 1.08 1.77 1.00

time (sec)

N/A 0.012 0.012 0.046 0.258 0.333 0.028 0.392 0.055

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 83 24 77 35 37 39 34 15

N.S.

1 2.68 0.77 2.48 1.13 1.19 1.26 1.10 0.48

time (sec)

N/A 0.042 0.097 0.165 0.256 0.363 0.065 0.391 0.361

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 28 28 179 25 33 27 25 24

N.S.

1 1.12 1.12 7.16 1.00 1.32 1.08 1.00 0.96

time (sec)

N/A 0.686 0.189 0.235 0.306 0.365 0.188 0.406 1.371

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

23 0 19 24 20 23 19 0 20

N.S.

1 0.00 0.83 1.04 0.87 1.00 0.83 0.00 0.87

time (sec)

N/A 0.482 0.081 0.244 0.297 0.367 108.166 0.000 1.221

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 41 25 24 23 23 27 23 25

N.S.

1 1.41 0.86 0.83 0.79 0.79 0.93 0.79 0.86

time (sec)

N/A 0.046 0.195 0.138 0.527 0.360 0.068 0.391 0.159

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

23 0 45 55 129 129 90 159 49

N.S.

1 0.00 1.96 2.39 5.61 5.61 3.91 6.91 2.13

time (sec)

N/A 4.655 0.097 0.164 0.306 0.359 0.200 0.427 1.322

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 32 25 29 25 25 27 20 23

N.S.

1 1.19 0.93 1.07 0.93 0.93 1.00 0.74 0.85

time (sec)

N/A 0.077 0.025 0.056 0.261 0.339 0.029 0.390 0.080

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 18 15 18 15 14 17 15 14

N.S.

1 0.95 0.79 0.95 0.79 0.74 0.89 0.79 0.74

time (sec)

N/A 0.010 0.005 0.066 0.254 0.331 0.036 0.374 1.078

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 116 27 105 95 29 26 41 31

N.S.

1 4.30 1.00 3.89 3.52 1.07 0.96 1.52 1.15

time (sec)

N/A 0.116 0.856 0.115 0.290 0.372 0.051 0.395 1.022

Problem 1543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 28 28 31 36 32 20 22 23

N.S.

1 1.04 1.04 1.15 1.33 1.19 0.74 0.81 0.85

time (sec)

N/A 0.142 0.025 0.110 0.279 0.377 0.051 0.403 1.028

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 16 28 30 17 20 21 17

N.S.

1 1.00 0.84 1.47 1.58 0.89 1.05 1.11 0.89

time (sec)

N/A 0.024 0.017 0.061 0.281 0.352 0.052 0.395 1.013

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B A A A A A F

verified

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

size

28 0 91 30 42 43 29 43 -1

N.S.

1 0.00 3.25 1.07 1.50 1.54 1.04 1.54 -0.04

time (sec)

N/A 2.213 0.093 0.272 0.493 0.360 0.076 0.416 0.000

Problem 1546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 24 21 21 20 21 20

N.S.

1 1.00 1.00 1.33 1.17 1.17 1.11 1.17 1.11

time (sec)

N/A 0.006 0.007 0.056 0.253 0.359 0.075 0.393 1.070

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 100 28 77 36 59 31 19 18

N.S.

1 5.00 1.40 3.85 1.80 2.95 1.55 0.95 0.90

time (sec)

N/A 0.107 0.013 0.113 0.257 0.356 0.140 0.385 1.037

Problem 1548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

26 0 24 24 34 35 27 23 24

N.S.

1 0.00 0.92 0.92 1.31 1.35 1.04 0.88 0.92

time (sec)

N/A 0.802 0.071 0.065 0.487 0.354 0.139 0.387 1.218

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 30 34 34 33 33 31 33 29

N.S.

1 1.67 1.89 1.89 1.83 1.83 1.72 1.83 1.61

time (sec)

N/A 0.015 0.014 0.064 0.253 0.355 0.032 0.380 1.002

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 23 34 20 19 18 19 18 17

N.S.

1 0.79 1.17 0.69 0.66 0.62 0.66 0.62 0.59

time (sec)

N/A 0.007 0.020 0.118 0.258 0.353 0.066 0.387 0.083

Problem 1551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 15 15 14 13 13 14 13 9

N.S.

1 1.15 1.15 1.08 1.00 1.00 1.08 1.00 0.69

time (sec)

N/A 0.005 0.003 0.069 0.255 0.368 0.028 0.387 1.002

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 43 18 0 29 23 20 22 -1

N.S.

1 1.79 0.75 0.00 1.21 0.96 0.83 0.92 -0.04

time (sec)

N/A 0.412 0.084 0.045 0.495 0.348 0.148 0.405 0.000

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 17 17 18 17 17 17 17 17

N.S.

1 0.89 0.89 0.95 0.89 0.89 0.89 0.89 0.89

time (sec)

N/A 0.205 0.044 0.192 0.490 0.405 0.070 0.389 0.109

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F C A A B B

verified

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

size

20 0 20 0 26 18 14 229 19

N.S.

1 0.00 1.00 0.00 1.30 0.90 0.70 11.45 0.95

time (sec)

N/A 0.965 0.041 1.529 0.498 0.353 0.085 0.434 1.375

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 24 24 34 20 20 19 20 20

N.S.

1 0.92 0.92 1.31 0.77 0.77 0.73 0.77 0.77

time (sec)

N/A 0.034 0.038 0.102 0.279 0.390 0.100 0.391 1.047

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 80 65 58 72 123 128 88 82

N.S.

1 2.96 2.41 2.15 2.67 4.56 4.74 3.26 3.04

time (sec)

N/A 0.113 0.041 0.357 0.254 0.331 0.268 0.401 0.251

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 8 8 10 7 7 8 7 7

N.S.

1 0.80 0.80 1.00 0.70 0.70 0.80 0.70 0.70

time (sec)

N/A 0.001 0.000 0.046 0.259 0.402 0.009 0.386 0.971

Problem 1558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 22 23 22 22 20 22 22

N.S.

1 0.00 1.16 1.21 1.16 1.16 1.05 1.16 1.16

time (sec)

N/A 0.466 0.080 0.716 0.486 0.389 0.147 0.405 1.094

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B A A F(-1) B

verified

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

size

32 0 82 71 70 44 36 0 95

N.S.

1 0.00 2.56 2.22 2.19 1.38 1.12 0.00 2.97

time (sec)

N/A 3.232 0.146 0.794 0.335 0.390 0.697 0.000 1.754

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 72 51 94 63 68 71 77 79

N.S.

1 2.67 1.89 3.48 2.33 2.52 2.63 2.85 2.93

time (sec)

N/A 0.065 0.173 0.247 0.467 0.382 0.153 0.386 1.067

Problem 1561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 56 26 42 45 33 36 33 37

N.S.

1 2.55 1.18 1.91 2.05 1.50 1.64 1.50 1.68

time (sec)

N/A 0.115 0.129 0.034 0.259 0.383 0.049 0.399 0.058

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A F B

verified

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

size

27 0 27 28 23 91 27 0 23

N.S.

1 0.00 1.00 1.04 0.85 3.37 1.00 0.00 0.85

time (sec)

N/A 2.188 0.045 0.100 0.550 0.393 3.825 0.000 1.249

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 17 17 15 15 16 12 15 14

N.S.

1 0.94 0.94 0.83 0.83 0.89 0.67 0.83 0.78

time (sec)

N/A 0.125 0.184 0.032 0.292 0.380 0.050 0.384 1.109

Problem 1564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 19 19 17 16 16 17 16 19

N.S.

1 0.95 0.95 0.85 0.80 0.80 0.85 0.80 0.95

time (sec)

N/A 0.032 0.038 0.058 0.255 0.398 0.036 0.394 1.020

Problem 1565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 23 21 19 0 42 17 42 18

N.S.

1 0.96 0.88 0.79 0.00 1.75 0.71 1.75 0.75

time (sec)

N/A 0.225 0.042 0.137 0.000 0.423 0.160 0.405 0.142

Problem 1566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

20 0 18 18 17 17 17 17 377

N.S.

1 0.00 0.90 0.90 0.85 0.85 0.85 0.85 18.85

time (sec)

N/A 1.566 0.134 0.065 0.314 0.351 0.086 0.397 1.936

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B C F B B F B

verified

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

size

23 0 53 1198 0 46 60 0 69

N.S.

1 0.00 2.30 52.09 0.00 2.00 2.61 0.00 3.00

time (sec)

N/A 0.950 0.061 1.190 0.000 0.365 0.239 0.000 1.212

Problem 1568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B B

verified

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

size

32 0 36 36 64 60 39 71 76

N.S.

1 0.00 1.12 1.12 2.00 1.88 1.22 2.22 2.38

time (sec)

N/A 0.953 2.445 0.195 0.533 0.406 0.085 0.415 1.760

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B A F B

verified

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

size

26 0 24 33 48 47 48 0 53

N.S.

1 0.00 0.92 1.27 1.85 1.81 1.85 0.00 2.04

time (sec)

N/A 2.942 0.079 0.194 0.446 0.362 0.231 0.000 1.220

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-2) F B

verified

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

size

25 0 22 19 18 21 0 0 18

N.S.

1 0.00 0.88 0.76 0.72 0.84 0.00 0.00 0.72

time (sec)

N/A 0.658 0.135 0.539 0.421 0.377 0.000 0.000 1.150

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A B B B

verified

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

size

33 0 48 55 152 51 46 125 127

N.S.

1 0.00 1.45 1.67 4.61 1.55 1.39 3.79 3.85

time (sec)

N/A 47.820 0.164 0.165 1.008 0.397 0.772 0.464 1.503

Problem 1572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 38 44 35 34 31 37 32 38

N.S.

1 1.41 1.63 1.30 1.26 1.15 1.37 1.19 1.41

time (sec)

N/A 0.034 0.007 0.039 0.258 0.363 0.074 0.407 1.017

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 25 19 25 62 21 20 21 23

N.S.

1 1.19 0.90 1.19 2.95 1.00 0.95 1.00 1.10

time (sec)

N/A 0.118 0.021 0.242 0.501 0.366 0.057 0.411 1.920

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 171 52 52 51 48 46 72 59

N.S.

1 5.18 1.58 1.58 1.55 1.45 1.39 2.18 1.79

time (sec)

N/A 7.402 0.072 0.376 0.426 0.350 0.891 0.524 1.356

Problem 1575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 16 16 17 16 16 15 16 16

N.S.

1 0.89 0.89 0.94 0.89 0.89 0.83 0.89 0.89

time (sec)

N/A 0.003 0.000 0.049 0.251 0.365 0.007 0.387 0.033

Problem 1576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 84 25 20 25 19 26 19 25

N.S.

1 4.20 1.25 1.00 1.25 0.95 1.30 0.95 1.25

time (sec)

N/A 0.083 0.142 0.032 0.333 0.373 39.440 0.394 1.084

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 21 19 18 14 18 17 15 13

N.S.

1 1.11 1.00 0.95 0.74 0.95 0.89 0.79 0.68

time (sec)

N/A 0.044 0.011 0.439 0.498 0.366 0.147 0.403 1.209

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B B B

verified

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

size

24 0 26 30 44 51 44 114 44

N.S.

1 0.00 1.08 1.25 1.83 2.12 1.83 4.75 1.83

time (sec)

N/A 0.682 2.245 0.182 0.306 0.346 0.067 0.396 0.153

Problem 1579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 19 20 19 19 15 23 17

N.S.

1 0.00 1.00 1.05 1.00 1.00 0.79 1.21 0.89

time (sec)

N/A 0.243 0.060 0.774 0.499 0.357 0.047 0.395 0.311

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F(-2) B

verified

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

size

33 0 30 25 41 29 26 0 47

N.S.

1 0.00 0.91 0.76 1.24 0.88 0.79 0.00 1.42

time (sec)

N/A 5.094 0.183 0.088 0.353 0.367 0.238 0.000 1.181

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B A B

verified

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

size

29 0 48 59 63 63 44 53 169

N.S.

1 0.00 1.66 2.03 2.17 2.17 1.52 1.83 5.83

time (sec)

N/A 1.582 0.048 0.338 0.294 0.442 0.105 0.401 1.291

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 60 55 56 105 56 54 63 54

N.S.

1 1.88 1.72 1.75 3.28 1.75 1.69 1.97 1.69

time (sec)

N/A 0.168 0.273 0.171 0.287 0.383 0.065 0.392 1.077

Problem 1583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 13 12 14 14 14 10 14 14

N.S.

1 0.72 0.67 0.78 0.78 0.78 0.56 0.78 0.78

time (sec)

N/A 0.003 0.000 0.029 0.257 0.330 0.005 0.387 0.003

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B F(-1) B B

verified

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

size

33 0 52 68 65 64 0 99 70

N.S.

1 0.00 1.58 2.06 1.97 1.94 0.00 3.00 2.12

time (sec)

N/A 5.319 0.166 0.159 0.382 0.388 0.000 0.459 1.354

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 26 29 24 23 23 22 23 23

N.S.

1 0.76 0.85 0.71 0.68 0.68 0.65 0.68 0.68

time (sec)

N/A 0.448 1.055 0.052 0.293 0.370 0.071 0.402 0.419

Problem 1586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 4 4 5 4 4 3 5 4

N.S.

1 0.50 0.50 0.62 0.50 0.50 0.38 0.62 0.50

time (sec)

N/A 0.000 0.000 0.018 0.255 0.368 0.006 0.391 0.010

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A F(-2) B B

verified

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

size

27 0 29 36 31 27 0 50 25

N.S.

1 0.00 1.07 1.33 1.15 1.00 0.00 1.85 0.93

time (sec)

N/A 1.817 0.199 13.301 0.499 0.411 0.000 0.455 1.373

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 82 24 24 0 61 32 0 39

N.S.

1 2.41 0.71 0.71 0.00 1.79 0.94 0.00 1.15

time (sec)

N/A 11.916 0.142 0.092 0.000 0.358 0.109 0.000 1.160

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 29 29 373 25 68 63 92 57

N.S.

1 1.12 1.12 14.35 0.96 2.62 2.42 3.54 2.19

time (sec)

N/A 0.468 0.080 0.444 0.345 0.356 0.623 0.525 2.216

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A B F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 44 44 35 63 28 80 0 1

N.S.

1 1.57 1.57 1.25 2.25 1.00 2.86 0.00 0.04

time (sec)

N/A 0.023 0.023 0.604 0.258 0.344 0.121 0.000 1.213

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A F B

verified

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

size

25 0 25 40 0 33 29 0 27

N.S.

1 0.00 1.00 1.60 0.00 1.32 1.16 0.00 1.08

time (sec)

N/A 0.796 0.209 0.170 0.000 0.368 0.184 0.000 1.321

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A A B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 27 59 63 233 23 24 53 -1

N.S.

1 0.96 2.11 2.25 8.32 0.82 0.86 1.89 -0.04

time (sec)

N/A 0.432 0.062 0.201 0.545 0.359 0.119 0.417 0.000

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 33 22 44 21 38 20 21 19

N.S.

1 1.43 0.96 1.91 0.91 1.65 0.87 0.91 0.83

time (sec)

N/A 0.015 0.033 0.058 0.253 0.349 0.045 0.377 1.322

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 26 26 28 26 26 24 31 29

N.S.

1 1.13 1.13 1.22 1.13 1.13 1.04 1.35 1.26

time (sec)

N/A 0.135 0.234 0.080 0.255 0.352 0.062 0.384 1.440

Problem 1595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 8 8 7 7 7 8 7

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.88 1.00 0.88

time (sec)

N/A 0.001 0.001 0.168 0.254 0.348 0.010 0.395 0.032

Problem 1596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 40 35 34 0 31 29 0 33

N.S.

1 1.05 0.92 0.89 0.00 0.82 0.76 0.00 0.87

time (sec)

N/A 1.970 0.163 0.302 0.000 0.360 3.233 0.000 1.725

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B F

verified

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

size

28 0 71 68 106 106 83 67 -1

N.S.

1 0.00 2.54 2.43 3.79 3.79 2.96 2.39 -0.04

time (sec)

N/A 5.161 0.057 0.490 0.320 0.376 0.715 0.401 0.000

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C B C B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 483 121 322 183 235 206 129 120

N.S.

1 16.66 4.17 11.10 6.31 8.10 7.10 4.45 4.14

time (sec)

N/A 0.469 0.050 0.487 0.263 0.343 3.572 0.400 1.493

Problem 1599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 25 27 83 27 22 27 24

N.S.

1 1.00 0.93 1.00 3.07 1.00 0.81 1.00 0.89

time (sec)

N/A 0.031 0.026 0.062 0.286 0.373 0.083 0.392 1.142

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 187 28 64 58 62 66 62 31

N.S.

1 5.34 0.80 1.83 1.66 1.77 1.89 1.77 0.89

time (sec)

N/A 0.221 0.429 0.223 0.532 0.354 0.110 0.411 1.186

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