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

2.2.17 Integrals 1601 to 1700

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 1601

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 48 24 28 35 43 31 24 25

N.S.

1 2.00 1.00 1.17 1.46 1.79 1.29 1.00 1.04

time (sec)

N/A 0.290 0.022 0.350 0.196 0.249 0.135 0.253 10.670

Problem 1602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 95 21 25 29 23 0 29 32

N.S.

1 3.65 0.81 0.96 1.12 0.88 0.00 1.12 1.23

time (sec)

N/A 0.548 0.679 0.942 0.306 0.242 0.000 0.373 10.757

Problem 1603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 29 0 52 0 27 0

N.S.

1 1.00 0.87 0.94 0.00 1.68 0.00 0.87 0.00

time (sec)

N/A 0.894 0.192 0.110 0.000 0.246 0.000 0.301 0.000

Problem 1604

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 36 30 28 40 40 48 40 40

N.S.

1 1.16 0.97 0.90 1.29 1.29 1.55 1.29 1.29

time (sec)

N/A 0.344 0.086 0.089 0.332 0.251 0.085 0.289 10.727

Problem 1605

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 20 32 32 17 32 19

N.S.

1 0.00 1.16 1.05 1.68 1.68 0.89 1.68 1.00

time (sec)

N/A 0.000 0.274 0.076 0.332 0.238 0.065 0.257 10.412

Problem 1606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 22 0 24 22 50 28

N.S.

1 1.00 1.00 0.92 0.00 1.00 0.92 2.08 1.17

time (sec)

N/A 0.580 0.477 0.084 0.000 0.240 0.083 0.263 10.457

Problem 1607

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 6 6 6 5 5 7 5 5

N.S.

1 0.38 0.38 0.38 0.31 0.31 0.44 0.31 0.31

time (sec)

N/A 0.120 0.000 0.004 0.200 0.219 0.016 0.255 0.002

Problem 1608

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 20 19 17 19 19

N.S.

1 0.00 1.00 1.05 1.05 1.00 0.89 1.00 1.00

time (sec)

N/A 0.000 0.098 0.106 0.253 0.233 0.135 0.294 0.605

Problem 1609

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 15 13 12 11 11 10 11 11

N.S.

1 1.07 0.93 0.86 0.79 0.79 0.71 0.79 0.79

time (sec)

N/A 0.140 0.004 0.013 0.215 0.224 0.051 0.259 10.223

Problem 1610

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 16 16 12 11 11 17 12 11

N.S.

1 0.80 0.80 0.60 0.55 0.55 0.85 0.60 0.55

time (sec)

N/A 0.131 0.002 0.064 0.208 0.221 0.033 0.255 0.162

Problem 1611

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

29 36 30 43 69 29 24 25 35

N.S.

1 1.24 1.03 1.48 2.38 1.00 0.83 0.86 1.21

time (sec)

N/A 0.518 0.082 0.154 0.234 0.234 0.067 0.263 10.379

Problem 1612

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 16 14 13 21 12 13 13

N.S.

1 1.00 0.76 0.67 0.62 1.00 0.57 0.62 0.62

time (sec)

N/A 0.225 0.014 0.030 0.197 0.237 0.053 0.250 10.188

Problem 1613

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

14 0 14 30 32 32 32 67 43

N.S.

1 0.00 1.00 2.14 2.29 2.29 2.29 4.79 3.07

time (sec)

N/A 0.000 0.049 0.108 0.187 0.231 1.826 0.274 10.401

Problem 1614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 47 25 44 61 25 41 83 0

N.S.

1 1.81 0.96 1.69 2.35 0.96 1.58 3.19 0.00

time (sec)

N/A 1.106 5.065 1.562 0.327 0.248 2.399 0.321 0.000

Problem 1615

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 18 22 22 14 17 17

N.S.

1 1.00 1.00 1.29 1.57 1.57 1.00 1.21 1.21

time (sec)

N/A 0.352 0.022 0.066 0.240 0.239 0.062 0.266 10.259

Problem 1616

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 32 31 28 28 27 0 28

N.S.

1 0.00 1.14 1.11 1.00 1.00 0.96 0.00 1.00

time (sec)

N/A 0.000 3.067 3.084 0.261 0.241 9.904 0.000 10.319

Problem 1617

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

N.S.

1 1.17 1.17 1.11 1.22 1.22 1.50 1.22 1.11

time (sec)

N/A 0.133 0.004 0.019 0.214 0.234 0.024 0.266 9.846

Problem 1618

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

13 0 13 13 12 13 8 12 12

N.S.

1 0.00 1.00 1.00 0.92 1.00 0.62 0.92 0.92

time (sec)

N/A 0.000 0.297 0.061 0.243 0.231 0.049 0.252 10.423

Problem 1619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 48 53 51 51 47 51 56 47

N.S.

1 1.60 1.77 1.70 1.70 1.57 1.70 1.87 1.57

time (sec)

N/A 0.236 0.022 0.065 0.189 0.223 0.361 0.270 10.426

Problem 1620

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

25 0 27 27 28 28 26 172 90

N.S.

1 0.00 1.08 1.08 1.12 1.12 1.04 6.88 3.60

time (sec)

N/A 0.000 0.122 0.513 0.259 0.243 0.088 0.364 10.686

Problem 1621

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

27 0 27 23 31 38 34 0 31

N.S.

1 0.00 1.00 0.85 1.15 1.41 1.26 0.00 1.15

time (sec)

N/A 0.000 1.845 5.851 0.329 0.230 0.153 0.000 10.967

Problem 1622

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 18 17 15 17 13 8 17 13

N.S.

1 1.29 1.21 1.07 1.21 0.93 0.57 1.21 0.93

time (sec)

N/A 0.154 0.004 0.019 0.191 0.239 0.055 0.259 10.303

Problem 1623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 23 23 31 0 29 0

N.S.

1 0.00 0.00 0.72 0.72 0.97 0.00 0.91 0.00

time (sec)

N/A 0.000 0.000 2.447 0.350 0.256 0.000 0.297 0.000

Problem 1624

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 17 16 23 17 18 16

N.S.

1 0.00 0.95 0.85 0.80 1.15 0.85 0.90 0.80

time (sec)

N/A 0.000 0.064 0.107 0.241 0.232 0.088 0.286 0.199

Problem 1625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

28 0 25 20 0 22 22 42 20

N.S.

1 0.00 0.89 0.71 0.00 0.79 0.79 1.50 0.71

time (sec)

N/A 0.000 0.402 0.085 0.000 0.234 0.118 0.271 0.096

Problem 1626

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

7 6 6 7 6 6 5 7 6

N.S.

1 0.86 0.86 1.00 0.86 0.86 0.71 1.00 0.86

time (sec)

N/A 0.130 0.001 0.014 0.213 0.221 0.033 0.269 0.019

Problem 1627

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

30 0 30 30 43 48 44 111 88

N.S.

1 0.00 1.00 1.00 1.43 1.60 1.47 3.70 2.93

time (sec)

N/A 0.000 0.052 0.257 0.711 0.234 0.128 0.295 11.034

Problem 1628

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

27 0 41 38 55 41 39 106 98

N.S.

1 0.00 1.52 1.41 2.04 1.52 1.44 3.93 3.63

time (sec)

N/A 0.000 7.972 0.250 0.498 0.245 0.272 0.268 0.455

Problem 1629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 0 36 0 33 0 63 0

N.S.

1 0.00 0.00 1.06 0.00 0.97 0.00 1.85 0.00

time (sec)

N/A 0.000 0.000 49.881 0.000 0.246 0.000 0.680 0.000

Problem 1630

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

13 11 11 10 26 9 10 26 11

N.S.

1 0.85 0.85 0.77 2.00 0.69 0.77 2.00 0.85

time (sec)

N/A 0.138 0.004 0.028 0.191 0.224 0.042 0.270 10.534

Problem 1631

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

24 20 20 18 21 20 19 20 22

N.S.

1 0.83 0.83 0.75 0.88 0.83 0.79 0.83 0.92

time (sec)

N/A 0.194 0.094 0.050 0.237 0.231 0.066 0.280 10.498

Problem 1632

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

27 0 26 31 59 57 22 77 41

N.S.

1 0.00 0.96 1.15 2.19 2.11 0.81 2.85 1.52

time (sec)

N/A 0.000 0.150 0.193 0.627 0.235 0.319 1.335 11.071

Problem 1633

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

22 46 41 36 37 37 41 37 38

N.S.

1 2.09 1.86 1.64 1.68 1.68 1.86 1.68 1.73

time (sec)

N/A 0.398 0.022 0.151 0.197 0.228 0.613 0.293 0.231

Problem 1634

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 8 8 6 5 10 5 10 12

N.S.

1 0.53 0.53 0.40 0.33 0.67 0.33 0.67 0.80

time (sec)

N/A 0.115 0.000 0.011 0.194 0.276 0.016 0.267 0.002

Problem 1635

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

35 19 21 20 82 30 15 19 18

N.S.

1 0.54 0.60 0.57 2.34 0.86 0.43 0.54 0.51

time (sec)

N/A 0.294 0.024 0.107 0.327 0.238 0.089 0.287 10.533

Problem 1636

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 20 17 18 18 17 18 16

N.S.

1 0.95 1.05 0.89 0.95 0.95 0.89 0.95 0.84

time (sec)

N/A 0.149 0.002 0.035 0.199 0.227 0.019 0.264 0.040

Problem 1637

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

N.S.

1 1.12 1.04 0.96 1.17 0.92 1.08 0.92 0.83

time (sec)

N/A 0.981 0.294 0.075 0.314 0.241 0.155 0.275 11.222

Problem 1638

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

21 0 29 26 32 32 26 25 25

N.S.

1 0.00 1.38 1.24 1.52 1.52 1.24 1.19 1.19

time (sec)

N/A 0.000 1.199 1.590 0.331 0.248 0.057 0.277 0.279

Problem 1639

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

N.S.

1 0.60 0.60 0.67 0.60 0.60 0.47 0.60 0.60

time (sec)

N/A 0.137 0.001 0.022 0.190 0.238 0.045 0.280 11.141

Problem 1640

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

16 0 19 21 24 24 19 2339 29

N.S.

1 0.00 1.19 1.31 1.50 1.50 1.19 146.19 1.81

time (sec)

N/A 0.000 0.361 0.160 0.224 0.250 0.235 0.536 11.329

Problem 1641

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 38 34 23 31 27 26 31 22

N.S.

1 1.73 1.55 1.05 1.41 1.23 1.18 1.41 1.00

time (sec)

N/A 0.218 0.017 0.071 0.191 0.225 0.090 0.281 0.091

Problem 1642

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 29 23 29 29 24 29 24

N.S.

1 0.00 1.07 0.85 1.07 1.07 0.89 1.07 0.89

time (sec)

N/A 0.000 7.842 0.104 0.238 0.229 0.066 0.294 11.382

Problem 1643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 440 407 339 364 600 0 0

N.S.

1 0.00 11.89 11.00 9.16 9.84 16.22 0.00 0.00

time (sec)

N/A 0.000 0.370 1.436 0.267 0.251 13.367 0.000 0.000

Problem 1644

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

17 13 9 9 15 8 7 8 8

N.S.

1 0.76 0.53 0.53 0.88 0.47 0.41 0.47 0.47

time (sec)

N/A 0.174 0.046 0.028 0.219 0.225 0.051 0.301 0.053

Problem 1645

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

25 62 25 23 129 22 27 27 23

N.S.

1 2.48 1.00 0.92 5.16 0.88 1.08 1.08 0.92

time (sec)

N/A 0.565 0.056 0.142 0.196 0.242 0.123 0.287 11.198

Problem 1646

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

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.153 0.004 0.027 0.186 0.233 0.042 0.276 10.717

Problem 1647

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 24 16 19 13 18 14 18 13

N.S.

1 1.41 0.94 1.12 0.76 1.06 0.82 1.06 0.76

time (sec)

N/A 0.272 0.115 0.064 0.256 0.231 0.064 0.280 10.616

Problem 1648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 0 43 39 35 41 0 0

N.S.

1 0.00 0.00 1.30 1.18 1.06 1.24 0.00 0.00

time (sec)

N/A 0.000 0.000 4.179 0.311 0.259 0.190 0.000 0.000

Problem 1649

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

25 127 78 88 82 77 90 81 82

N.S.

1 5.08 3.12 3.52 3.28 3.08 3.60 3.24 3.28

time (sec)

N/A 0.336 0.262 0.064 0.269 0.233 0.090 0.281 0.121

Problem 1650

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 17 15 16 50 17 14 14

N.S.

1 0.00 0.74 0.65 0.70 2.17 0.74 0.61 0.61

time (sec)

N/A 0.000 0.692 1.520 0.350 0.228 0.845 0.268 11.284

Problem 1651

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 27 19 17 21 16 15 24 16

N.S.

1 1.50 1.06 0.94 1.17 0.89 0.83 1.33 0.89

time (sec)

N/A 0.223 0.111 0.169 0.243 0.225 0.062 0.268 0.168

Problem 1652

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 16 16 15 14 16 15 16 14

N.S.

1 0.80 0.80 0.75 0.70 0.80 0.75 0.80 0.70

time (sec)

N/A 0.158 0.007 0.053 0.187 0.231 0.055 0.266 0.078

Problem 1653

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

N.S.

1 1.53 1.00 0.80 1.00 1.00 0.67 1.00 0.80

time (sec)

N/A 0.137 0.000 0.020 0.188 0.215 0.021 0.268 0.026

Problem 1654

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

32 0 26 22 34 34 15 0 21

N.S.

1 0.00 0.81 0.69 1.06 1.06 0.47 0.00 0.66

time (sec)

N/A 0.000 0.084 0.432 0.232 0.238 0.089 0.000 11.719

Problem 1655

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

29 48 50 28 27 38 39 28 29

N.S.

1 1.66 1.72 0.97 0.93 1.31 1.34 0.97 1.00

time (sec)

N/A 0.195 0.023 0.077 0.193 0.275 0.122 0.272 0.120

Problem 1656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 21 15 12 11 31 12 11 11

N.S.

1 1.31 0.94 0.75 0.69 1.94 0.75 0.69 0.69

time (sec)

N/A 0.189 0.035 0.024 0.183 0.236 0.079 0.277 0.091

Problem 1657

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 8 23 7 17 17 15 15 6

N.S.

1 0.27 0.77 0.23 0.57 0.57 0.50 0.50 0.20

time (sec)

N/A 0.124 0.005 0.070 0.178 0.246 0.044 0.264 0.120

Problem 1658

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

26 0 23 22 26 26 27 182 26

N.S.

1 0.00 0.88 0.85 1.00 1.00 1.04 7.00 1.00

time (sec)

N/A 0.000 1.985 0.219 0.324 0.231 0.081 0.496 10.443

Problem 1659

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 33 40 39 39 29 38 41

N.S.

1 0.00 1.43 1.74 1.70 1.70 1.26 1.65 1.78

time (sec)

N/A 0.000 0.184 0.918 0.225 0.231 0.066 0.288 10.686

Problem 1660

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 16 16 17 36 16 15 16 16

N.S.

1 0.76 0.76 0.81 1.71 0.76 0.71 0.76 0.76

time (sec)

N/A 0.167 0.007 0.016 0.195 0.227 0.042 0.273 10.446

Problem 1661

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

N.S.

1 1.05 0.95 0.85 1.00 1.00 1.70 1.00 0.90

time (sec)

N/A 0.135 0.001 0.017 0.204 0.224 0.027 0.273 0.251

Problem 1662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 26 44 24 0 40 42

N.S.

1 0.00 0.00 0.90 1.52 0.83 0.00 1.38 1.45

time (sec)

N/A 0.000 0.000 0.163 0.374 0.230 0.000 0.366 10.507

Problem 1663

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

26 36 21 41 35 35 19 35 0

N.S.

1 1.38 0.81 1.58 1.35 1.35 0.73 1.35 0.00

time (sec)

N/A 0.582 0.180 0.271 0.283 0.235 0.094 0.297 0.000

Problem 1664

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

11 0 9 8 7 7 7 7 7

N.S.

1 0.00 0.82 0.73 0.64 0.64 0.64 0.64 0.64

time (sec)

N/A 0.000 0.006 0.039 0.218 0.251 0.094 0.265 0.064

Problem 1665

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 18 18 19 18 16 20 18 9

N.S.

1 0.90 0.90 0.95 0.90 0.80 1.00 0.90 0.45

time (sec)

N/A 0.163 0.006 0.018 0.189 0.227 0.071 0.273 9.941

Problem 1666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 31 0 36 82 27 0 36

N.S.

1 0.00 1.00 0.00 1.16 2.65 0.87 0.00 1.16

time (sec)

N/A 0.000 0.344 0.000 0.348 0.237 0.730 0.000 10.681

Problem 1667

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

17 18 48 70 692 91 141 111 62

N.S.

1 1.06 2.82 4.12 40.71 5.35 8.29 6.53 3.65

time (sec)

N/A 0.329 0.252 0.145 0.218 0.229 0.144 0.275 10.189

Problem 1668

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

11 25 11 12 27 11 8 15 11

N.S.

1 2.27 1.00 1.09 2.45 1.00 0.73 1.36 1.00

time (sec)

N/A 0.173 0.064 0.065 0.172 0.223 0.059 0.291 10.299

Problem 1669

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 30 32 25 23 23 24 23 25

N.S.

1 1.50 1.60 1.25 1.15 1.15 1.20 1.15 1.25

time (sec)

N/A 0.162 0.037 0.037 0.180 0.221 0.064 0.269 10.249

Problem 1670

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 23 16 17 17 15 17 16

N.S.

1 0.94 1.44 1.00 1.06 1.06 0.94 1.06 1.00

time (sec)

N/A 0.138 0.003 0.035 0.177 0.211 0.024 0.279 0.033

Problem 1671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 85 77 43 51 47 41 89 42

N.S.

1 2.66 2.41 1.34 1.59 1.47 1.28 2.78 1.31

time (sec)

N/A 0.692 0.105 0.305 0.223 0.232 0.200 0.291 10.569

Problem 1672

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

4 2 2 3 2 2 2 3 2

N.S.

1 0.50 0.50 0.75 0.50 0.50 0.50 0.75 0.50

time (sec)

N/A 0.112 0.000 0.009 0.177 0.215 0.022 0.272 0.010

Problem 1673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 77 32 134 57 33 63 88 48

N.S.

1 2.26 0.94 3.94 1.68 0.97 1.85 2.59 1.41

time (sec)

N/A 5.637 0.198 18.547 0.239 0.239 1.149 0.567 10.797

Problem 1674

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

28 36 32 30 34 35 24 30 30

N.S.

1 1.29 1.14 1.07 1.21 1.25 0.86 1.07 1.07

time (sec)

N/A 0.377 0.088 0.086 0.206 0.253 0.090 0.277 10.580

Problem 1675

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

N.S.

1 0.89 1.11 1.00 1.11 1.11 1.05 1.11 1.11

time (sec)

N/A 0.128 0.000 0.031 0.177 0.239 0.026 0.268 0.050

Problem 1676

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 25 17 15 14 14 12 14 12

N.S.

1 1.39 0.94 0.83 0.78 0.78 0.67 0.78 0.67

time (sec)

N/A 0.152 0.035 0.024 0.183 0.224 0.049 0.264 0.048

Problem 1677

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

27 0 23 21 65 29 36 52 20

N.S.

1 0.00 0.85 0.78 2.41 1.07 1.33 1.93 0.74

time (sec)

N/A 0.000 0.052 2.277 0.291 0.235 0.135 0.318 11.018

Problem 1678

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

15 15 15 14 0 13 12 13 13

N.S.

1 1.00 1.00 0.93 0.00 0.87 0.80 0.87 0.87

time (sec)

N/A 0.364 0.271 0.123 0.000 0.226 0.104 0.292 10.645

Problem 1679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B A A B B

verified

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

size

34 0 0 45 273 53 44 115 53

N.S.

1 0.00 0.00 1.32 8.03 1.56 1.29 3.38 1.56

time (sec)

N/A 0.000 0.000 1.711 0.299 0.244 0.523 0.378 10.828

Problem 1680

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 26 25 19 22 22 19 22 20

N.S.

1 1.53 1.47 1.12 1.29 1.29 1.12 1.29 1.18

time (sec)

N/A 0.153 0.002 0.035 0.181 0.218 0.025 0.273 0.037

Problem 1681

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 25 15 20 19 24 19 25 12

N.S.

1 1.56 0.94 1.25 1.19 1.50 1.19 1.56 0.75

time (sec)

N/A 0.168 0.004 0.623 0.170 0.234 0.037 0.269 0.078

Problem 1682

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

29 0 33 32 37 37 42 37 31

N.S.

1 0.00 1.14 1.10 1.28 1.28 1.45 1.28 1.07

time (sec)

N/A 0.000 0.017 0.056 0.176 0.220 0.381 0.268 10.485

Problem 1683

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

34 0 32 30 30 28 56 0 28

N.S.

1 0.00 0.94 0.88 0.88 0.82 1.65 0.00 0.82

time (sec)

N/A 0.000 0.116 5.696 0.381 0.245 2.221 0.000 10.857

Problem 1684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 60 31 30 22 1059 0

N.S.

1 0.00 1.00 2.00 1.03 1.00 0.73 35.30 0.00

time (sec)

N/A 0.000 0.129 72.893 0.392 0.240 0.422 15.546 0.000

Problem 1685

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

28 44 43 38 72 36 48 39 48

N.S.

1 1.57 1.54 1.36 2.57 1.29 1.71 1.39 1.71

time (sec)

N/A 0.478 0.083 0.238 0.224 0.242 0.334 0.266 10.751

Problem 1686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 31 29 35 157 66 68 0 95

N.S.

1 1.03 0.97 1.17 5.23 2.20 2.27 0.00 3.17

time (sec)

N/A 16.654 0.158 19.725 0.405 0.241 0.655 0.000 11.370

Problem 1687

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 19 21 16 15 15 17 15 15

N.S.

1 0.79 0.88 0.67 0.62 0.62 0.71 0.62 0.62

time (sec)

N/A 0.331 0.034 0.058 0.178 0.231 0.082 0.275 10.935

Problem 1688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 22 23 62 20 0 0 19

N.S.

1 0.00 0.79 0.82 2.21 0.71 0.00 0.00 0.68

time (sec)

N/A 0.000 0.080 8.120 0.654 0.234 0.000 0.000 11.276

Problem 1689

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

N.S.

1 0.82 0.82 0.82 0.73 0.73 0.73 0.73 0.73

time (sec)

N/A 0.182 0.008 0.082 0.197 0.229 0.082 0.261 11.100

Problem 1690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

28 0 23 48 0 42 44 69 42

N.S.

1 0.00 0.82 1.71 0.00 1.50 1.57 2.46 1.50

time (sec)

N/A 0.000 0.121 1.285 0.000 0.261 11.958 0.278 11.800

Problem 1691

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 100 105 81 87 87 94 87 81

N.S.

1 5.26 5.53 4.26 4.58 4.58 4.95 4.58 4.26

time (sec)

N/A 0.243 0.034 0.057 0.181 0.225 0.042 0.266 11.659

Problem 1692

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 38 38 31 27 27 36 27 30

N.S.

1 1.58 1.58 1.29 1.12 1.12 1.50 1.12 1.25

time (sec)

N/A 0.168 0.004 0.032 0.184 0.223 0.022 0.265 11.547

Problem 1693

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

24 0 22 42 24 21 17 29 32

N.S.

1 0.00 0.92 1.75 1.00 0.88 0.71 1.21 1.33

time (sec)

N/A 0.000 0.118 8.093 0.235 0.228 0.150 0.266 11.179

Problem 1694

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

25 0 25 81 214 108 172 164 240

N.S.

1 0.00 1.00 3.24 8.56 4.32 6.88 6.56 9.60

time (sec)

N/A 0.000 0.318 7.109 0.311 0.239 5.592 0.309 11.528

Problem 1695

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

31 32 28 28 26 28 27 26 0

N.S.

1 1.03 0.90 0.90 0.84 0.90 0.87 0.84 0.00

time (sec)

N/A 2.016 0.165 31.969 0.251 0.247 0.795 0.423 0.000

Problem 1696

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

17 45 45 41 39 37 44 40 27

N.S.

1 2.65 2.65 2.41 2.29 2.18 2.59 2.35 1.59

time (sec)

N/A 0.216 0.010 0.063 0.184 0.225 0.095 0.269 10.837

Problem 1697

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 41 27 24 34 22 22 22 24

N.S.

1 1.58 1.04 0.92 1.31 0.85 0.85 0.85 0.92

time (sec)

N/A 0.649 0.158 0.075 0.267 0.227 0.081 0.270 0.232

Problem 1698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 0 56 74 64 48 121 0

N.S.

1 0.00 0.00 2.00 2.64 2.29 1.71 4.32 0.00

time (sec)

N/A 0.000 0.000 0.408 0.369 0.233 1.030 0.499 0.000

Problem 1699

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

25 0 28 31 31 31 27 33 0

N.S.

1 0.00 1.12 1.24 1.24 1.24 1.08 1.32 0.00

time (sec)

N/A 0.000 0.212 0.316 0.199 0.233 0.092 0.278 0.000

Problem 1700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 23 0 26 68 0 0 80

N.S.

1 0.00 1.00 0.00 1.13 2.96 0.00 0.00 3.48

time (sec)

N/A 0.000 0.090 0.000 0.455 0.254 0.000 0.000 13.352

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