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

2.2.16 Integrals 1501 to 1600

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 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

34 0 29 32 41 37 44 49 26

N.S.

1 0.00 0.85 0.94 1.21 1.09 1.29 1.44 0.76

time (sec)

N/A 0.000 0.087 0.330 0.270 0.266 0.135 0.311 14.800

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 56 25 51 21 32 19 23 23

N.S.

1 2.24 1.00 2.04 0.84 1.28 0.76 0.92 0.92

time (sec)

N/A 0.934 3.309 1.135 0.240 0.264 1.161 0.289 13.098

Problem 1503

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 22 19 19 18 18 31 18 18

N.S.

1 0.81 0.70 0.70 0.67 0.67 1.15 0.67 0.67

time (sec)

N/A 0.160 0.039 0.042 0.219 0.253 0.064 0.266 0.100

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 88 0 52 58 45 0 47 48

N.S.

1 3.14 0.00 1.86 2.07 1.61 0.00 1.68 1.71

time (sec)

N/A 0.436 0.000 0.996 0.351 0.272 0.000 1.461 14.424

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F B B B B B B

verified

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

size

24 112 0 48 56 49 51 56 58

N.S.

1 4.67 0.00 2.00 2.33 2.04 2.12 2.33 2.42

time (sec)

N/A 0.658 0.000 0.415 0.493 0.256 0.217 0.357 14.049

Problem 1506

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

25 35 33 27 287 38 29 38 38

N.S.

1 1.40 1.32 1.08 11.48 1.52 1.16 1.52 1.52

time (sec)

N/A 1.061 0.049 0.427 0.384 0.257 0.053 0.280 0.230

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

29 0 32 24 28 91 26 0 31

N.S.

1 0.00 1.10 0.83 0.97 3.14 0.90 0.00 1.07

time (sec)

N/A 0.000 5.110 0.174 0.395 0.270 0.635 0.000 14.632

Problem 1508

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

21 0 23 24 23 23 0 23 23

N.S.

1 0.00 1.10 1.14 1.10 1.10 0.00 1.10 1.10

time (sec)

N/A 0.000 0.064 1.598 0.250 0.247 0.000 0.290 13.340

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 87 45 41 38 53 44 45 43

N.S.

1 3.62 1.88 1.71 1.58 2.21 1.83 1.88 1.79

time (sec)

N/A 0.449 0.315 0.191 0.274 0.266 0.181 0.273 0.653

Problem 1510

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

11 7 9 8 7 9 7 7 8

N.S.

1 0.64 0.82 0.73 0.64 0.82 0.64 0.64 0.73

time (sec)

N/A 0.122 0.000 0.010 0.203 0.229 0.016 0.273 0.002

Problem 1511

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

25 0 27 26 34 25 37 25 66

N.S.

1 0.00 1.08 1.04 1.36 1.00 1.48 1.00 2.64

time (sec)

N/A 0.000 1.030 1.033 0.370 0.258 0.110 0.292 13.034

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 98 29 38 44 133 0 0 41

N.S.

1 3.38 1.00 1.31 1.52 4.59 0.00 0.00 1.41

time (sec)

N/A 1.122 0.418 212.103 0.280 0.263 0.000 0.000 12.701

Problem 1513

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

16 16 16 17 19 16 34 19 16

N.S.

1 1.00 1.00 1.06 1.19 1.00 2.12 1.19 1.00

time (sec)

N/A 0.922 0.267 0.861 0.235 0.255 0.324 0.302 13.455

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A F B

verified

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

size

37 0 0 22 31 24 22 0 31

N.S.

1 0.00 0.00 0.59 0.84 0.65 0.59 0.00 0.84

time (sec)

N/A 0.000 0.000 0.137 0.334 0.254 0.116 0.000 12.225

Problem 1515

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 11 9 10 9 9 7 9 7

N.S.

1 0.69 0.56 0.62 0.56 0.56 0.44 0.56 0.44

time (sec)

N/A 0.122 0.000 0.010 0.206 0.233 0.019 0.269 0.031

Problem 1516

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

27 0 16 23 22 22 20 22 41

N.S.

1 0.00 0.59 0.85 0.81 0.81 0.74 0.81 1.52

time (sec)

N/A 0.000 0.211 0.673 0.236 0.246 0.073 0.463 12.090

Problem 1517

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 16 16 19 14 12 14 12 12

N.S.

1 1.00 1.00 1.19 0.88 0.75 0.88 0.75 0.75

time (sec)

N/A 0.202 0.031 0.056 0.225 0.261 0.064 0.275 11.245

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 306 18 48 45 45 42 51 17

N.S.

1 14.57 0.86 2.29 2.14 2.14 2.00 2.43 0.81

time (sec)

N/A 1.170 0.164 0.328 0.338 0.245 0.120 0.261 11.385

Problem 1519

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 15 15 14 13 13 12 13 13

N.S.

1 0.79 0.79 0.74 0.68 0.68 0.63 0.68 0.68

time (sec)

N/A 0.146 0.010 0.032 0.197 0.249 0.068 0.258 0.083

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 74 30 27 49 0 51 16

N.S.

1 1.00 4.35 1.76 1.59 2.88 0.00 3.00 0.94

time (sec)

N/A 0.318 0.078 0.296 0.235 0.256 0.000 0.278 12.925

Problem 1521

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

32 25 28 26 71 28 22 25 54

N.S.

1 0.78 0.88 0.81 2.22 0.88 0.69 0.78 1.69

time (sec)

N/A 0.472 0.063 0.478 0.286 0.250 0.084 0.290 0.305

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 14 21 16 0 21 17 0 18

N.S.

1 0.67 1.00 0.76 0.00 1.00 0.81 0.00 0.86

time (sec)

N/A 0.254 0.157 0.066 0.000 0.250 0.094 0.000 12.771

Problem 1523

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 21 19 18 20 21 22 23 17

N.S.

1 1.00 0.90 0.86 0.95 1.00 1.05 1.10 0.81

time (sec)

N/A 0.352 0.021 0.355 0.310 0.253 0.169 0.259 12.038

Problem 1524

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 14 13 13 12 15 12 15 13

N.S.

1 1.17 1.08 1.08 1.00 1.25 1.00 1.25 1.08

time (sec)

N/A 0.160 0.000 0.040 0.226 0.238 0.020 0.254 12.375

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 30 62 62 29 6706 0

N.S.

1 0.00 1.00 1.03 2.14 2.14 1.00 231.24 0.00

time (sec)

N/A 0.000 0.254 0.189 0.295 0.252 0.902 1.052 0.000

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 100 26 28 28 28 29 0 30

N.S.

1 3.57 0.93 1.00 1.00 1.00 1.04 0.00 1.07

time (sec)

N/A 0.415 0.166 1.850 0.273 0.259 0.147 0.000 0.346

Problem 1527

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

27 0 26 29 22 25 24 24 29

N.S.

1 0.00 0.96 1.07 0.81 0.93 0.89 0.89 1.07

time (sec)

N/A 0.000 0.118 0.563 0.366 0.244 0.123 0.364 14.083

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

23 0 24 24 323 36 32 77 78

N.S.

1 0.00 1.04 1.04 14.04 1.57 1.39 3.35 3.39

time (sec)

N/A 0.000 0.552 30.020 2.646 0.252 0.114 0.399 13.357

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 40 26 24 33 28 22 22 19

N.S.

1 2.22 1.44 1.33 1.83 1.56 1.22 1.22 1.06

time (sec)

N/A 0.264 0.072 0.041 0.221 0.269 0.058 0.271 12.415

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

24 0 25 26 30 28 36 30 25

N.S.

1 0.00 1.04 1.08 1.25 1.17 1.50 1.25 1.04

time (sec)

N/A 0.000 0.016 0.059 0.203 0.253 0.155 0.262 0.096

Problem 1531

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 13 13 14 10 13 14 10 10

N.S.

1 0.68 0.68 0.74 0.53 0.68 0.74 0.53 0.53

time (sec)

N/A 0.179 0.008 0.040 0.212 0.246 0.053 0.269 12.283

Problem 1532

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

9 13 9 13 13 12 10 12 8

N.S.

1 1.44 1.00 1.44 1.44 1.33 1.11 1.33 0.89

time (sec)

N/A 0.256 0.109 0.152 0.239 0.240 0.132 0.277 13.060

Problem 1533

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

19 54 54 43 45 42 76 45 60

N.S.

1 2.84 2.84 2.26 2.37 2.21 4.00 2.37 3.16

time (sec)

N/A 0.225 0.008 0.050 0.200 0.251 0.082 0.262 0.071

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 40 15 16 39 15 114 41 18

N.S.

1 2.86 1.07 1.14 2.79 1.07 8.14 2.93 1.29

time (sec)

N/A 0.180 0.011 0.244 0.192 0.258 0.170 0.248 0.323

Problem 1535

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

30 0 34 43 41 37 32 42 0

N.S.

1 0.00 1.13 1.43 1.37 1.23 1.07 1.40 0.00

time (sec)

N/A 0.000 0.486 0.551 0.303 0.256 0.172 0.301 0.000

Problem 1536

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

19 42 25 18 35 17 15 21 21

N.S.

1 2.21 1.32 0.95 1.84 0.89 0.79 1.11 1.11

time (sec)

N/A 0.390 0.153 0.040 0.228 0.256 0.044 0.268 12.687

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 128 73 53 53 53 49 0 61

N.S.

1 4.57 2.61 1.89 1.89 1.89 1.75 0.00 2.18

time (sec)

N/A 0.793 0.136 0.406 0.249 0.253 0.119 0.000 13.137

Problem 1538

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

28 0 24 21 20 37 19 0 20

N.S.

1 0.00 0.86 0.75 0.71 1.32 0.68 0.00 0.71

time (sec)

N/A 0.000 3.938 0.217 0.234 0.263 0.182 0.000 13.390

Problem 1539

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 29 24 25 38 28 22 24 20

N.S.

1 0.88 0.73 0.76 1.15 0.85 0.67 0.73 0.61

time (sec)

N/A 0.284 0.153 0.043 0.198 0.260 0.079 0.257 0.079

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 29 27 0 27 19 0 27

N.S.

1 0.00 0.88 0.82 0.00 0.82 0.58 0.00 0.82

time (sec)

N/A 0.000 0.849 19.688 0.000 0.259 0.521 0.000 13.765

Problem 1541

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

22 35 31 30 40 40 41 40 29

N.S.

1 1.59 1.41 1.36 1.82 1.82 1.86 1.82 1.32

time (sec)

N/A 0.752 0.529 0.558 0.251 0.257 0.080 3.833 13.212

Problem 1542

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 15 20 13 14 14 17 14 14

N.S.

1 1.00 1.33 0.87 0.93 0.93 1.13 0.93 0.93

time (sec)

N/A 0.136 0.002 0.022 0.187 0.239 0.019 0.320 0.054

Problem 1543

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 32 33 28 27 28 29 27 16

N.S.

1 1.78 1.83 1.56 1.50 1.56 1.61 1.50 0.89

time (sec)

N/A 0.349 0.061 0.229 0.217 0.257 0.127 0.287 12.611

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 102 23 30 0 30 22 43 38

N.S.

1 4.43 1.00 1.30 0.00 1.30 0.96 1.87 1.65

time (sec)

N/A 2.327 2.357 4.303 0.000 0.272 0.277 0.394 12.921

Problem 1545

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 20 20 13 12 12 15 12 20

N.S.

1 1.33 1.33 0.87 0.80 0.80 1.00 0.80 1.33

time (sec)

N/A 0.193 0.118 0.116 0.210 0.252 1.254 0.304 13.018

Problem 1546

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

26 0 32 31 23 23 31 32 30

N.S.

1 0.00 1.23 1.19 0.88 0.88 1.19 1.23 1.15

time (sec)

N/A 0.000 0.176 0.043 0.222 0.260 0.127 0.286 12.504

Problem 1547

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

34 0 37 35 68 68 39 83 27

N.S.

1 0.00 1.09 1.03 2.00 2.00 1.15 2.44 0.79

time (sec)

N/A 0.000 13.976 0.116 0.257 0.266 0.088 0.305 13.165

Problem 1548

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 18 18 19 18 26 14 19 18

N.S.

1 0.67 0.67 0.70 0.67 0.96 0.52 0.70 0.67

time (sec)

N/A 0.246 0.012 0.034 0.199 0.241 0.045 0.274 12.988

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 113 32 33 104 30 76 30 64

N.S.

1 3.42 0.97 1.00 3.15 0.91 2.30 0.91 1.94

time (sec)

N/A 3.018 1.027 0.208 0.319 0.260 0.208 0.284 13.669

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 25 37 36 26 42 34

N.S.

1 0.00 0.00 0.93 1.37 1.33 0.96 1.56 1.26

time (sec)

N/A 0.000 0.000 0.319 0.226 0.258 0.137 0.294 12.758

Problem 1551

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

34 40 39 44 41 41 46 41 39

N.S.

1 1.18 1.15 1.29 1.21 1.21 1.35 1.21 1.15

time (sec)

N/A 0.200 0.018 0.510 0.182 0.248 0.181 0.273 12.787

Problem 1552

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 26 31 30 28 34 1672 266

N.S.

1 0.00 0.90 1.07 1.03 0.97 1.17 57.66 9.17

time (sec)

N/A 0.000 0.204 281.932 0.262 0.264 4.212 1.353 13.915

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 155 22 58 0 56 49 54 43

N.S.

1 7.05 1.00 2.64 0.00 2.55 2.23 2.45 1.95

time (sec)

N/A 2.530 0.300 9.615 0.000 0.264 1.503 2.013 13.259

Problem 1554

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

25 0 20 27 11 11 22 27 29

N.S.

1 0.00 0.80 1.08 0.44 0.44 0.88 1.08 1.16

time (sec)

N/A 0.000 0.276 0.508 0.281 0.264 0.108 0.322 13.406

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 34 43 30 32 32 29 34 88

N.S.

1 2.00 2.53 1.76 1.88 1.88 1.71 2.00 5.18

time (sec)

N/A 0.329 0.032 0.084 0.178 0.254 0.562 0.292 0.308

Problem 1556

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

18 27 15 20 29 19 14 23 17

N.S.

1 1.50 0.83 1.11 1.61 1.06 0.78 1.28 0.94

time (sec)

N/A 0.218 0.061 0.066 0.218 0.268 0.100 0.279 13.070

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 36 60 0 50 0 85 35

N.S.

1 0.00 1.20 2.00 0.00 1.67 0.00 2.83 1.17

time (sec)

N/A 0.000 0.175 84.039 0.000 0.308 0.000 0.648 13.783

Problem 1558

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 14 14 15 14 13 14 14 19

N.S.

1 0.78 0.78 0.83 0.78 0.72 0.78 0.78 1.06

time (sec)

N/A 0.166 0.006 0.056 0.188 0.313 0.045 0.281 12.755

Problem 1559

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

30 26 26 25 30 36 22 36 24

N.S.

1 0.87 0.87 0.83 1.00 1.20 0.73 1.20 0.80

time (sec)

N/A 0.923 1.083 0.557 0.254 0.278 0.145 0.295 13.107

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A F B

verified

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

size

33 0 43 38 0 57 36 0 37

N.S.

1 0.00 1.30 1.15 0.00 1.73 1.09 0.00 1.12

time (sec)

N/A 0.000 4.793 0.201 0.000 0.281 0.163 0.000 13.176

Problem 1561

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

26 27 26 18 15 20 54 20 20

N.S.

1 1.04 1.00 0.69 0.58 0.77 2.08 0.77 0.77

time (sec)

N/A 0.137 0.011 0.467 0.294 0.319 1.027 0.283 13.570

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

25 0 24 30 224 38 19 58 111

N.S.

1 0.00 0.96 1.20 8.96 1.52 0.76 2.32 4.44

time (sec)

N/A 0.000 0.110 16.173 0.372 0.307 0.081 0.316 13.804

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 63 25 42 45 39 53 47 0

N.S.

1 2.42 0.96 1.62 1.73 1.50 2.04 1.81 0.00

time (sec)

N/A 1.096 0.350 0.355 0.352 0.295 0.169 0.321 0.000

Problem 1564

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

30 28 28 23 22 37 22 24 26

N.S.

1 0.93 0.93 0.77 0.73 1.23 0.73 0.80 0.87

time (sec)

N/A 0.523 1.092 0.109 0.189 0.277 0.175 0.288 0.153

Problem 1565

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

19 40 17 16 15 15 15 15 16

N.S.

1 2.11 0.89 0.84 0.79 0.79 0.79 0.79 0.84

time (sec)

N/A 0.234 0.055 0.050 0.264 0.302 0.097 0.277 12.549

Problem 1566

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 34 20 17 30 22 20 30 32

N.S.

1 1.62 0.95 0.81 1.43 1.05 0.95 1.43 1.52

time (sec)

N/A 0.276 0.317 0.092 0.365 0.298 0.071 0.277 0.126

Problem 1567

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

25 45 28 38 51 28 36 37 24

N.S.

1 1.80 1.12 1.52 2.04 1.12 1.44 1.48 0.96

time (sec)

N/A 0.347 0.056 0.158 0.204 0.300 0.145 0.290 13.108

Problem 1568

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

19 44 16 20 31 19 17 19 13

N.S.

1 2.32 0.84 1.05 1.63 1.00 0.89 1.00 0.68

time (sec)

N/A 0.232 0.109 0.078 0.193 0.275 0.100 0.288 13.355

Problem 1569

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

18 0 26 24 33 33 0 23 23

N.S.

1 0.00 1.44 1.33 1.83 1.83 0.00 1.28 1.28

time (sec)

N/A 0.000 4.807 0.063 0.239 0.307 0.000 0.308 0.141

Problem 1570

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

22 0 21 21 19 23 17 23 28

N.S.

1 0.00 0.95 0.95 0.86 1.05 0.77 1.05 1.27

time (sec)

N/A 0.000 0.174 0.551 0.277 0.262 0.088 0.307 13.647

Problem 1571

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 29 27 29 30 22 48 37

N.S.

1 0.00 0.97 0.90 0.97 1.00 0.73 1.60 1.23

time (sec)

N/A 0.000 5.064 0.500 0.282 0.280 0.098 0.290 13.617

Problem 1572

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 9 9 10 9 9 7 9 9

N.S.

1 0.36 0.36 0.40 0.36 0.36 0.28 0.36 0.36

time (sec)

N/A 0.125 0.000 0.019 0.184 0.266 0.021 0.293 0.030

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 61 89 74 0 60 0

N.S.

1 0.00 0.00 1.91 2.78 2.31 0.00 1.88 0.00

time (sec)

N/A 0.000 0.000 0.408 0.361 0.312 0.000 0.749 0.000

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 141 48 34 87 38 36 33 47

N.S.

1 6.71 2.29 1.62 4.14 1.81 1.71 1.57 2.24

time (sec)

N/A 1.296 0.244 0.487 0.238 0.318 0.118 0.298 0.269

Problem 1575

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

17 0 16 15 14 14 14 0 14

N.S.

1 0.00 0.94 0.88 0.82 0.82 0.82 0.00 0.82

time (sec)

N/A 0.000 0.587 0.064 0.279 0.288 0.095 0.000 13.137

Problem 1576

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

25 0 26 23 30 22 20 30 22

N.S.

1 0.00 1.04 0.92 1.20 0.88 0.80 1.20 0.88

time (sec)

N/A 0.000 0.053 0.622 0.327 0.341 0.137 0.284 13.563

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 57 132 28 34 35 31 34 26

N.S.

1 1.78 4.12 0.88 1.06 1.09 0.97 1.06 0.81

time (sec)

N/A 0.435 0.122 0.109 0.189 0.283 1.007 0.281 0.228

Problem 1578

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

31 47 46 44 47 44 42 44 40

N.S.

1 1.52 1.48 1.42 1.52 1.42 1.35 1.42 1.29

time (sec)

N/A 21.613 0.239 130.118 0.265 0.280 4.616 1.063 14.733

Problem 1579

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

31 0 34 28 0 35 22 0 0

N.S.

1 0.00 1.10 0.90 0.00 1.13 0.71 0.00 0.00

time (sec)

N/A 0.000 2.140 0.424 0.000 0.325 0.314 0.000 0.000

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 16 25 17 15 17 14 15 12

N.S.

1 1.33 2.08 1.42 1.25 1.42 1.17 1.25 1.00

time (sec)

N/A 0.158 0.048 0.087 0.195 0.301 0.058 0.281 13.558

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 26 74 75 73 75 0 38

N.S.

1 0.93 0.93 2.64 2.68 2.61 2.68 0.00 1.36

time (sec)

N/A 0.703 0.078 2.506 0.286 0.292 0.129 0.000 15.568

Problem 1582

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 13 13 14 9 12 10 9 10

N.S.

1 1.08 1.08 1.17 0.75 1.00 0.83 0.75 0.83

time (sec)

N/A 0.128 0.000 0.024 0.198 0.264 0.017 0.285 0.002

Problem 1583

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 20 14 13 13 15 13 14

N.S.

1 1.06 1.18 0.82 0.76 0.76 0.88 0.76 0.82

time (sec)

N/A 0.146 0.004 0.086 0.179 0.276 0.022 0.274 0.037

Problem 1584

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 36 35 38 35 41 38 43

N.S.

1 0.00 1.29 1.25 1.36 1.25 1.46 1.36 1.54

time (sec)

N/A 0.000 5.119 0.192 0.331 0.355 0.245 0.311 15.458

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

30 0 26 28 35 67 36 88 36

N.S.

1 0.00 0.87 0.93 1.17 2.23 1.20 2.93 1.20

time (sec)

N/A 0.000 0.078 0.832 0.252 0.300 0.908 0.443 14.375

Problem 1586

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

23 33 21 22 0 20 22 22 21

N.S.

1 1.43 0.91 0.96 0.00 0.87 0.96 0.96 0.91

time (sec)

N/A 0.235 0.051 0.062 0.000 0.293 0.098 0.288 13.523

Problem 1587

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

11 19 19 10 9 9 7 11 8

N.S.

1 1.73 1.73 0.91 0.82 0.82 0.64 1.00 0.73

time (sec)

N/A 0.157 0.003 0.085 0.190 0.301 0.048 0.287 0.136

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A B B F B

verified

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

size

33 0 53 63 52 130 58 0 54

N.S.

1 0.00 1.61 1.91 1.58 3.94 1.76 0.00 1.64

time (sec)

N/A 0.000 0.154 7.970 0.483 0.303 0.252 0.000 14.478

Problem 1589

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

24 20 20 19 17 18 15 33 17

N.S.

1 0.83 0.83 0.79 0.71 0.75 0.62 1.38 0.71

time (sec)

N/A 0.195 0.013 0.123 0.194 0.272 0.129 0.293 14.388

Problem 1590

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

31 0 31 32 30 38 34 46 0

N.S.

1 0.00 1.00 1.03 0.97 1.23 1.10 1.48 0.00

time (sec)

N/A 0.000 0.126 20.206 0.349 0.305 0.177 0.306 0.000

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 48 48 36 0 60 39 63 37

N.S.

1 1.60 1.60 1.20 0.00 2.00 1.30 2.10 1.23

time (sec)

N/A 0.735 2.190 0.118 0.000 0.313 0.089 0.286 0.229

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 42 37 102 36 0 36 0

N.S.

1 0.00 1.50 1.32 3.64 1.29 0.00 1.29 0.00

time (sec)

N/A 0.000 0.115 30.789 0.340 0.369 0.000 0.973 0.000

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B A B

verified

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

size

24 0 42 22 47 21 41 21 43

N.S.

1 0.00 1.75 0.92 1.96 0.88 1.71 0.88 1.79

time (sec)

N/A 0.000 0.081 23.054 0.211 0.309 0.272 0.314 15.767

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 75 28 63 57 57 85 57 80

N.S.

1 2.88 1.08 2.42 2.19 2.19 3.27 2.19 3.08

time (sec)

N/A 0.193 0.027 0.131 0.184 0.273 0.034 0.276 14.845

Problem 1595

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

13 13 13 11 37 10 12 17 10

N.S.

1 1.00 1.00 0.85 2.85 0.77 0.92 1.31 0.77

time (sec)

N/A 0.245 0.087 0.106 0.194 0.288 0.053 0.276 0.046

Problem 1596

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 10 10 7 8 8 8 9 6

N.S.

1 0.50 0.50 0.35 0.40 0.40 0.40 0.45 0.30

time (sec)

N/A 0.119 0.001 0.081 0.187 0.272 0.023 0.291 0.059

Problem 1597

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

28 25 25 23 45 89 39 0 24

N.S.

1 0.89 0.89 0.82 1.61 3.18 1.39 0.00 0.86

time (sec)

N/A 0.268 0.018 0.579 0.346 0.284 100.714 0.000 1.102

Problem 1598

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 9 8 8 14 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 1.75 1.00 1.00

time (sec)

N/A 0.125 0.001 0.028 0.186 0.272 0.024 0.292 0.035

Problem 1599

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

24 114 79 98 179 92 83 111 88

N.S.

1 4.75 3.29 4.08 7.46 3.83 3.46 4.62 3.67

time (sec)

N/A 1.121 0.069 0.342 0.245 0.302 0.531 0.279 14.266

Problem 1600

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 14 14 15 10 10 12 10 10

N.S.

1 1.00 1.00 1.07 0.71 0.71 0.86 0.71 0.71

time (sec)

N/A 0.142 0.004 0.031 0.184 0.288 0.059 0.288 13.388

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