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

verified

N/A Yes Yes Yes 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.720 0.086 0.096 0.308 0.250 0.071 0.271 0.182

Problem 1502

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 31 30 38 0 32 29 33 28

N.S.

1 1.24 1.20 1.52 0.00 1.28 1.16 1.32 1.12

time (sec)

N/A 0.268 0.095 0.273 0.000 0.265 0.200 0.263 9.351

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 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.191 0.013 0.051 0.188 0.263 0.072 0.267 0.086

Problem 1504

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

27 144 31 34 30 32 27 28 57

N.S.

1 5.33 1.15 1.26 1.11 1.19 1.00 1.04 2.11

time (sec)

N/A 1.008 0.401 0.322 0.315 0.243 0.103 0.322 8.524

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes Yes 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 0.000 0.330 149.524 0.000 0.281 0.883 0.000 8.687

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 44 43 48 58 0 44 0

N.S.

1 0.00 1.33 1.30 1.45 1.76 0.00 1.33 0.00

time (sec)

N/A 0.000 0.138 0.543 0.320 0.256 0.000 0.289 0.000

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes No 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 0.000 0.133 0.349 0.262 0.280 0.000 0.000 9.374

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 20 0 20 17 19 24

N.S.

1 0.00 1.00 0.80 0.00 0.80 0.68 0.76 0.96

time (sec)

N/A 0.000 0.914 0.145 0.000 0.246 0.061 0.268 8.704

Problem 1509

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

21 69 38 37 262 36 37 36 36

N.S.

1 3.29 1.81 1.76 12.48 1.71 1.76 1.71 1.71

time (sec)

N/A 0.456 0.040 0.165 0.194 0.264 0.090 0.278 8.774

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 24 69 57 61 76 97 0

N.S.

1 0.00 1.00 2.88 2.38 2.54 3.17 4.04 0.00

time (sec)

N/A 0.000 2.221 0.243 0.252 0.272 0.196 0.303 0.000

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 40 72 29 0 39 0

N.S.

1 0.00 0.00 1.54 2.77 1.12 0.00 1.50 0.00

time (sec)

N/A 0.000 0.000 1.044 0.321 0.256 0.000 0.311 0.000

Problem 1512

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

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.930 0.561 0.444 0.338 0.254 0.122 0.273 9.237

Problem 1513

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

34 0 35 35 46 34 34 54 36

N.S.

1 0.00 1.03 1.03 1.35 1.00 1.00 1.59 1.06

time (sec)

N/A 0.000 10.660 0.262 0.248 0.258 0.064 0.269 0.314

Problem 1514

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

22 22 22 21 18 20 17 0 21

N.S.

1 1.00 1.00 0.95 0.82 0.91 0.77 0.00 0.95

time (sec)

N/A 0.449 0.141 0.416 0.245 0.261 0.197 0.000 8.270

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

32 33 33 26 25 25 37 25 34

N.S.

1 1.03 1.03 0.81 0.78 0.78 1.16 0.78 1.06

time (sec)

N/A 0.175 0.003 0.035 0.180 0.249 0.022 0.258 0.055

Problem 1516

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 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.505 0.272 0.290 0.234 0.274 0.185 0.308 8.240

Problem 1517

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

31 0 34 32 31 38 24 80 29

N.S.

1 0.00 1.10 1.03 1.00 1.23 0.77 2.58 0.94

time (sec)

N/A 0.000 0.087 0.405 0.236 0.262 0.072 0.275 7.919

Problem 1518

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

34 0 52 66 33 68 31 167 407

N.S.

1 0.00 1.53 1.94 0.97 2.00 0.91 4.91 11.97

time (sec)

N/A 0.000 1.605 3.124 0.338 0.271 0.105 0.344 9.413

Problem 1519

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

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.000 0.427 0.056 0.210 0.266 0.131 0.280 8.273

Problem 1520

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 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 1.112 0.496 0.125 0.330 0.261 0.056 0.286 8.277

Problem 1521

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 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.000 1.428 0.108 0.220 0.262 0.106 0.289 8.164

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 3776 34 45 0 64 0 80 68

N.S.

1 118.00 1.06 1.41 0.00 2.00 0.00 2.50 2.12

time (sec)

N/A 6.262 12.998 0.313 0.000 0.269 0.000 0.304 8.868

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes 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.323 0.021 0.035 0.183 0.248 0.046 0.272 0.064

Problem 1524

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

25 46 50 26 39 37 39 39 47

N.S.

1 1.84 2.00 1.04 1.56 1.48 1.56 1.56 1.88

time (sec)

N/A 0.214 0.028 0.251 0.188 0.272 0.114 0.263 8.032

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

28 0 33 45 260 76 71 81 49

N.S.

1 0.00 1.18 1.61 9.29 2.71 2.54 2.89 1.75

time (sec)

N/A 0.000 6.462 0.228 0.319 0.275 0.083 0.263 8.549

Problem 1526

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

40 0 36 33 35 31 36 36 280

N.S.

1 0.00 0.90 0.82 0.88 0.78 0.90 0.90 7.00

time (sec)

N/A 0.000 0.132 3.151 0.302 0.255 0.134 0.305 8.507

Problem 1527

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 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.145 0.004 0.020 0.184 0.247 0.042 0.268 8.614

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 51 45 59 96 182 75 67 96

N.S.

1 1.70 1.50 1.97 3.20 6.07 2.50 2.23 3.20

time (sec)

N/A 0.896 0.089 0.140 0.182 0.263 0.634 0.267 8.179

Problem 1529

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 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 1.089 5.089 1.848 0.383 0.275 0.333 0.274 0.243

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A F B

verified

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

size

24 0 39 19 59 25 20 0 17

N.S.

1 0.00 1.62 0.79 2.46 1.04 0.83 0.00 0.71

time (sec)

N/A 0.000 0.328 12.689 0.358 0.266 0.338 0.000 8.468

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

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.140 0.001 0.040 0.201 0.269 0.035 0.267 0.020

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

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.128 0.001 0.033 0.189 0.242 0.021 0.253 0.093

Problem 1533

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

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 1.001 0.105 3.038 0.228 0.266 0.187 0.491 8.289

Problem 1534

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 22 16 16 15 24 14 23 13

N.S.

1 1.69 1.23 1.23 1.15 1.85 1.08 1.77 1.00

time (sec)

N/A 0.162 0.018 0.036 0.192 0.252 0.039 0.275 8.328

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 64 24 35 35 37 39 34 15

N.S.

1 2.06 0.77 1.13 1.13 1.19 1.26 1.10 0.48

time (sec)

N/A 0.218 0.154 0.115 0.192 0.258 0.071 0.260 0.423

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 35 28 60 25 33 27 25 24

N.S.

1 1.40 1.12 2.40 1.00 1.32 1.08 1.00 0.96

time (sec)

N/A 1.116 0.488 0.381 0.222 0.283 0.176 0.296 9.439

Problem 1537

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

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.000 0.131 2.317 0.222 0.244 88.767 0.000 8.770

Problem 1538

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 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.223 0.292 0.103 0.356 0.237 0.070 0.272 0.203

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

N/A N/A Yes Yes 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 0.000 0.167 0.183 0.234 0.271 0.178 0.322 9.611

Problem 1540

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 32 25 26 25 25 27 20 23

N.S.

1 1.19 0.93 0.96 0.93 0.93 1.00 0.74 0.85

time (sec)

N/A 0.263 0.032 0.064 0.181 0.271 0.040 0.265 0.099

Problem 1541

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 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.160 0.007 0.069 0.182 0.242 0.043 0.261 8.946

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 116 27 30 95 29 26 41 31

N.S.

1 4.30 1.00 1.11 3.52 1.07 0.96 1.52 1.15

time (sec)

N/A 0.363 1.286 0.086 0.219 0.244 0.059 0.257 0.115

Problem 1543

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 28 28 23 36 32 20 22 23

N.S.

1 1.04 1.04 0.85 1.33 1.19 0.74 0.81 0.85

time (sec)

N/A 0.365 0.062 0.079 0.223 0.241 0.051 0.264 8.588

Problem 1544

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

19 19 16 18 30 17 20 21 17

N.S.

1 1.00 0.84 0.95 1.58 0.89 1.05 1.11 0.89

time (sec)

N/A 0.188 0.029 0.036 0.215 0.239 0.059 0.262 8.433

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 91 30 42 43 29 43 0

N.S.

1 0.00 3.25 1.07 1.50 1.54 1.04 1.54 0.00

time (sec)

N/A 0.000 0.133 0.608 0.324 0.248 0.082 0.299 0.000

Problem 1546

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 21 21 21 20 21 20

N.S.

1 1.00 1.00 1.17 1.17 1.17 1.11 1.17 1.11

time (sec)

N/A 0.151 0.010 0.050 0.184 0.239 0.077 0.262 8.222

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 100 28 34 36 59 31 19 18

N.S.

1 5.00 1.40 1.70 1.80 2.95 1.55 0.95 0.90

time (sec)

N/A 0.431 0.022 0.105 0.186 0.240 0.148 0.256 8.148

Problem 1548

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 24 21 34 35 27 23 24

N.S.

1 0.00 0.92 0.81 1.31 1.35 1.04 0.88 0.92

time (sec)

N/A 0.000 0.371 0.067 0.289 0.265 0.143 0.269 8.369

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 30 34 30 33 33 31 33 29

N.S.

1 1.67 1.89 1.67 1.83 1.83 1.72 1.83 1.61

time (sec)

N/A 0.169 0.026 0.040 0.195 0.252 0.042 0.261 8.762

Problem 1550

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 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.151 0.025 0.090 0.185 0.241 0.072 0.265 0.096

Problem 1551

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 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.141 0.004 0.040 0.180 0.237 0.037 0.269 8.502

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 43 18 21 29 23 20 22 0

N.S.

1 1.79 0.75 0.88 1.21 0.96 0.83 0.92 0.00

time (sec)

N/A 0.771 0.304 2.520 0.307 0.260 0.132 0.289 0.000

Problem 1553

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 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.429 0.065 0.179 0.295 0.254 0.069 0.253 0.122

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A B B

verified

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

size

20 0 20 19 26 18 14 229 19

N.S.

1 0.00 1.00 0.95 1.30 0.90 0.70 11.45 0.95

time (sec)

N/A 0.000 0.084 0.235 0.312 0.256 0.093 0.302 8.631

Problem 1555

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

26 24 24 21 20 20 19 20 20

N.S.

1 0.92 0.92 0.81 0.77 0.77 0.73 0.77 0.77

time (sec)

N/A 0.208 0.075 0.105 0.195 0.256 0.096 0.264 7.955

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 75 65 42 72 123 128 88 82

N.S.

1 2.78 2.41 1.56 2.67 4.56 4.74 3.26 3.04

time (sec)

N/A 0.370 0.056 0.249 0.183 0.256 0.251 0.264 0.289

Problem 1557

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

10 8 8 8 7 7 8 7 7

N.S.

1 0.80 0.80 0.80 0.70 0.70 0.80 0.70 0.70

time (sec)

N/A 0.120 0.001 0.031 0.175 0.226 0.027 0.270 8.429

Problem 1558

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

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.000 0.308 0.592 0.293 0.249 0.144 0.278 8.590

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes Yes 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 0.000 0.209 1.007 0.273 0.242 0.522 0.000 9.651

Problem 1560

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

27 72 51 63 63 68 71 77 79

N.S.

1 2.67 1.89 2.33 2.33 2.52 2.63 2.85 2.93

time (sec)

N/A 0.265 0.324 0.290 0.272 0.266 0.154 0.281 8.558

Problem 1561

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

22 50 26 34 45 33 36 33 37

N.S.

1 2.27 1.18 1.55 2.05 1.50 1.64 1.50 1.68

time (sec)

N/A 0.308 0.231 0.043 0.194 0.253 0.060 0.259 0.066

Problem 1562

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

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 0.000 0.076 0.080 0.511 0.252 2.761 0.000 8.262

Problem 1563

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 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.391 0.393 0.070 0.204 0.249 0.051 0.261 8.621

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

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.225 0.054 0.050 0.187 0.251 0.047 0.257 8.386

Problem 1565

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

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.450 0.058 0.253 0.000 0.269 0.157 0.271 8.368

Problem 1566

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 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 0.000 2.299 0.303 0.228 0.252 0.091 0.274 9.119

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B B F B

verified

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

size

23 0 53 72 0 46 60 0 69

N.S.

1 0.00 2.30 3.13 0.00 2.00 2.61 0.00 3.00

time (sec)

N/A 0.000 0.233 0.755 0.000 0.234 0.209 0.000 8.689

Problem 1568

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

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.000 2.830 0.151 0.308 0.250 0.084 0.267 9.169

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A F B

verified

N/A N/A Yes Yes 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 0.000 0.119 1.634 0.387 0.244 0.217 0.000 8.793

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes Yes 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.000 0.279 5.434 0.357 0.262 0.000 0.000 8.880

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

N/A N/A Yes Yes 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 0.000 0.258 31.615 0.794 0.240 0.713 0.350 9.211

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

27 38 44 33 34 31 37 32 38

N.S.

1 1.41 1.63 1.22 1.26 1.15 1.37 1.19 1.41

time (sec)

N/A 0.225 0.010 0.046 0.191 0.235 0.090 0.260 8.887

Problem 1573

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

21 25 19 24 62 21 20 21 23

N.S.

1 1.19 0.90 1.14 2.95 1.00 0.95 1.00 1.10

time (sec)

N/A 0.372 0.037 0.228 0.316 0.258 0.070 0.303 9.937

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 171 52 49 51 48 46 72 59

N.S.

1 5.18 1.58 1.48 1.55 1.45 1.39 2.18 1.79

time (sec)

N/A 7.723 0.107 0.825 0.342 0.245 0.868 0.400 9.263

Problem 1575

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 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.165 0.000 0.043 0.171 0.223 0.018 0.261 0.030

Problem 1576

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

20 84 25 25 25 19 26 19 25

N.S.

1 4.20 1.25 1.25 1.25 0.95 1.30 0.95 1.25

time (sec)

N/A 0.289 0.415 0.146 0.262 0.240 29.775 0.270 9.355

Problem 1577

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 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.238 0.018 0.525 0.305 0.233 0.136 0.288 8.963

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

N/A N/A Yes Yes 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.000 2.595 0.156 0.229 0.248 0.075 0.272 0.196

Problem 1579

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

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.000 0.182 0.467 0.299 0.235 0.048 0.263 0.365

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes Yes 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 0.000 4.419 2.024 0.266 0.242 0.218 0.000 9.093

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B A B

verified

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

size

29 0 48 57 63 63 44 53 169

N.S.

1 0.00 1.66 1.97 2.17 2.17 1.52 1.83 5.83

time (sec)

N/A 0.000 0.070 0.374 0.206 0.242 0.096 0.275 9.501

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 60 55 53 105 56 54 63 54

N.S.

1 1.88 1.72 1.66 3.28 1.75 1.69 1.97 1.69

time (sec)

N/A 0.413 0.228 0.126 0.201 0.245 0.067 0.257 8.814

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

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.131 0.000 0.036 0.177 0.242 0.019 0.250 0.002

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A Yes Yes 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 0.000 0.214 2.504 0.313 0.259 0.000 0.341 8.530

Problem 1585

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

34 26 29 22 23 23 22 23 23

N.S.

1 0.76 0.85 0.65 0.68 0.68 0.65 0.68 0.68

time (sec)

N/A 0.794 1.332 0.066 0.216 0.248 0.080 0.259 0.479

Problem 1586

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 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.118 0.000 0.009 0.178 0.244 0.017 0.254 0.011

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 29 26 31 27 0 50 25

N.S.

1 0.00 1.07 0.96 1.15 1.00 0.00 1.85 0.93

time (sec)

N/A 0.000 0.675 11.222 0.298 0.263 0.000 0.329 8.870

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F B A F B

verified

N/A Yes Yes Yes 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.822 0.224 0.133 0.000 0.251 0.103 0.000 0.425

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 34 29 68 25 68 63 92 57

N.S.

1 1.31 1.12 2.62 0.96 2.62 2.42 3.54 2.19

time (sec)

N/A 1.097 0.128 5.469 0.271 0.262 0.547 0.474 9.962

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 84 44 35 63 28 80 0 1

N.S.

1 3.00 1.57 1.25 2.25 1.00 2.86 0.00 0.04

time (sec)

N/A 0.205 0.034 0.423 0.178 0.287 0.109 0.000 8.571

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

25 0 25 33 0 33 29 0 27

N.S.

1 0.00 1.00 1.32 0.00 1.32 1.16 0.00 1.08

time (sec)

N/A 0.000 0.417 0.326 0.000 0.293 0.173 0.000 8.650

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 269 59 23 233 23 24 53 0

N.S.

1 9.61 2.11 0.82 8.32 0.82 0.86 1.89 0.00

time (sec)

N/A 1.089 0.103 0.240 0.322 0.285 0.119 0.293 0.000

Problem 1593

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 33 22 21 21 38 20 21 19

N.S.

1 1.43 0.96 0.91 0.91 1.65 0.87 0.91 0.83

time (sec)

N/A 0.173 0.057 0.037 0.176 0.283 0.056 0.258 0.073

Problem 1594

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 26 26 20 26 26 24 31 29

N.S.

1 1.13 1.13 0.87 1.13 1.13 1.04 1.35 1.26

time (sec)

N/A 0.351 0.377 0.078 0.171 0.297 0.074 0.260 8.091

Problem 1595

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 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.121 0.001 0.164 0.177 0.246 0.020 0.259 8.065

Problem 1596

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

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 2.321 0.248 65.956 0.000 0.282 2.625 0.000 8.572

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 71 68 106 106 83 67 0

N.S.

1 0.00 2.54 2.43 3.79 3.79 2.96 2.39 0.00

time (sec)

N/A 0.000 0.086 0.518 0.238 0.285 0.624 0.276 0.000

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 483 121 114 183 235 206 129 120

N.S.

1 16.66 4.17 3.93 6.31 8.10 7.10 4.45 4.14

time (sec)

N/A 0.921 0.082 0.426 0.196 0.251 3.281 0.263 8.628

Problem 1599

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 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.205 0.043 0.038 0.205 0.258 0.095 0.258 8.583

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 186 64 57 58 62 66 62 31

N.S.

1 5.31 1.83 1.63 1.66 1.77 1.89 1.77 0.89

time (sec)

N/A 0.537 0.487 0.191 0.349 0.248 0.106 0.289 8.030

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