3.12.56 \(\int \frac {e^{e^{\frac {e^{-2 x} (e^4 (25+75 x)+e^x (e^4 (10 x^2+30 x^3)+e^4 (-10 x-30 x^2) \log (2))+e^{2 x} (e^4 (x^4+3 x^5)+e^4 (-2 x^3-6 x^4) \log (2)+e^4 (x^2+3 x^3) \log ^2(2)))}{x^2}}-2 x+\frac {e^{-2 x} (e^4 (25+75 x)+e^x (e^4 (10 x^2+30 x^3)+e^4 (-10 x-30 x^2) \log (2))+e^{2 x} (e^4 (x^4+3 x^5)+e^4 (-2 x^3-6 x^4) \log (2)+e^4 (x^2+3 x^3) \log ^2(2)))}{x^2}} (e^4 (-50-125 x-150 x^2)+e^x (e^4 (20 x^3-30 x^4)+e^4 (10 x+10 x^2+30 x^3) \log (2))+e^{2 x} (e^4 (2 x^4+9 x^5)+e^4 (-2 x^3-12 x^4) \log (2)+3 e^4 x^3 \log ^2(2)))}{x^3} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 180.00, 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*} \text {\$Aborted} \end {gather*}

Verification is not applicable to the result.

[In]

Int[(E^(E^((E^4*(25 + 75*x) + E^x*(E^4*(10*x^2 + 30*x^3) + E^4*(-10*x - 30*x^2)*Log[2]) + E^(2*x)*(E^4*(x^4 +
3*x^5) + E^4*(-2*x^3 - 6*x^4)*Log[2] + E^4*(x^2 + 3*x^3)*Log[2]^2))/(E^(2*x)*x^2)) - 2*x + (E^4*(25 + 75*x) +
E^x*(E^4*(10*x^2 + 30*x^3) + E^4*(-10*x - 30*x^2)*Log[2]) + E^(2*x)*(E^4*(x^4 + 3*x^5) + E^4*(-2*x^3 - 6*x^4)*
Log[2] + E^4*(x^2 + 3*x^3)*Log[2]^2))/(E^(2*x)*x^2))*(E^4*(-50 - 125*x - 150*x^2) + E^x*(E^4*(20*x^3 - 30*x^4)
 + E^4*(10*x + 10*x^2 + 30*x^3)*Log[2]) + E^(2*x)*(E^4*(2*x^4 + 9*x^5) + E^4*(-2*x^3 - 12*x^4)*Log[2] + 3*E^4*
x^3*Log[2]^2)))/x^3,x]

[Out]

$Aborted

Rubi steps

Aborted

________________________________________________________________________________________

Mathematica [F]  time = 180.00, size = 0, normalized size = 0.00 \begin {gather*} \text {\$Aborted} \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[(E^(E^((E^4*(25 + 75*x) + E^x*(E^4*(10*x^2 + 30*x^3) + E^4*(-10*x - 30*x^2)*Log[2]) + E^(2*x)*(E^4*(
x^4 + 3*x^5) + E^4*(-2*x^3 - 6*x^4)*Log[2] + E^4*(x^2 + 3*x^3)*Log[2]^2))/(E^(2*x)*x^2)) - 2*x + (E^4*(25 + 75
*x) + E^x*(E^4*(10*x^2 + 30*x^3) + E^4*(-10*x - 30*x^2)*Log[2]) + E^(2*x)*(E^4*(x^4 + 3*x^5) + E^4*(-2*x^3 - 6
*x^4)*Log[2] + E^4*(x^2 + 3*x^3)*Log[2]^2))/(E^(2*x)*x^2))*(E^4*(-50 - 125*x - 150*x^2) + E^x*(E^4*(20*x^3 - 3
0*x^4) + E^4*(10*x + 10*x^2 + 30*x^3)*Log[2]) + E^(2*x)*(E^4*(2*x^4 + 9*x^5) + E^4*(-2*x^3 - 12*x^4)*Log[2] +
3*E^4*x^3*Log[2]^2)))/x^3,x]

[Out]

$Aborted

________________________________________________________________________________________

fricas [B]  time = 0.72, size = 311, normalized size = 10.03 \begin {gather*} e^{\left (2 \, x + \frac {{\left (x^{2} e^{\left (2 \, x + \frac {{\left (25 \, {\left (3 \, x + 1\right )} e^{4} + {\left ({\left (3 \, x^{3} + x^{2}\right )} e^{4} \log \relax (2)^{2} - 2 \, {\left (3 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (3 \, x^{5} + x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{3} + x^{2}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x\right )}}{x^{2}}\right )} + 25 \, {\left (3 \, x + 1\right )} e^{4} + {\left ({\left (3 \, x^{3} + x^{2}\right )} e^{4} \log \relax (2)^{2} - 2 \, x^{3} - 2 \, {\left (3 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (3 \, x^{5} + x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{3} + x^{2}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x\right )}}{x^{2}} - \frac {{\left (25 \, {\left (3 \, x + 1\right )} e^{4} + {\left ({\left (3 \, x^{3} + x^{2}\right )} e^{4} \log \relax (2)^{2} - 2 \, {\left (3 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (3 \, x^{5} + x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{3} + x^{2}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x\right )}}{x^{2}}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^3*exp(2)^2*log(2)^2+(-12*x^4-2*x^3)*exp(2)^2*log(2)+(9*x^5+2*x^4)*exp(2)^2)*exp(x)^2+((30*x^3+
10*x^2+10*x)*exp(2)^2*log(2)+(-30*x^4+20*x^3)*exp(2)^2)*exp(x)+(-150*x^2-125*x-50)*exp(2)^2)*exp((((3*x^3+x^2)
*exp(2)^2*log(2)^2+(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(
2)+(30*x^3+10*x^2)*exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2)*exp(exp((((3*x^3+x^2)*exp(2)^2*log(2)^2+
(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(2)+(30*x^3+10*x^2)*
exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2))/exp(x)^2/x^3,x, algorithm="fricas")

[Out]

e^(2*x + (x^2*e^(2*x + (25*(3*x + 1)*e^4 + ((3*x^3 + x^2)*e^4*log(2)^2 - 2*(3*x^4 + x^3)*e^4*log(2) + (3*x^5 +
 x^4)*e^4)*e^(2*x) - 10*((3*x^2 + x)*e^4*log(2) - (3*x^3 + x^2)*e^4)*e^x)*e^(-2*x)/x^2) + 25*(3*x + 1)*e^4 + (
(3*x^3 + x^2)*e^4*log(2)^2 - 2*x^3 - 2*(3*x^4 + x^3)*e^4*log(2) + (3*x^5 + x^4)*e^4)*e^(2*x) - 10*((3*x^2 + x)
*e^4*log(2) - (3*x^3 + x^2)*e^4)*e^x)*e^(-2*x)/x^2 - (25*(3*x + 1)*e^4 + ((3*x^3 + x^2)*e^4*log(2)^2 - 2*(3*x^
4 + x^3)*e^4*log(2) + (3*x^5 + x^4)*e^4)*e^(2*x) - 10*((3*x^2 + x)*e^4*log(2) - (3*x^3 + x^2)*e^4)*e^x)*e^(-2*
x)/x^2)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int -\frac {{\left (25 \, {\left (6 \, x^{2} + 5 \, x + 2\right )} e^{4} - {\left (3 \, x^{3} e^{4} \log \relax (2)^{2} - 2 \, {\left (6 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (9 \, x^{5} + 2 \, x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{3} + x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{4} - 2 \, x^{3}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x + \frac {{\left (25 \, {\left (3 \, x + 1\right )} e^{4} + {\left ({\left (3 \, x^{3} + x^{2}\right )} e^{4} \log \relax (2)^{2} - 2 \, {\left (3 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (3 \, x^{5} + x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{3} + x^{2}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x\right )}}{x^{2}} + e^{\left (\frac {{\left (25 \, {\left (3 \, x + 1\right )} e^{4} + {\left ({\left (3 \, x^{3} + x^{2}\right )} e^{4} \log \relax (2)^{2} - 2 \, {\left (3 \, x^{4} + x^{3}\right )} e^{4} \log \relax (2) + {\left (3 \, x^{5} + x^{4}\right )} e^{4}\right )} e^{\left (2 \, x\right )} - 10 \, {\left ({\left (3 \, x^{2} + x\right )} e^{4} \log \relax (2) - {\left (3 \, x^{3} + x^{2}\right )} e^{4}\right )} e^{x}\right )} e^{\left (-2 \, x\right )}}{x^{2}}\right )}\right )}}{x^{3}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^3*exp(2)^2*log(2)^2+(-12*x^4-2*x^3)*exp(2)^2*log(2)+(9*x^5+2*x^4)*exp(2)^2)*exp(x)^2+((30*x^3+
10*x^2+10*x)*exp(2)^2*log(2)+(-30*x^4+20*x^3)*exp(2)^2)*exp(x)+(-150*x^2-125*x-50)*exp(2)^2)*exp((((3*x^3+x^2)
*exp(2)^2*log(2)^2+(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(
2)+(30*x^3+10*x^2)*exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2)*exp(exp((((3*x^3+x^2)*exp(2)^2*log(2)^2+
(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(2)+(30*x^3+10*x^2)*
exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2))/exp(x)^2/x^3,x, algorithm="giac")

[Out]

integrate(-(25*(6*x^2 + 5*x + 2)*e^4 - (3*x^3*e^4*log(2)^2 - 2*(6*x^4 + x^3)*e^4*log(2) + (9*x^5 + 2*x^4)*e^4)
*e^(2*x) - 10*((3*x^3 + x^2 + x)*e^4*log(2) - (3*x^4 - 2*x^3)*e^4)*e^x)*e^(-2*x + (25*(3*x + 1)*e^4 + ((3*x^3
+ x^2)*e^4*log(2)^2 - 2*(3*x^4 + x^3)*e^4*log(2) + (3*x^5 + x^4)*e^4)*e^(2*x) - 10*((3*x^2 + x)*e^4*log(2) - (
3*x^3 + x^2)*e^4)*e^x)*e^(-2*x)/x^2 + e^((25*(3*x + 1)*e^4 + ((3*x^3 + x^2)*e^4*log(2)^2 - 2*(3*x^4 + x^3)*e^4
*log(2) + (3*x^5 + x^4)*e^4)*e^(2*x) - 10*((3*x^2 + x)*e^4*log(2) - (3*x^3 + x^2)*e^4)*e^x)*e^(-2*x)/x^2))/x^3
, x)

________________________________________________________________________________________

maple [B]  time = 0.49, size = 68, normalized size = 2.19




method result size



risch \({\mathrm e}^{{\mathrm e}^{-\frac {\left (-\ln \relax (2)^{2} {\mathrm e}^{2 x} x^{2}+2 \ln \relax (2) {\mathrm e}^{2 x} x^{3}-{\mathrm e}^{2 x} x^{4}+10 x \ln \relax (2) {\mathrm e}^{x}-10 \,{\mathrm e}^{x} x^{2}-25\right ) \left (3 x +1\right ) {\mathrm e}^{4-2 x}}{x^{2}}}}\) \(68\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((3*x^3*exp(2)^2*ln(2)^2+(-12*x^4-2*x^3)*exp(2)^2*ln(2)+(9*x^5+2*x^4)*exp(2)^2)*exp(x)^2+((30*x^3+10*x^2+1
0*x)*exp(2)^2*ln(2)+(-30*x^4+20*x^3)*exp(2)^2)*exp(x)+(-150*x^2-125*x-50)*exp(2)^2)*exp((((3*x^3+x^2)*exp(2)^2
*ln(2)^2+(-6*x^4-2*x^3)*exp(2)^2*ln(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*ln(2)+(30*x^3+1
0*x^2)*exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2)*exp(exp((((3*x^3+x^2)*exp(2)^2*ln(2)^2+(-6*x^4-2*x^3
)*exp(2)^2*ln(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*ln(2)+(30*x^3+10*x^2)*exp(2)^2)*exp(x
)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2))/exp(x)^2/x^3,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 3.76, size = 110, normalized size = 3.55 \begin {gather*} e^{\left (e^{\left (3 \, x^{3} e^{4} - 6 \, x^{2} e^{4} \log \relax (2) + 3 \, x e^{4} \log \relax (2)^{2} + x^{2} e^{4} - 2 \, x e^{4} \log \relax (2) + e^{4} \log \relax (2)^{2} + 30 \, x e^{\left (-x + 4\right )} - 30 \, e^{\left (-x + 4\right )} \log \relax (2) - \frac {10 \, e^{\left (-x + 4\right )} \log \relax (2)}{x} + \frac {75 \, e^{\left (-2 \, x + 4\right )}}{x} + \frac {25 \, e^{\left (-2 \, x + 4\right )}}{x^{2}} + 10 \, e^{\left (-x + 4\right )}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x^3*exp(2)^2*log(2)^2+(-12*x^4-2*x^3)*exp(2)^2*log(2)+(9*x^5+2*x^4)*exp(2)^2)*exp(x)^2+((30*x^3+
10*x^2+10*x)*exp(2)^2*log(2)+(-30*x^4+20*x^3)*exp(2)^2)*exp(x)+(-150*x^2-125*x-50)*exp(2)^2)*exp((((3*x^3+x^2)
*exp(2)^2*log(2)^2+(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(
2)+(30*x^3+10*x^2)*exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2)*exp(exp((((3*x^3+x^2)*exp(2)^2*log(2)^2+
(-6*x^4-2*x^3)*exp(2)^2*log(2)+(3*x^5+x^4)*exp(2)^2)*exp(x)^2+((-30*x^2-10*x)*exp(2)^2*log(2)+(30*x^3+10*x^2)*
exp(2)^2)*exp(x)+(75*x+25)*exp(2)^2)/exp(x)^2/x^2))/exp(x)^2/x^3,x, algorithm="maxima")

[Out]

e^(e^(3*x^3*e^4 - 6*x^2*e^4*log(2) + 3*x*e^4*log(2)^2 + x^2*e^4 - 2*x*e^4*log(2) + e^4*log(2)^2 + 30*x*e^(-x +
 4) - 30*e^(-x + 4)*log(2) - 10*e^(-x + 4)*log(2)/x + 75*e^(-2*x + 4)/x + 25*e^(-2*x + 4)/x^2 + 10*e^(-x + 4))
)

________________________________________________________________________________________

mupad [B]  time = 2.31, size = 125, normalized size = 4.03 \begin {gather*} {\mathrm {e}}^{\frac {{\mathrm {e}}^{x^2\,{\mathrm {e}}^4}\,{\mathrm {e}}^{3\,x^3\,{\mathrm {e}}^4}\,{\mathrm {e}}^{\frac {25\,{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^4}{x^2}}\,{\mathrm {e}}^{\frac {75\,{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^4}{x}}\,{\mathrm {e}}^{10\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^4}\,{\mathrm {e}}^{3\,x\,{\mathrm {e}}^4\,{\ln \relax (2)}^2}\,{\mathrm {e}}^{30\,x\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^4}\,{\mathrm {e}}^{{\mathrm {e}}^4\,{\ln \relax (2)}^2}}{2^{\frac {10\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^4}{x}}\,2^{30\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^4}\,2^{2\,x\,{\mathrm {e}}^4}\,2^{6\,x^2\,{\mathrm {e}}^4}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp((exp(-2*x)*(exp(2*x)*(exp(4)*(x^4 + 3*x^5) - exp(4)*log(2)*(2*x^3 + 6*x^4) + exp(4)*log(2)^2*(x^2 + 3
*x^3)) + exp(x)*(exp(4)*(10*x^2 + 30*x^3) - exp(4)*log(2)*(10*x + 30*x^2)) + exp(4)*(75*x + 25)))/x^2)*exp(-2*
x)*exp(exp((exp(-2*x)*(exp(2*x)*(exp(4)*(x^4 + 3*x^5) - exp(4)*log(2)*(2*x^3 + 6*x^4) + exp(4)*log(2)^2*(x^2 +
 3*x^3)) + exp(x)*(exp(4)*(10*x^2 + 30*x^3) - exp(4)*log(2)*(10*x + 30*x^2)) + exp(4)*(75*x + 25)))/x^2))*(exp
(x)*(exp(4)*(20*x^3 - 30*x^4) + exp(4)*log(2)*(10*x + 10*x^2 + 30*x^3)) - exp(4)*(125*x + 150*x^2 + 50) + exp(
2*x)*(exp(4)*(2*x^4 + 9*x^5) + 3*x^3*exp(4)*log(2)^2 - exp(4)*log(2)*(2*x^3 + 12*x^4))))/x^3,x)

[Out]

exp((exp(x^2*exp(4))*exp(3*x^3*exp(4))*exp((25*exp(-2*x)*exp(4))/x^2)*exp((75*exp(-2*x)*exp(4))/x)*exp(10*exp(
-x)*exp(4))*exp(3*x*exp(4)*log(2)^2)*exp(30*x*exp(-x)*exp(4))*exp(exp(4)*log(2)^2))/(2^((10*exp(-x)*exp(4))/x)
*2^(30*exp(-x)*exp(4))*2^(2*x*exp(4))*2^(6*x^2*exp(4))))

________________________________________________________________________________________

sympy [B]  time = 12.30, size = 105, normalized size = 3.39 \begin {gather*} e^{e^{\frac {\left (\left (75 x + 25\right ) e^{4} + \left (\left (- 30 x^{2} - 10 x\right ) e^{4} \log {\relax (2 )} + \left (30 x^{3} + 10 x^{2}\right ) e^{4}\right ) e^{x} + \left (\left (3 x^{3} + x^{2}\right ) e^{4} \log {\relax (2 )}^{2} + \left (- 6 x^{4} - 2 x^{3}\right ) e^{4} \log {\relax (2 )} + \left (3 x^{5} + x^{4}\right ) e^{4}\right ) e^{2 x}\right ) e^{- 2 x}}{x^{2}}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((3*x**3*exp(2)**2*ln(2)**2+(-12*x**4-2*x**3)*exp(2)**2*ln(2)+(9*x**5+2*x**4)*exp(2)**2)*exp(x)**2+(
(30*x**3+10*x**2+10*x)*exp(2)**2*ln(2)+(-30*x**4+20*x**3)*exp(2)**2)*exp(x)+(-150*x**2-125*x-50)*exp(2)**2)*ex
p((((3*x**3+x**2)*exp(2)**2*ln(2)**2+(-6*x**4-2*x**3)*exp(2)**2*ln(2)+(3*x**5+x**4)*exp(2)**2)*exp(x)**2+((-30
*x**2-10*x)*exp(2)**2*ln(2)+(30*x**3+10*x**2)*exp(2)**2)*exp(x)+(75*x+25)*exp(2)**2)/exp(x)**2/x**2)*exp(exp((
((3*x**3+x**2)*exp(2)**2*ln(2)**2+(-6*x**4-2*x**3)*exp(2)**2*ln(2)+(3*x**5+x**4)*exp(2)**2)*exp(x)**2+((-30*x*
*2-10*x)*exp(2)**2*ln(2)+(30*x**3+10*x**2)*exp(2)**2)*exp(x)+(75*x+25)*exp(2)**2)/exp(x)**2/x**2))/exp(x)**2/x
**3,x)

[Out]

exp(exp(((75*x + 25)*exp(4) + ((-30*x**2 - 10*x)*exp(4)*log(2) + (30*x**3 + 10*x**2)*exp(4))*exp(x) + ((3*x**3
 + x**2)*exp(4)*log(2)**2 + (-6*x**4 - 2*x**3)*exp(4)*log(2) + (3*x**5 + x**4)*exp(4))*exp(2*x))*exp(-2*x)/x**
2))

________________________________________________________________________________________