3.1.19 \(\int \frac {e^{3 x} (12-80 x+72 x^2-16 x^3+(12-8 x) \log (4))+e^{2 x} (24-328 x+440 x^2-160 x^3+16 x^4+(52-80 x+16 x^2) \log (4)+4 \log ^2(4))+e^x (-288 x+576 x^2-256 x^3+32 x^4+(48-128 x+32 x^2) \log (4)+8 \log ^2(4))}{-1728 x^3+1728 x^4-576 x^5+64 x^6+(864 x^2-576 x^3+96 x^4) \log (4)+(-144 x+48 x^2) \log ^2(4)+8 \log ^3(4)+e^{3 x} (-216 x^3+216 x^4-72 x^5+8 x^6+(108 x^2-72 x^3+12 x^4) \log (4)+(-18 x+6 x^2) \log ^2(4)+\log ^3(4))+e^{2 x} (-1296 x^3+1296 x^4-432 x^5+48 x^6+(648 x^2-432 x^3+72 x^4) \log (4)+(-108 x+36 x^2) \log ^2(4)+6 \log ^3(4))+e^x (-2592 x^3+2592 x^4-864 x^5+96 x^6+(1296 x^2-864 x^3+144 x^4) \log (4)+(-216 x+72 x^2) \log ^2(4)+12 \log ^3(4))} \, dx\)

Optimal. Leaf size=28 \[ \left (1+\frac {e^x}{\left (2+e^x\right ) (-2 (3-x) x+\log (4))}\right )^2 \]

________________________________________________________________________________________

Rubi [F]  time = 14.30, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {e^{3 x} \left (12-80 x+72 x^2-16 x^3+(12-8 x) \log (4)\right )+e^{2 x} \left (24-328 x+440 x^2-160 x^3+16 x^4+\left (52-80 x+16 x^2\right ) \log (4)+4 \log ^2(4)\right )+e^x \left (-288 x+576 x^2-256 x^3+32 x^4+\left (48-128 x+32 x^2\right ) \log (4)+8 \log ^2(4)\right )}{-1728 x^3+1728 x^4-576 x^5+64 x^6+\left (864 x^2-576 x^3+96 x^4\right ) \log (4)+\left (-144 x+48 x^2\right ) \log ^2(4)+8 \log ^3(4)+e^{3 x} \left (-216 x^3+216 x^4-72 x^5+8 x^6+\left (108 x^2-72 x^3+12 x^4\right ) \log (4)+\left (-18 x+6 x^2\right ) \log ^2(4)+\log ^3(4)\right )+e^{2 x} \left (-1296 x^3+1296 x^4-432 x^5+48 x^6+\left (648 x^2-432 x^3+72 x^4\right ) \log (4)+\left (-108 x+36 x^2\right ) \log ^2(4)+6 \log ^3(4)\right )+e^x \left (-2592 x^3+2592 x^4-864 x^5+96 x^6+\left (1296 x^2-864 x^3+144 x^4\right ) \log (4)+\left (-216 x+72 x^2\right ) \log ^2(4)+12 \log ^3(4)\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(E^(3*x)*(12 - 80*x + 72*x^2 - 16*x^3 + (12 - 8*x)*Log[4]) + E^(2*x)*(24 - 328*x + 440*x^2 - 160*x^3 + 16*
x^4 + (52 - 80*x + 16*x^2)*Log[4] + 4*Log[4]^2) + E^x*(-288*x + 576*x^2 - 256*x^3 + 32*x^4 + (48 - 128*x + 32*
x^2)*Log[4] + 8*Log[4]^2))/(-1728*x^3 + 1728*x^4 - 576*x^5 + 64*x^6 + (864*x^2 - 576*x^3 + 96*x^4)*Log[4] + (-
144*x + 48*x^2)*Log[4]^2 + 8*Log[4]^3 + E^(3*x)*(-216*x^3 + 216*x^4 - 72*x^5 + 8*x^6 + (108*x^2 - 72*x^3 + 12*
x^4)*Log[4] + (-18*x + 6*x^2)*Log[4]^2 + Log[4]^3) + E^(2*x)*(-1296*x^3 + 1296*x^4 - 432*x^5 + 48*x^6 + (648*x
^2 - 432*x^3 + 72*x^4)*Log[4] + (-108*x + 36*x^2)*Log[4]^2 + 6*Log[4]^3) + E^x*(-2592*x^3 + 2592*x^4 - 864*x^5
+ 96*x^6 + (1296*x^2 - 864*x^3 + 144*x^4)*Log[4] + (-216*x + 72*x^2)*Log[4]^2 + 12*Log[4]^3)),x]

[Out]

-4/((2 + E^x)*(3 - 2*x - Sqrt[9 - 2*Log[4]])*Sqrt[9 - 2*Log[4]]) + 4/((2 + E^x)*(3 - 2*x + Sqrt[9 - 2*Log[4]])
*Sqrt[9 - 2*Log[4]]) - (32*Defer[Int][1/((2 + E^x)*(6 - 4*x + 2*Sqrt[9 - 2*Log[4]])^2), x])/Sqrt[9 - 2*Log[4]]
+ (32*Defer[Int][1/((2 + E^x)*(-6 + 4*x + 2*Sqrt[9 - 2*Log[4]])^2), x])/Sqrt[9 - 2*Log[4]] - 24*Defer[Int][E^
x/((2 + E^x)^2*(-6*x + 2*x^2 + Log[4])^3), x] + 12*Defer[Int][E^x/((2 + E^x)*(-6*x + 2*x^2 + Log[4])^3), x] +
16*Defer[Int][(E^x*x)/((2 + E^x)^2*(-6*x + 2*x^2 + Log[4])^3), x] - 8*Defer[Int][(E^x*x)/((2 + E^x)*(-6*x + 2*
x^2 + Log[4])^3), x] + 4*Defer[Int][E^x/((2 + E^x)^2*(-6*x + 2*x^2 + Log[4])^2), x] + 12*Defer[Int][E^x/((2 +
E^x)*(-6*x + 2*x^2 + Log[4])^2), x] - 8*Defer[Int][(E^x*x)/((2 + E^x)*(-6*x + 2*x^2 + Log[4])^2), x] - 32*Defe
r[Int][E^x/((2 + E^x)^3*(-12*x + 4*x^2 + Log[16])^2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4 e^x \left (64 x^3-8 x^4-2 \log (4) (6+\log (4))-8 x^2 (18+\log (4))+e^{2 x} (-3+2 x) \left (1-6 x+2 x^2+\log (4)\right )-e^x \left (6-40 x^3+4 x^4+13 \log (4)+\log ^2(4)-2 x (41+10 \log (4))+2 x^2 (55+\log (16))\right )+8 x (9+\log (256))\right )}{\left (2+e^x\right )^3 \left (6 x-2 x^2-\log (4)\right )^3} \, dx\\ &=4 \int \frac {e^x \left (64 x^3-8 x^4-2 \log (4) (6+\log (4))-8 x^2 (18+\log (4))+e^{2 x} (-3+2 x) \left (1-6 x+2 x^2+\log (4)\right )-e^x \left (6-40 x^3+4 x^4+13 \log (4)+\log ^2(4)-2 x (41+10 \log (4))+2 x^2 (55+\log (16))\right )+8 x (9+\log (256))\right )}{\left (2+e^x\right )^3 \left (6 x-2 x^2-\log (4)\right )^3} \, dx\\ &=4 \int \left (-\frac {e^x (-3+2 x) \left (1-6 x+2 x^2+\log (4)\right )}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3}-\frac {e^x \left (-12 x+4 x^2+\log (16)\right )}{\left (2+e^x\right )^3 \left (-6 x+2 x^2+\log (4)\right )^3}+\frac {e^x \left (6+24 x^3-4 x^4-\log (4)-\log ^2(4)+2 x (1+6 \log (4))-2 x^2 (19+\log (16))\right )}{\left (2+e^x\right )^2 \left (6 x-2 x^2-\log (4)\right )^3}\right ) \, dx\\ &=-\left (4 \int \frac {e^x (-3+2 x) \left (1-6 x+2 x^2+\log (4)\right )}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx\right )-4 \int \frac {e^x \left (-12 x+4 x^2+\log (16)\right )}{\left (2+e^x\right )^3 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx+4 \int \frac {e^x \left (6+24 x^3-4 x^4-\log (4)-\log ^2(4)+2 x (1+6 \log (4))-2 x^2 (19+\log (16))\right )}{\left (2+e^x\right )^2 \left (6 x-2 x^2-\log (4)\right )^3} \, dx\\ &=-\left (4 \int \left (\frac {e^x (-3+2 x)}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3}+\frac {e^x (-3+2 x)}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2}\right ) \, dx\right )-4 \int \frac {8 e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx+4 \int \frac {e^x \left (24 x^3-4 x^4+(2-\log (4)) (3+\log (4))+2 x (1+6 \log (4))-2 x^2 (19+\log (16))\right )}{\left (2+e^x\right )^2 \left (6 x-2 x^2-\log (4)\right )^3} \, dx\\ &=-\left (4 \int \frac {e^x (-3+2 x)}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx\right )-4 \int \frac {e^x (-3+2 x)}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+4 \int \left (\frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^2}+\frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )}+\frac {e^x \left (-6+4 x+2 \log ^2(4)-\log (4) \log (16)\right )}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3}\right ) \, dx-32 \int \frac {e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx\\ &=4 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+4 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )} \, dx-4 \int \left (-\frac {3 e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3}+\frac {2 e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3}\right ) \, dx-4 \int \left (-\frac {3 e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2}+\frac {2 e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2}\right ) \, dx+4 \int \frac {e^x \left (-6+4 x+2 \log ^2(4)-\log (4) \log (16)\right )}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-32 \int \frac {e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx\\ &=4 \int \left (-\frac {2 e^x}{\left (2+e^x\right )^2 \left (6-4 x+2 \sqrt {9-2 \log (4)}\right ) \sqrt {9-2 \log (4)}}-\frac {2 e^x}{\left (2+e^x\right )^2 \left (-6+4 x+2 \sqrt {9-2 \log (4)}\right ) \sqrt {9-2 \log (4)}}\right ) \, dx+4 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+4 \int \left (-\frac {6 e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3}+\frac {4 e^x x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3}\right ) \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx-32 \int \frac {e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx\\ &=4 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^2} \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+16 \int \frac {e^x x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-24 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-32 \int \frac {e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx-\frac {8 \int \frac {e^x}{\left (2+e^x\right )^2 \left (6-4 x+2 \sqrt {9-2 \log (4)}\right )} \, dx}{\sqrt {9-2 \log (4)}}-\frac {8 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6+4 x+2 \sqrt {9-2 \log (4)}\right )} \, dx}{\sqrt {9-2 \log (4)}}\\ &=-\frac {4}{\left (2+e^x\right ) \left (3-2 x-\sqrt {9-2 \log (4)}\right ) \sqrt {9-2 \log (4)}}+\frac {4}{\left (2+e^x\right ) \left (3-2 x+\sqrt {9-2 \log (4)}\right ) \sqrt {9-2 \log (4)}}+4 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^2} \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-8 \int \frac {e^x x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^3} \, dx+12 \int \frac {e^x}{\left (2+e^x\right ) \left (-6 x+2 x^2+\log (4)\right )^2} \, dx+16 \int \frac {e^x x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-24 \int \frac {e^x}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^3} \, dx-32 \int \frac {e^x}{\left (2+e^x\right )^3 \left (-12 x+4 x^2+\log (16)\right )^2} \, dx-\frac {32 \int \frac {1}{\left (2+e^x\right ) \left (6-4 x+2 \sqrt {9-2 \log (4)}\right )^2} \, dx}{\sqrt {9-2 \log (4)}}+\frac {32 \int \frac {1}{\left (2+e^x\right ) \left (-6+4 x+2 \sqrt {9-2 \log (4)}\right )^2} \, dx}{\sqrt {9-2 \log (4)}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B]  time = 0.26, size = 132, normalized size = 4.71 \begin {gather*} -\frac {e^x \left (-e^x \left (-6 x+2 x^2+\log (4)\right )^2 \left (1-12 x+4 x^2+\log (16)\right )-4 \left (-72 x^5+8 x^6+\log ^3(4)-4 x^3 (54+28 \log (4)-5 \log (16))+4 x^4 (54+\log (64))+2 x^2 \left (5 \log ^2(4)-\log (4) (-20+\log (16))-3 \log (16)+10 \log (256)\right )-2 x \log (4) \log (262144)\right )\right )}{\left (2+e^x\right )^2 \left (-6 x+2 x^2+\log (4)\right )^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^(3*x)*(12 - 80*x + 72*x^2 - 16*x^3 + (12 - 8*x)*Log[4]) + E^(2*x)*(24 - 328*x + 440*x^2 - 160*x^3
+ 16*x^4 + (52 - 80*x + 16*x^2)*Log[4] + 4*Log[4]^2) + E^x*(-288*x + 576*x^2 - 256*x^3 + 32*x^4 + (48 - 128*x
+ 32*x^2)*Log[4] + 8*Log[4]^2))/(-1728*x^3 + 1728*x^4 - 576*x^5 + 64*x^6 + (864*x^2 - 576*x^3 + 96*x^4)*Log[4
] + (-144*x + 48*x^2)*Log[4]^2 + 8*Log[4]^3 + E^(3*x)*(-216*x^3 + 216*x^4 - 72*x^5 + 8*x^6 + (108*x^2 - 72*x^3
+ 12*x^4)*Log[4] + (-18*x + 6*x^2)*Log[4]^2 + Log[4]^3) + E^(2*x)*(-1296*x^3 + 1296*x^4 - 432*x^5 + 48*x^6 +
(648*x^2 - 432*x^3 + 72*x^4)*Log[4] + (-108*x + 36*x^2)*Log[4]^2 + 6*Log[4]^3) + E^x*(-2592*x^3 + 2592*x^4 - 8
64*x^5 + 96*x^6 + (1296*x^2 - 864*x^3 + 144*x^4)*Log[4] + (-216*x + 72*x^2)*Log[4]^2 + 12*Log[4]^3)),x]

[Out]

-((E^x*(-(E^x*(-6*x + 2*x^2 + Log[4])^2*(1 - 12*x + 4*x^2 + Log[16])) - 4*(-72*x^5 + 8*x^6 + Log[4]^3 - 4*x^3*
(54 + 28*Log[4] - 5*Log[16]) + 4*x^4*(54 + Log[64]) + 2*x^2*(5*Log[4]^2 - Log[4]*(-20 + Log[16]) - 3*Log[16] +
10*Log[256]) - 2*x*Log[4]*Log[262144])))/((2 + E^x)^2*(-6*x + 2*x^2 + Log[4])^4))

________________________________________________________________________________________

fricas [B]  time = 0.86, size = 137, normalized size = 4.89 \begin {gather*} \frac {{\left (4 \, x^{2} - 12 \, x + 4 \, \log \relax (2) + 1\right )} e^{\left (2 \, x\right )} + 8 \, {\left (x^{2} - 3 \, x + \log \relax (2)\right )} e^{x}}{4 \, {\left (4 \, x^{4} - 24 \, x^{3} + 36 \, x^{2} + {\left (x^{4} - 6 \, x^{3} + 9 \, x^{2} + 2 \, {\left (x^{2} - 3 \, x\right )} \log \relax (2) + \log \relax (2)^{2}\right )} e^{\left (2 \, x\right )} + 4 \, {\left (x^{4} - 6 \, x^{3} + 9 \, x^{2} + 2 \, {\left (x^{2} - 3 \, x\right )} \log \relax (2) + \log \relax (2)^{2}\right )} e^{x} + 8 \, {\left (x^{2} - 3 \, x\right )} \log \relax (2) + 4 \, \log \relax (2)^{2}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*(-8*x+12)*log(2)-16*x^3+72*x^2-80*x+12)*exp(x)^3+(16*log(2)^2+2*(16*x^2-80*x+52)*log(2)+16*x^4-1
60*x^3+440*x^2-328*x+24)*exp(x)^2+(32*log(2)^2+2*(32*x^2-128*x+48)*log(2)+32*x^4-256*x^3+576*x^2-288*x)*exp(x)
)/((8*log(2)^3+4*(6*x^2-18*x)*log(2)^2+2*(12*x^4-72*x^3+108*x^2)*log(2)+8*x^6-72*x^5+216*x^4-216*x^3)*exp(x)^3
+(48*log(2)^3+4*(36*x^2-108*x)*log(2)^2+2*(72*x^4-432*x^3+648*x^2)*log(2)+48*x^6-432*x^5+1296*x^4-1296*x^3)*ex
p(x)^2+(96*log(2)^3+4*(72*x^2-216*x)*log(2)^2+2*(144*x^4-864*x^3+1296*x^2)*log(2)+96*x^6-864*x^5+2592*x^4-2592
*x^3)*exp(x)+64*log(2)^3+4*(48*x^2-144*x)*log(2)^2+2*(96*x^4-576*x^3+864*x^2)*log(2)+64*x^6-576*x^5+1728*x^4-1
728*x^3),x, algorithm="fricas")

[Out]

1/4*((4*x^2 - 12*x + 4*log(2) + 1)*e^(2*x) + 8*(x^2 - 3*x + log(2))*e^x)/(4*x^4 - 24*x^3 + 36*x^2 + (x^4 - 6*x
^3 + 9*x^2 + 2*(x^2 - 3*x)*log(2) + log(2)^2)*e^(2*x) + 4*(x^4 - 6*x^3 + 9*x^2 + 2*(x^2 - 3*x)*log(2) + log(2)
^2)*e^x + 8*(x^2 - 3*x)*log(2) + 4*log(2)^2)

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*(-8*x+12)*log(2)-16*x^3+72*x^2-80*x+12)*exp(x)^3+(16*log(2)^2+2*(16*x^2-80*x+52)*log(2)+16*x^4-1
60*x^3+440*x^2-328*x+24)*exp(x)^2+(32*log(2)^2+2*(32*x^2-128*x+48)*log(2)+32*x^4-256*x^3+576*x^2-288*x)*exp(x)
)/((8*log(2)^3+4*(6*x^2-18*x)*log(2)^2+2*(12*x^4-72*x^3+108*x^2)*log(2)+8*x^6-72*x^5+216*x^4-216*x^3)*exp(x)^3
+(48*log(2)^3+4*(36*x^2-108*x)*log(2)^2+2*(72*x^4-432*x^3+648*x^2)*log(2)+48*x^6-432*x^5+1296*x^4-1296*x^3)*ex
p(x)^2+(96*log(2)^3+4*(72*x^2-216*x)*log(2)^2+2*(144*x^4-864*x^3+1296*x^2)*log(2)+96*x^6-864*x^5+2592*x^4-2592
*x^3)*exp(x)+64*log(2)^3+4*(48*x^2-144*x)*log(2)^2+2*(96*x^4-576*x^3+864*x^2)*log(2)+64*x^6-576*x^5+1728*x^4-1
728*x^3),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [B]  time = 1.60, size = 62, normalized size = 2.21

method	result	size
norman	\(\frac {2 \,{\mathrm e}^{x} \ln \relax (2)+\left (\ln \relax (2)+\frac {1}{4}\right ) {\mathrm e}^{2 x}-6 \,{\mathrm e}^{x} x +{\mathrm e}^{2 x} x^{2}+2 \,{\mathrm e}^{x} x^{2}-3 x \,{\mathrm e}^{2 x}}{\left ({\mathrm e}^{x}+2\right )^{2} \left (x^{2}+\ln \relax (2)-3 x \right )^{2}}\)	\(62\)
risch	\(\frac {\frac {1}{4}+x^{2}-3 x +\ln \relax (2)}{x^{4}+2 x^{2} \ln \relax (2)-6 x^{3}+\ln \relax (2)^{2}-6 x \ln \relax (2)+9 x^{2}}-\frac {2 \,{\mathrm e}^{x} x^{2}+2 \,{\mathrm e}^{x} \ln \relax (2)+4 x^{2}-6 \,{\mathrm e}^{x} x +4 \ln \relax (2)-12 x +{\mathrm e}^{x}+1}{\left (x^{4}+2 x^{2} \ln \relax (2)-6 x^{3}+\ln \relax (2)^{2}-6 x \ln \relax (2)+9 x^{2}\right ) \left ({\mathrm e}^{x}+2\right )^{2}}\)	\(119\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((2*(-8*x+12)*ln(2)-16*x^3+72*x^2-80*x+12)*exp(x)^3+(16*ln(2)^2+2*(16*x^2-80*x+52)*ln(2)+16*x^4-160*x^3+44
0*x^2-328*x+24)*exp(x)^2+(32*ln(2)^2+2*(32*x^2-128*x+48)*ln(2)+32*x^4-256*x^3+576*x^2-288*x)*exp(x))/((8*ln(2)
^3+4*(6*x^2-18*x)*ln(2)^2+2*(12*x^4-72*x^3+108*x^2)*ln(2)+8*x^6-72*x^5+216*x^4-216*x^3)*exp(x)^3+(48*ln(2)^3+4
*(36*x^2-108*x)*ln(2)^2+2*(72*x^4-432*x^3+648*x^2)*ln(2)+48*x^6-432*x^5+1296*x^4-1296*x^3)*exp(x)^2+(96*ln(2)^
3+4*(72*x^2-216*x)*ln(2)^2+2*(144*x^4-864*x^3+1296*x^2)*ln(2)+96*x^6-864*x^5+2592*x^4-2592*x^3)*exp(x)+64*ln(2
)^3+4*(48*x^2-144*x)*ln(2)^2+2*(96*x^4-576*x^3+864*x^2)*ln(2)+64*x^6-576*x^5+1728*x^4-1728*x^3),x,method=_RETU
RNVERBOSE)

[Out]

(2*exp(x)*ln(2)+(ln(2)+1/4)*exp(x)^2-6*exp(x)*x+exp(x)^2*x^2+2*exp(x)*x^2-3*x*exp(x)^2)/(exp(x)+2)^2/(x^2+ln(2
)-3*x)^2

________________________________________________________________________________________

maxima [B]  time = 0.74, size = 135, normalized size = 4.82 \begin {gather*} \frac {{\left (4 \, x^{2} - 12 \, x + 4 \, \log \relax (2) + 1\right )} e^{\left (2 \, x\right )} + 8 \, {\left (x^{2} - 3 \, x + \log \relax (2)\right )} e^{x}}{4 \, {\left (4 \, x^{4} - 24 \, x^{3} + 4 \, x^{2} {\left (2 \, \log \relax (2) + 9\right )} + {\left (x^{4} - 6 \, x^{3} + x^{2} {\left (2 \, \log \relax (2) + 9\right )} - 6 \, x \log \relax (2) + \log \relax (2)^{2}\right )} e^{\left (2 \, x\right )} + 4 \, {\left (x^{4} - 6 \, x^{3} + x^{2} {\left (2 \, \log \relax (2) + 9\right )} - 6 \, x \log \relax (2) + \log \relax (2)^{2}\right )} e^{x} - 24 \, x \log \relax (2) + 4 \, \log \relax (2)^{2}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*(-8*x+12)*log(2)-16*x^3+72*x^2-80*x+12)*exp(x)^3+(16*log(2)^2+2*(16*x^2-80*x+52)*log(2)+16*x^4-1
60*x^3+440*x^2-328*x+24)*exp(x)^2+(32*log(2)^2+2*(32*x^2-128*x+48)*log(2)+32*x^4-256*x^3+576*x^2-288*x)*exp(x)
)/((8*log(2)^3+4*(6*x^2-18*x)*log(2)^2+2*(12*x^4-72*x^3+108*x^2)*log(2)+8*x^6-72*x^5+216*x^4-216*x^3)*exp(x)^3
+(48*log(2)^3+4*(36*x^2-108*x)*log(2)^2+2*(72*x^4-432*x^3+648*x^2)*log(2)+48*x^6-432*x^5+1296*x^4-1296*x^3)*ex
p(x)^2+(96*log(2)^3+4*(72*x^2-216*x)*log(2)^2+2*(144*x^4-864*x^3+1296*x^2)*log(2)+96*x^6-864*x^5+2592*x^4-2592
*x^3)*exp(x)+64*log(2)^3+4*(48*x^2-144*x)*log(2)^2+2*(96*x^4-576*x^3+864*x^2)*log(2)+64*x^6-576*x^5+1728*x^4-1
728*x^3),x, algorithm="maxima")

[Out]

1/4*((4*x^2 - 12*x + 4*log(2) + 1)*e^(2*x) + 8*(x^2 - 3*x + log(2))*e^x)/(4*x^4 - 24*x^3 + 4*x^2*(2*log(2) + 9
) + (x^4 - 6*x^3 + x^2*(2*log(2) + 9) - 6*x*log(2) + log(2)^2)*e^(2*x) + 4*(x^4 - 6*x^3 + x^2*(2*log(2) + 9) -
6*x*log(2) + log(2)^2)*e^x - 24*x*log(2) + 4*log(2)^2)

________________________________________________________________________________________

mupad [B]  time = 15.33, size = 33454, normalized size = 1194.79 result too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x)*(2*log(2)*(32*x^2 - 128*x + 48) - 288*x + 32*log(2)^2 + 576*x^2 - 256*x^3 + 32*x^4) - exp(3*x)*(80
*x + 2*log(2)*(8*x - 12) - 72*x^2 + 16*x^3 - 12) + exp(2*x)*(2*log(2)*(16*x^2 - 80*x + 52) - 328*x + 16*log(2)
^2 + 440*x^2 - 160*x^3 + 16*x^4 + 24))/(exp(x)*(96*log(2)^3 - 4*log(2)^2*(216*x - 72*x^2) + 2*log(2)*(1296*x^2
- 864*x^3 + 144*x^4) - 2592*x^3 + 2592*x^4 - 864*x^5 + 96*x^6) + exp(3*x)*(8*log(2)^3 - 4*log(2)^2*(18*x - 6*
x^2) + 2*log(2)*(108*x^2 - 72*x^3 + 12*x^4) - 216*x^3 + 216*x^4 - 72*x^5 + 8*x^6) + exp(2*x)*(48*log(2)^3 - 4*
log(2)^2*(108*x - 36*x^2) + 2*log(2)*(648*x^2 - 432*x^3 + 72*x^4) - 1296*x^3 + 1296*x^4 - 432*x^5 + 48*x^6) -
4*log(2)^2*(144*x - 48*x^2) + 64*log(2)^3 + 2*log(2)*(864*x^2 - 576*x^3 + 96*x^4) - 1728*x^3 + 1728*x^4 - 576*
x^5 + 64*x^6),x)

[Out]

(243*x^5)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 2
52*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2
)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8
*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x
^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^
6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log
(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x
^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2
) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*
exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)
*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log
(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2
+ 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*
x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (2*log(2)^6)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4
*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 +
17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(
2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*l
og(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*
exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2)
- 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 -
10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(
2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*
x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x
)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2
)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 +
1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890
*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - log(2)^5/
(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log
(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780
*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3
- 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x)
+ 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*
x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x
^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^
14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x
^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log
(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6
- 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21
*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*
exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)
*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (1863*x^6)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 -
10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*lo
g(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x
^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 21
87*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*
x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*
log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 +
5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x
^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*
log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 -
5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x
^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*ex
p(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*
log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (3186*x^7)/(378*x^2*l
og(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 18
90*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2
)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*
log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^1
0*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2)
- 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2)
+ 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*
exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*
log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 94
5*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*
exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x
)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log
(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2
+ 21*x^10*exp(x)*log(2)^2) - (2520*x^8)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*
log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 4
2*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^
3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp
(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x
) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1
890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10
- 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*
log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7
*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*
exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*
log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2
)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 +
35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (1095*x^9)/(378*x^2*log(2)^5 -
1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log
(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 1134
0*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 +
42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) -
945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x
^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2
)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log
(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 9
45*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(
x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log
(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5
- 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 42
0*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*
exp(x)*log(2)^2) - (271*x^10)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 +
14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(
2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x
^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103
*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*e
xp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*l
og(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^
11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8
505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(
x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log
(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 +
8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670
*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*ex
p(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (36*x^11)/(378*x^2*log(2)^5 - 1890*x^3*lo
g(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 756
0*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2
)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*lo
g(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*e
xp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) +
17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*
x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 510
3*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp
(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4
+ 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945
*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*
exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x
)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(
2)^2) - (2*x^12)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2
)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^
5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 +
70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) -
5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*
log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x
^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12
- 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x
)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 1
89*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2
*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp
(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*l
og(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3
- 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + log(2)^4/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*
x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 -
720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^
6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) +
4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*
x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2)
- 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 486
0*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*
x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*
x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*
x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5
*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log
(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1
620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*
exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x
)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log
(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2)
+ symsum(log(20736*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3 - 2916, z, k)*log(2) - 13184*x - 15360*log(
2) - 23328*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3 - 2916, z, k) + 15552*root(3888*log(2) - 1728*log(2
)^2 + 256*log(2)^3 - 2916, z, k)*x + 10240*x*log(2) - 4608*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3 - 2
916, z, k)*log(2)^2 - 2048*x*log(2)^2 + 3072*log(2)^2 - 13824*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3
- 2916, z, k)*x*log(2) + 3072*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3 - 2916, z, k)*x*log(2)^2 + 19776
)*root(3888*log(2) - 1728*log(2)^2 + 256*log(2)^3 - 2916, z, k), k, 1, 6) + (81*x^4)/(540*x^2*log(2)^4 - 2160*
x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2
+ 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^
2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x
) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2
*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2
) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*
x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2
*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2
*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp
(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)
*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2)
- 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6
*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*
x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(
2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4
- 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x
^8*exp(x)*log(2)^2) - (108*x^5)/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 -
360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2
)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*ex
p(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^
6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*
exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(
2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*
x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp
(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*ex
p(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*e
xp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*
log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*
x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8
*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)
*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(
2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2
+ 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + (54*x^6)/(540*x^2*log(2)^4 - 21
60*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)
^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(
2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*ex
p(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*ex
p(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*lo
g(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 29
16*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*ex
p(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*ex
p(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*
exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp
(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(
2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*
x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp
(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*l
og(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)
^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 6
0*x^8*exp(x)*log(2)^2) - (12*x^7)/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5
- 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log
(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*
exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2
)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^1
1*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*lo
g(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 7
2*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*e
xp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*
exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7
*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x
)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 1
8*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x
^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(
x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*lo
g(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^
2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + x^8/(540*x^2*log(2)^4 - 2160*
x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2
+ 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^
2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x
) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2
*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2
) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*
x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2
*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2
*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp
(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)
*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2)
- 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6
*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*
x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(
2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4
- 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x
^8*exp(x)*log(2)^2) - (12*x*log(2)^3)/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2
)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6
*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*
x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*l
og(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18
*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^
8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10
- 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x
^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*
x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180
*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*e
xp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2)
- 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 5
40*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*
exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x
)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log
(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) - (108*x^3*log(2))/(540*x^2
*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6
480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2
+ 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x)
+ 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x)
+ 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5
- 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4
*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^
4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^
4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2
)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2
)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x
^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*
log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2
) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 2
4*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4
*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x
)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + (108*x^4*log(2))/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2
)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*l
og(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*
x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*e
xp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*
x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^
7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2
160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2
*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2
*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2
*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*l
og(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*
x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*e
xp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*lo
g(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^
4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3
240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) - (36*x^5
*log(2))/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160
*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 -
720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x)
- 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) -
1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x
) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 2
4*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2
*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3
*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x
^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x
^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x
)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1
458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x
^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*ex
p(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*
log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^
3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + (4*x^6*log(2))/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 +
4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2
)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*l
og(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*ex
p(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*
exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*l
og(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7
+ 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 +
1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 -
1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2
+ 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 58
32*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(
x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(
2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 54
0*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3
*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(
x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(
2)^2) - (90*x^2*log(2)^3)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*
x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5
- 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*l
og(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8
*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x
) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2
) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 +
378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*
x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*l
og(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^
2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 850
5*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7
*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)
*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (270*x^3*log(2)^2)/(378*x^2*log(2)^5 - 1890*x
^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4
- 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*
log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^
10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x
^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log
(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 -
4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6
+ 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^1
0*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log
(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5
+ 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315
*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*
exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)
*log(2)^2) - (275*x^2*log(2)^4)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2
+ 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*lo
g(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780
*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 51
03*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14
*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10
*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*
x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) +
8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*ex
p(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*l
og(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3
+ 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 56
70*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*
exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (1140*x^3*log(2)^3)/(378*x^2*log(2)^5 -
1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*lo
g(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 113
40*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2
+ 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x)
- 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*
x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(
2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*lo
g(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) +
945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp
(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*lo
g(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^
5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 4
20*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10
*exp(x)*log(2)^2) - (2700*x^4*log(2)^2)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*
log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 4
2*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^
3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp
(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x
) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1
890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10
- 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*
log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7
*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*
exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*
log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2
)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 +
35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (12*x^2*log(2)^5)/(378*x^2*log(
2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*
x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3
- 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log
(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*e
xp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) -
20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) +
2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp
(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log
(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x
^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp
(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*l
og(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)
^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 2
1*x^10*exp(x)*log(2)^2) + (180*x^3*log(2)^4)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206
*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^
2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*lo
g(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^
7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*
exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2
) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670
*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*ex
p(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2
) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103
*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*ex
p(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*
log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2
)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (1090*x^4*log(2)^3)/(378*x
^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5
+ 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*l
og(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*
x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835
*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*lo
g(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*lo
g(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 2
1*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp
(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5
- 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*
x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*e
xp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)
*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2
)^2 + 21*x^10*exp(x)*log(2)^2) + (3330*x^5*log(2)^2)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3
- 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6
*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 84
0*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 -
2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) -
21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x
^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^
9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 1020
6*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(
x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^
3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 378
0*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6
*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(
x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (30*x^4*log(2)^4)/
(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log
(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780
*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3
- 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x)
+ 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*
x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x
^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^
14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x
^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log
(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6
- 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21
*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*
exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)
*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (360*x^5*log(2)^3)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log
(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 1701
0*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4
- 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2
)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(
x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7
560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 102
06*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) -
10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11
*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*lo
g(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4
- 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 189
0*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8
*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (1630*x^6*log
(2)^2)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*
x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4
+ 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*lo
g(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*
exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 +
10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2)
+ 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13
+ 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) -
3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp
(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*lo
g(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)
^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 +
35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9
*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (40*x^6*log(2)^3)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x
^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3
+ 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*lo
g(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)
*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^1
2*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(
2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8
- 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*lo
g(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 12
6*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp
(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log
(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4
+ 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 18
90*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (360*x^
7*log(2)^2)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 -
252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log
(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x
^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103
*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2
)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*l
og(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42
*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log
(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^
2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(
x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*l
og(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)
^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 31
5*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (30*x^8*log(2)^2)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5
670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(
2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x
^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + e
xp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 18
9*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8
*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 1020
6*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(
x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2)
- 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^
4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x
)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log
(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3
+ 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (5
4*x^2*log(2)^2)/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4
+ 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log
(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*
exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(
2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*
exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log
(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 +
135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 -
90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4
- 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2
+ 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^
7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2
)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2)
- 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860
*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*
exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*
log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + (4*x^2*log(2)^3)/(540*x^2*log(2)^4 - 2160*x^3*l
og(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*
x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4
*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 7
2*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) -
540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9
720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 -
5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*l
og(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*l
og(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)
*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(
2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360
*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(
2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*lo
g(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5
- 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720
*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*ex
p(x)*log(2)^2) - (36*x^3*log(2)^2)/(540*x^2*log(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5
- 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*lo
g(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 + 60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7
*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) + 540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(
2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) + 1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^
11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 - 5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*l
og(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*log(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 -
72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 - 540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*
exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 + 540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4
*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3 + 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^
7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2 - 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(
x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) -
18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*
x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) + 6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp
(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*l
og(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*exp(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)
^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*log(2)^2 + 60*x^8*exp(x)*log(2)^2) + (6*x^4*log(2)^2)/(540*x^2*lo
g(2)^4 - 2160*x^3*log(2)^3 + 4860*x^4*log(2)^2 + 24*x^2*log(2)^5 - 360*x^3*log(2)^4 + 2160*x^4*log(2)^3 - 6480
*x^5*log(2)^2 + 60*x^4*log(2)^4 - 720*x^5*log(2)^3 + 3240*x^6*log(2)^2 + 80*x^6*log(2)^3 - 720*x^7*log(2)^2 +
60*x^8*log(2)^2 + 4*exp(x)*log(2)^6 + 2916*x^6*exp(x) - 5832*x^7*exp(x) + 4860*x^8*exp(x) - 2160*x^9*exp(x) +
540*x^10*exp(x) - 72*x^11*exp(x) + 4*x^12*exp(x) + exp(2*x)*log(2)^6 + 729*x^6*exp(2*x) - 1458*x^7*exp(2*x) +
1215*x^8*exp(2*x) - 540*x^9*exp(2*x) + 135*x^10*exp(2*x) - 18*x^11*exp(2*x) + x^12*exp(2*x) - 72*x*log(2)^5 -
5832*x^5*log(2) + 9720*x^6*log(2) - 6480*x^7*log(2) + 2160*x^8*log(2) - 360*x^9*log(2) + 24*x^10*log(2) + 4*lo
g(2)^6 + 2916*x^6 - 5832*x^7 + 4860*x^8 - 2160*x^9 + 540*x^10 - 72*x^11 + 4*x^12 + 135*x^2*exp(2*x)*log(2)^4 -
540*x^3*exp(2*x)*log(2)^3 + 1215*x^4*exp(2*x)*log(2)^2 + 6*x^2*exp(2*x)*log(2)^5 - 90*x^3*exp(2*x)*log(2)^4 +
540*x^4*exp(2*x)*log(2)^3 - 1620*x^5*exp(2*x)*log(2)^2 + 15*x^4*exp(2*x)*log(2)^4 - 180*x^5*exp(2*x)*log(2)^3
+ 810*x^6*exp(2*x)*log(2)^2 + 20*x^6*exp(2*x)*log(2)^3 - 180*x^7*exp(2*x)*log(2)^2 + 15*x^8*exp(2*x)*log(2)^2
- 72*x*exp(x)*log(2)^5 - 5832*x^5*exp(x)*log(2) + 9720*x^6*exp(x)*log(2) - 6480*x^7*exp(x)*log(2) + 2160*x^8*
exp(x)*log(2) - 360*x^9*exp(x)*log(2) + 24*x^10*exp(x)*log(2) - 18*x*exp(2*x)*log(2)^5 - 1458*x^5*exp(2*x)*log
(2) + 2430*x^6*exp(2*x)*log(2) - 1620*x^7*exp(2*x)*log(2) + 540*x^8*exp(2*x)*log(2) - 90*x^9*exp(2*x)*log(2) +
6*x^10*exp(2*x)*log(2) + 540*x^2*exp(x)*log(2)^4 - 2160*x^3*exp(x)*log(2)^3 + 4860*x^4*exp(x)*log(2)^2 + 24*x
^2*exp(x)*log(2)^5 - 360*x^3*exp(x)*log(2)^4 + 2160*x^4*exp(x)*log(2)^3 - 6480*x^5*exp(x)*log(2)^2 + 60*x^4*ex
p(x)*log(2)^4 - 720*x^5*exp(x)*log(2)^3 + 3240*x^6*exp(x)*log(2)^2 + 80*x^6*exp(x)*log(2)^3 - 720*x^7*exp(x)*l
og(2)^2 + 60*x^8*exp(x)*log(2)^2) + (15*x*log(2)^4)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3
- 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*
log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840
*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 -
2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 2
1*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^
9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9
+ 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206
*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x
)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3
- 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780
*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*
exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x
)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (405*x^4*log(2))/(3
78*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2
)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x
^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 -
630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) +
2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^
6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^1
2*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14
- 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9
*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2
)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 -
126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x
^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*ex
p(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*l
og(2)^2 + 21*x^10*exp(x)*log(2)^2) + (36*x*log(2)^5)/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3
- 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6
*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 84
0*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 -
2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) -
21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x
^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^
9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 1020
6*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(
x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^
3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 378
0*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6
*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(
x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (3456*x^5*log(2))/
(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log
(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780
*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3
- 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x)
+ 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*
x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x
^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^
14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x
^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log
(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6
- 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21
*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*
exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)
*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (5130*x^6*log(2))/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(
2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010
*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4
- 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)
^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x
) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 75
60*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 1020
6*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) -
10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*
exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log
(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 -
3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890
*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*
exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (3300*x^7*log(
2))/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3
*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 +
3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2
)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp
(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10
206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) +
14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 +
2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 37
80*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)
*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2
)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2
+ 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*
x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*ex
p(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (1085*x^8*log(2))/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*
log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 1
7010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2
)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*lo
g(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*e
xp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2)
- 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 -
10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2
) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x
^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)
*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)
^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 +
1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*
x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) + (180*x^9*l
og(2))/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*
x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 + 17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4
+ 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*lo
g(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*
exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 +
10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2)
+ 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8 - 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13
+ 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) -
3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp
(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*lo
g(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)
^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4 + 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 +
35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 1890*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9
*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2) - (12*x^10*log(2))/(378*x^2*log(2)^5 - 1890*x^3*log(2)^4 + 5670*x^
4*log(2)^3 - 10206*x^5*log(2)^2 + 14*x^2*log(2)^6 - 252*x^3*log(2)^5 + 1890*x^4*log(2)^4 - 7560*x^5*log(2)^3 +
17010*x^6*log(2)^2 + 42*x^4*log(2)^5 - 630*x^5*log(2)^4 + 3780*x^6*log(2)^3 - 11340*x^7*log(2)^2 + 70*x^6*log
(2)^4 - 840*x^7*log(2)^3 + 3780*x^8*log(2)^2 + 70*x^8*log(2)^3 - 630*x^9*log(2)^2 + 42*x^10*log(2)^2 + exp(x)*
log(2)^7 - 2187*x^7*exp(x) + 5103*x^8*exp(x) - 5103*x^9*exp(x) + 2835*x^10*exp(x) - 945*x^11*exp(x) + 189*x^12
*exp(x) - 21*x^13*exp(x) + x^14*exp(x) - 42*x*log(2)^6 + 10206*x^6*log(2) - 20412*x^7*log(2) + 17010*x^8*log(2
) - 7560*x^9*log(2) + 1890*x^10*log(2) - 252*x^11*log(2) + 14*x^12*log(2) + 2*log(2)^7 - 4374*x^7 + 10206*x^8
- 10206*x^9 + 5670*x^10 - 1890*x^11 + 378*x^12 - 42*x^13 + 2*x^14 - 21*x*exp(x)*log(2)^6 + 5103*x^6*exp(x)*log
(2) - 10206*x^7*exp(x)*log(2) + 8505*x^8*exp(x)*log(2) - 3780*x^9*exp(x)*log(2) + 945*x^10*exp(x)*log(2) - 126
*x^11*exp(x)*log(2) + 7*x^12*exp(x)*log(2) + 189*x^2*exp(x)*log(2)^5 - 945*x^3*exp(x)*log(2)^4 + 2835*x^4*exp(
x)*log(2)^3 - 5103*x^5*exp(x)*log(2)^2 + 7*x^2*exp(x)*log(2)^6 - 126*x^3*exp(x)*log(2)^5 + 945*x^4*exp(x)*log(
2)^4 - 3780*x^5*exp(x)*log(2)^3 + 8505*x^6*exp(x)*log(2)^2 + 21*x^4*exp(x)*log(2)^5 - 315*x^5*exp(x)*log(2)^4
+ 1890*x^6*exp(x)*log(2)^3 - 5670*x^7*exp(x)*log(2)^2 + 35*x^6*exp(x)*log(2)^4 - 420*x^7*exp(x)*log(2)^3 + 189
0*x^8*exp(x)*log(2)^2 + 35*x^8*exp(x)*log(2)^3 - 315*x^9*exp(x)*log(2)^2 + 21*x^10*exp(x)*log(2)^2)

________________________________________________________________________________________

sympy [B]  time = 1.02, size = 199, normalized size = 7.11 \begin {gather*} - \frac {- 4 x^{2} + 12 x - 4 \log {\relax (2 )} - 1}{4 x^{4} - 24 x^{3} + x^{2} \left (8 \log {\relax (2 )} + 36\right ) - 24 x \log {\relax (2 )} + 4 \log {\relax (2 )}^{2}} + \frac {- 4 x^{2} + 12 x + \left (- 2 x^{2} + 6 x - 2 \log {\relax (2 )} - 1\right ) e^{x} - 4 \log {\relax (2 )} - 1}{4 x^{4} - 24 x^{3} + 8 x^{2} \log {\relax (2 )} + 36 x^{2} - 24 x \log {\relax (2 )} + \left (x^{4} - 6 x^{3} + 2 x^{2} \log {\relax (2 )} + 9 x^{2} - 6 x \log {\relax (2 )} + \log {\relax (2 )}^{2}\right ) e^{2 x} + \left (4 x^{4} - 24 x^{3} + 8 x^{2} \log {\relax (2 )} + 36 x^{2} - 24 x \log {\relax (2 )} + 4 \log {\relax (2 )}^{2}\right ) e^{x} + 4 \log {\relax (2 )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*(-8*x+12)*ln(2)-16*x**3+72*x**2-80*x+12)*exp(x)**3+(16*ln(2)**2+2*(16*x**2-80*x+52)*ln(2)+16*x**
4-160*x**3+440*x**2-328*x+24)*exp(x)**2+(32*ln(2)**2+2*(32*x**2-128*x+48)*ln(2)+32*x**4-256*x**3+576*x**2-288*
x)*exp(x))/((8*ln(2)**3+4*(6*x**2-18*x)*ln(2)**2+2*(12*x**4-72*x**3+108*x**2)*ln(2)+8*x**6-72*x**5+216*x**4-21
6*x**3)*exp(x)**3+(48*ln(2)**3+4*(36*x**2-108*x)*ln(2)**2+2*(72*x**4-432*x**3+648*x**2)*ln(2)+48*x**6-432*x**5
+1296*x**4-1296*x**3)*exp(x)**2+(96*ln(2)**3+4*(72*x**2-216*x)*ln(2)**2+2*(144*x**4-864*x**3+1296*x**2)*ln(2)+
96*x**6-864*x**5+2592*x**4-2592*x**3)*exp(x)+64*ln(2)**3+4*(48*x**2-144*x)*ln(2)**2+2*(96*x**4-576*x**3+864*x*
*2)*ln(2)+64*x**6-576*x**5+1728*x**4-1728*x**3),x)

[Out]

-(-4*x**2 + 12*x - 4*log(2) - 1)/(4*x**4 - 24*x**3 + x**2*(8*log(2) + 36) - 24*x*log(2) + 4*log(2)**2) + (-4*x
**2 + 12*x + (-2*x**2 + 6*x - 2*log(2) - 1)*exp(x) - 4*log(2) - 1)/(4*x**4 - 24*x**3 + 8*x**2*log(2) + 36*x**2
- 24*x*log(2) + (x**4 - 6*x**3 + 2*x**2*log(2) + 9*x**2 - 6*x*log(2) + log(2)**2)*exp(2*x) + (4*x**4 - 24*x**
3 + 8*x**2*log(2) + 36*x**2 - 24*x*log(2) + 4*log(2)**2)*exp(x) + 4*log(2)**2)

________________________________________________________________________________________