3.66.53 \(\int \frac {-16 x+(32 x^2+8 e^x x^2) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} (8 x+e^{2 x} (-16+32 x) \log (x)+(-16 x^2-4 e^x x^2+e^{2 x} (-32 x+64 x^2+e^x (-8+16 x))) \log ^2(x))}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 (2 e^{2 x}-10 x)}{x}} x^2 \log ^2(x)} \, dx\)
Optimal. Leaf size=36 \[ \frac {4 \left (e^x+4 x+\frac {2}{\log (x)}\right )}{2-e^{2 \left (-5+\frac {e^{2 x}}{x}\right )}} \]
________________________________________________________________________________________
Rubi [F] time = 15.24, 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 {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
Int[(-16*x + (32*x^2 + 8*E^x*x^2)*Log[x]^2 + E^((2*E^(2*x) - 10*x)/x)*(8*x + E^(2*x)*(-16 + 32*x)*Log[x] + (-1
6*x^2 - 4*E^x*x^2 + E^(2*x)*(-32*x + 64*x^2 + E^x*(-8 + 16*x)))*Log[x]^2))/(4*x^2*Log[x]^2 - 4*E^((2*E^(2*x) -
10*x)/x)*x^2*Log[x]^2 + E^((2*(2*E^(2*x) - 10*x))/x)*x^2*Log[x]^2),x]
[Out]
-16*E^20*Defer[Int][E^((2*(E^(2*x) - 5*x))/x)/(2*E^10 - E^((2*E^(2*x))/x))^2, x] + 4*E^20*Defer[Int][E^(-10 +
x)/(2*E^10 - E^((2*E^(2*x))/x)), x] + 32*E^20*Defer[Int][(-2*E^10 + E^((2*E^(2*x))/x))^(-2), x] + 64*E^20*Defe
r[Int][E^((2*(E^(2*x) - 5*x + x^2))/x)/(-2*E^10 + E^((2*E^(2*x))/x))^2, x] - 8*E^20*Defer[Int][E^(-10 + (2*E^(
2*x))/x + 3*x)/((-2*E^10 + E^((2*E^(2*x))/x))^2*x^2), x] + 16*E^20*Defer[Int][E^(-10 + (2*E^(2*x))/x + 3*x)/((
-2*E^10 + E^((2*E^(2*x))/x))^2*x), x] - 32*E^20*Defer[Int][E^((2*(E^(2*x) - 5*x + x^2))/x)/((-2*E^10 + E^((2*E
^(2*x))/x))^2*x), x] + 8*E^20*Defer[Int][E^((2*(E^(2*x) - 5*x))/x)/((2*E^10 - E^((2*E^(2*x))/x))^2*x*Log[x]^2)
, x] - 16*E^20*Defer[Int][1/((-2*E^10 + E^((2*E^(2*x))/x))^2*x*Log[x]^2), x] - 16*E^20*Defer[Int][E^((2*(E^(2*
x) - 5*x + x^2))/x)/((-2*E^10 + E^((2*E^(2*x))/x))^2*x^2*Log[x]), x] + 32*E^20*Defer[Int][E^((2*(E^(2*x) - 5*x
+ x^2))/x)/((-2*E^10 + E^((2*E^(2*x))/x))^2*x*Log[x]), x]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{20} \left (-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )\right )}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log ^2(x)} \, dx\\ &=e^{20} \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log ^2(x)} \, dx\\ &=e^{20} \int \left (-\frac {16 e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2}+\frac {4 e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}}+\frac {32}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2}+\frac {8 e^{-10+\frac {2 e^{2 x}}{x}+3 x} (-1+2 x)}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2}+\frac {8 e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}-\frac {16}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}+\frac {16 e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1-2 x) (-1-2 x \log (x))}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)}\right ) \, dx\\ &=\left (4 e^{20}\right ) \int \frac {e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}} \, dx+\left (8 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x} (-1+2 x)}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2} \, dx+\left (8 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx-\left (16 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx+\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1-2 x) (-1-2 x \log (x))}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)} \, dx+\left (32 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx\\ &=\left (4 e^{20}\right ) \int \frac {e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}} \, dx+\left (8 e^{20}\right ) \int \left (-\frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2}+\frac {2 e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x}\right ) \, dx+\left (8 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx-\left (16 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx+\left (16 e^{20}\right ) \int \left (-\frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1+2 x \log (x))}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)}+\frac {2 e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1+2 x \log (x))}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log (x)}\right ) \, dx+\left (32 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx\\ &=\left (4 e^{20}\right ) \int \frac {e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}} \, dx-\left (8 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2} \, dx+\left (8 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx+\left (16 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x} \, dx-\left (16 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1+2 x \log (x))}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)} \, dx+\left (32 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx+\left (32 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}} (1+2 x \log (x))}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log (x)} \, dx\\ &=\left (4 e^{20}\right ) \int \frac {e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}} \, dx-\left (8 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2} \, dx+\left (8 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx+\left (16 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x} \, dx-\left (16 e^{20}\right ) \int \left (\frac {2 e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x}+\frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)}\right ) \, dx-\left (16 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx+\left (32 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx+\left (32 e^{20}\right ) \int \left (\frac {2 e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2}+\frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log (x)}\right ) \, dx\\ &=\left (4 e^{20}\right ) \int \frac {e^{-10+x}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}} \, dx-\left (8 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2} \, dx+\left (8 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx+\left (16 e^{20}\right ) \int \frac {e^{-10+\frac {2 e^{2 x}}{x}+3 x}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x} \, dx-\left (16 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)} \, dx-\left (16 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)} \, dx+\left (32 e^{20}\right ) \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx-\left (32 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x} \, dx+\left (32 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log (x)} \, dx+\left (64 e^{20}\right ) \int \frac {e^{\frac {2 \left (e^{2 x}-5 x+x^2\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.37, size = 42, normalized size = 1.17 \begin {gather*} -\frac {4 e^{10} \left (2+e^x \log (x)+4 x \log (x)\right )}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right ) \log (x)} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(-16*x + (32*x^2 + 8*E^x*x^2)*Log[x]^2 + E^((2*E^(2*x) - 10*x)/x)*(8*x + E^(2*x)*(-16 + 32*x)*Log[x]
+ (-16*x^2 - 4*E^x*x^2 + E^(2*x)*(-32*x + 64*x^2 + E^x*(-8 + 16*x)))*Log[x]^2))/(4*x^2*Log[x]^2 - 4*E^((2*E^(
2*x) - 10*x)/x)*x^2*Log[x]^2 + E^((2*(2*E^(2*x) - 10*x))/x)*x^2*Log[x]^2),x]
[Out]
(-4*E^10*(2 + E^x*Log[x] + 4*x*Log[x]))/((-2*E^10 + E^((2*E^(2*x))/x))*Log[x])
________________________________________________________________________________________
fricas [A] time = 0.74, size = 39, normalized size = 1.08 \begin {gather*} -\frac {4 \, {\left ({\left (4 \, x + e^{x}\right )} \log \relax (x) + 2\right )}}{e^{\left (-\frac {2 \, {\left (5 \, x - e^{\left (2 \, x\right )}\right )}}{x}\right )} \log \relax (x) - 2 \, \log \relax (x)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*log(x)^2+(32*x-16)*exp(2*x)*log(x)+8*
x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)*x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^
2*log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm="fricas")
[Out]
-4*((4*x + e^x)*log(x) + 2)/(e^(-2*(5*x - e^(2*x))/x)*log(x) - 2*log(x))
________________________________________________________________________________________
giac [B] time = 0.35, size = 8877, normalized size = 246.58 result too large to
display
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*log(x)^2+(32*x-16)*exp(2*x)*log(x)+8*
x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)*x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^
2*log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm="giac")
[Out]
2*(64*x^2*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 - 128*x^2*e^(8*x - 2*(5*x - e^(2*x))/x + 4
0)*log(x)^2 - 128*x^2*e^(8*x + 2*e^(2*x)/x + 30)*log(x)^2 + 256*x^2*e^(8*x + 40)*log(x)^2 - 32*x^2*e^(7*x + (x
^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 64*x^2*e^(7*x + (x^2 + 2*e^(2*x))/x - 2
*(5*x - e^(2*x))/x + 30)*log(x)^2 + 64*x^2*e^(7*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 128*x^2
*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 4*x^2*e^(7*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2
+ 8*x^2*e^(7*x - 2*(5*x - e^(2*x))/x + 40)*log(x)^2 + 4*x^2*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*
log(x)^2 - 8*x^2*e^(6*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 + 32*x^2*e^(6*x - 2*(5*x - e^(2*x))/x + 40)*log(x
)^2 - 32*x^2*e^(6*x + 2*e^(2*x)/x + 30)*log(x)^2 - 32*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x
+ 2*e^(2*x)/x + 20)*log(x)^2 + 64*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 6
4*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 128*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 3
0)*log(x)^2 - 16*x^2*e^(5*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x^2*e^(5*x + (x^2
+ 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 2*x^2*e^(5*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(
2*x)/x + 20)*log(x)^2 - 4*x^2*e^(5*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x^2*e^(4*
x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 32*x^2*e^
(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 - 32*x^2*e^(4*x + (3*x
^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 64*x^2*e^(4*x + (3*x^2 + 2*e^(2*x))/x +
(x^2 + 2*e^(2*x))/x + 20)*log(x)^2 + 2*x^2*e^(4*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x
+ 20)*log(x)^2 - 4*x^2*e^(4*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 2*x^2*e^(4*x + (
x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 4*x^2*e^(4*x + (x^2 + 2*e^(2*x))/x + 2
*(x^2 + e^(2*x))/x + 20)*log(x)^2 - 16*x^2*e^(4*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 +
16*x^2*e^(4*x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 2*x^2*e^(3*x + (3*x^2 + 2*e^(2*x))/x + (x^
2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 4*x^2*e^(3*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2
0)*log(x)^2 - 16*x^2*e^(3*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x^2*e^(3*x + (3*
x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 8*x^2*e^(3*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2
*(5*x - e^(2*x))/x + 20)*log(x)^2 - 8*x^2*e^(3*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 1
0)*log(x)^2 + 8*x^2*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2
- 8*x^2*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - x^2*e^(2*x + (3*x^
2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 2*x^2*e^(2*x + (3*
x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 + x^2*e^(x + (3*x^2 + 2*e^(2*x))
/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x)*log(x)^2 - 2*x^2*e^(x + (3*x^2 + 2*e^(2*x))/x +
(x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 10)*log(x)^2 + 8*x^2*e^(x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*
x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 - 8*x^2*e^(x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2
*x)/x + 10)*log(x)^2 - 4*x^2*e^((3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e
^(2*x))/x + 10)*log(x)^2 + 4*x^2*e^((3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2
*x)/x)*log(x)^2 + 16*x*e^(9*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 - 32*x*e^(9*x - 2*(5*x - e^(2
*x))/x + 40)*log(x)^2 - 32*x*e^(9*x + 2*e^(2*x)/x + 30)*log(x)^2 + 64*x*e^(9*x + 40)*log(x)^2 - 8*x*e^(8*x + (
x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*x*e^(8*x + (x^2 + 2*e^(2*x))/x - 2*
(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x*e^(8*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(8*
x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 32*x*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 + 64*x
*e^(8*x - 2*(5*x - e^(2*x))/x + 40)*log(x)^2 + 64*x*e^(8*x + 2*e^(2*x)/x + 30)*log(x)^2 - 128*x*e^(8*x + 40)*l
og(x)^2 + 16*x*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(7*x +
(x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 32*x*e^(7*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x +
20)*log(x)^2 + 64*x*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 8*x*e^(7*x + 2*(x^2 + e^(2*x))/x - 2*(5*x -
e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*x*e^(7*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)
^2 + 16*x*e^(7*x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(7*x + 2*(x^2 + e^(2*x))/x + 30)*
log(x)^2 + 4*x*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*lo
g(x)^2 - 8*x*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 - 8*x*e^(
6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 16*x*e^(6*x + (x^2 + 2*e^(2*x))
/x + 2*(x^2 + e^(2*x))/x + 20)*log(x)^2 + 16*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x
)/x + 20)*log(x)^2 - 32*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 32*x*e^(5*x +
(3*x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 64*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 8*x*
e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 16*x
*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 + 16*x*e^(4*x + (3*
x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 32*x*e^(4*x + (3*x^2 + 2*e^(2*x))/x +
(x^2 + 2*e^(2*x))/x + 20)*log(x)^2 + 32*x*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x) - 64*x*e^(8*
x - 2*(5*x - e^(2*x))/x + 40)*log(x) - 64*x*e^(8*x + 2*e^(2*x)/x + 30)*log(x) + 128*x*e^(8*x + 40)*log(x) - 16
*x*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) + 32*x*e^(7*x + (x^2 + 2*e^(2
*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x) + 32*x*e^(7*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) - 64*
x*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x) - 16*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^
(2*x)/x + 20)*log(x) + 32*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x) + 32*x*e^(5*x +
(3*x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) - 64*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x) + 8*x*e^(4
*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x) - 16*x*e^(4*
x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x) - 16*x*e^(4*x + (3*x^2 + 2*
e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x) + 32*x*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e
^(2*x))/x + 20)*log(x) - 8*e^(9*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 + 16*e^(9*x - 2*(5*x - e^
(2*x))/x + 40)*log(x)^2 + 16*e^(9*x + 2*e^(2*x)/x + 30)*log(x)^2 - 32*e^(9*x + 40)*log(x)^2 + 4*e^(8*x + (x^2
+ 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 8*e^(8*x + (x^2 + 2*e^(2*x))/x - 2*(5*x -
e^(2*x))/x + 30)*log(x)^2 - 8*e^(8*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*e^(8*x + (x^2 + 2
*e^(2*x))/x + 30)*log(x)^2 + 4*e^(7*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2
- 8*e^(7*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 8*e^(7*x + 2*(x^2 + e^(2*x))/x + 2*e^
(2*x)/x + 20)*log(x)^2 + 16*e^(7*x + 2*(x^2 + e^(2*x))/x + 30)*log(x)^2 - 2*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(
x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 4*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2
+ e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 + 4*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e
^(2*x)/x + 10)*log(x)^2 - 8*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 20)*log(x)^2 - 16*x*e^(6*x -
2*(5*x - e^(2*x))/x + 40) + 16*x*e^(6*x + 2*e^(2*x)/x + 30) + 8*x*e^(5*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2
*x))/x + 30) - 8*x*e^(5*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20) + 8*x*e^(4*x + 2*(x^2 + e^(2*x))/x - 2*(5*
x - e^(2*x))/x + 30) - 8*x*e^(4*x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 20) + 8*x*e^(3*x + (3*x^2 + 2*e^(2*x))
/x - 2*(5*x - e^(2*x))/x + 30) - 8*x*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20) - 4*x*e^(3*x + (x^2 +
2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20) + 4*x*e^(3*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e
^(2*x))/x + 2*e^(2*x)/x + 10) - 4*x*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x
+ 20) + 4*x*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10) - 4*x*e^(x + (3*x^2 + 2*
e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20) + 4*x*e^(x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(
2*x))/x + 2*e^(2*x)/x + 10) + 2*x*e^((3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*
x - e^(2*x))/x + 10) - 2*x*e^((3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x)
- 16*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x) + 32*e^(8*x - 2*(5*x - e^(2*x))/x + 40)*log(x) +
32*e^(8*x + 2*e^(2*x)/x + 30)*log(x) - 64*e^(8*x + 40)*log(x) + 8*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(
2*x))/x + 2*e^(2*x)/x + 20)*log(x) - 16*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x) - 16*e
^(7*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) + 32*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x) + 8*e^(5
*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) - 16*e^(5*x + (3*x^2 + 2*e^(2*x))/
x - 2*(5*x - e^(2*x))/x + 30)*log(x) - 16*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) + 32*e^(5*
x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x) - 4*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(
2*x))/x + 2*e^(2*x)/x + 10)*log(x) + 8*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x)
)/x + 20)*log(x) + 8*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x) - 16*e^(4
*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 20)*log(x))/(16*x*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/
x + 30)*log(x)^2 - 32*x*e^(8*x - 2*(5*x - e^(2*x))/x + 40)*log(x)^2 - 32*x*e^(8*x + 2*e^(2*x)/x + 30)*log(x)^2
+ 64*x*e^(8*x + 40)*log(x)^2 - 8*x*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log
(x)^2 + 16*x*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x*e^(7*x + (x^2 + 2*e^(2*x
))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 8*x*e^(6*x + 2*(x^2 + e
^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*x*e^(6*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^
(2*x))/x + 30)*log(x)^2 + 16*x*e^(6*x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(6*x + 2*(x^
2 + e^(2*x))/x + 30)*log(x)^2 - 8*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*l
og(x)^2 + 16*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 16*x*e^(5*x + (3*x^2 + 2*
e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 32*x*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x)^2 + 4*x*e^(5*x + (x
^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 8*x*e^(5*x + (x^2
+ 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 - 8*x*e^(5*x + (x^2 + 2*e^(2*x))/x
+ 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 16*x*e^(5*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x +
20)*log(x)^2 + 4*x*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x +
10)*log(x)^2 - 8*x*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2
- 8*x*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 16*x*e^(4*x + (3*x^2
+ 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 20)*log(x)^2 + 4*x*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/
x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 8*x*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/
x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 - 8*x*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/
x + 10)*log(x)^2 + 16*x*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 20)*log(x)^2 - 2*x*e^(2*x + (3*
x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x)*log(x)^2 +
4*x*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 10)*lo
g(x)^2 + 4*x*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x)*log(x)^
2 - 8*x*e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 10)*log(x)^2 - 8*e^(8*x -
2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 + 16*e^(8*x - 2*(5*x - e^(2*x))/x + 40)*log(x)^2 + 16*e^(8*x
+ 2*e^(2*x)/x + 30)*log(x)^2 - 32*e^(8*x + 40)*log(x)^2 + 4*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/
x + 2*e^(2*x)/x + 20)*log(x)^2 - 8*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 8*e^(7*
x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*e^(7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 + 4*e^(6
*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 8*e^(6*x + 2*(x^2 + e^(2*x))/x -
2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 8*e^(6*x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*e^(6*x
+ 2*(x^2 + e^(2*x))/x + 30)*log(x)^2 + 4*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x +
20)*log(x)^2 - 8*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 - 8*e^(5*x + (3*x^2 + 2*e
^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 16*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 2*e^(5*x + (x^2 +
2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 + 4*e^(5*x + (x^2 + 2*e^
(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 + 4*e^(5*x + (x^2 + 2*e^(2*x))/x + 2*(x^2
+ e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 8*e^(5*x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 20)*log(x)^
2 - 2*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2
+ 4*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 20)*log(x)^2 + 4*e^(4*x + (3*
x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 8*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^
2 + 2*e^(2*x))/x + 20)*log(x)^2 - 2*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x
+ 2*e^(2*x)/x + 10)*log(x)^2 + 4*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x +
20)*log(x)^2 + 4*e^(3*x + (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x + 10)*log(x)^2 - 8*e^(3*x
+ (3*x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 20)*log(x)^2 + e^(2*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2
*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x)*log(x)^2 - 2*e^(2*x + (3*x^2 + 2*e^(2*x))/x
+ (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 10)*log(x)^2 - 2*e^(2*x + (3*x^2 + 2*e^(2*
x))/x + (x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 2*e^(2*x)/x)*log(x)^2 + 4*e^(2*x + (3*x^2 + 2*e^(2*x))/x +
(x^2 + 2*e^(2*x))/x + 2*(x^2 + e^(2*x))/x + 10)*log(x)^2)
________________________________________________________________________________________
maple [A] time = 0.17, size = 39, normalized size = 1.08
|
|
|
method |
result |
size |
|
|
|
risch |
\(-\frac {4 \left (4 x \ln \relax (x )+{\mathrm e}^{x} \ln \relax (x )+2\right )}{\ln \relax (x ) \left ({\mathrm e}^{-\frac {2 \left (-{\mathrm e}^{2 x}+5 x \right )}{x}}-2\right )}\) |
\(39\) |
|
|
|
|
|
|
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*ln(x)^2+(32*x-16)*exp(2*x)*ln(x)+8*x)*exp((
2*exp(2*x)-10*x)/x)+(8*exp(x)*x^2+32*x^2)*ln(x)^2-16*x)/(x^2*ln(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^2*ln(x)^2*
exp((2*exp(2*x)-10*x)/x)+4*x^2*ln(x)^2),x,method=_RETURNVERBOSE)
[Out]
-4*(4*x*ln(x)+exp(x)*ln(x)+2)/ln(x)/(exp(-2*(-exp(2*x)+5*x)/x)-2)
________________________________________________________________________________________
maxima [A] time = 0.45, size = 44, normalized size = 1.22 \begin {gather*} \frac {4 \, {\left (4 \, x e^{10} \log \relax (x) + e^{\left (x + 10\right )} \log \relax (x) + 2 \, e^{10}\right )}}{2 \, e^{10} \log \relax (x) - e^{\left (\frac {2 \, e^{\left (2 \, x\right )}}{x}\right )} \log \relax (x)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*log(x)^2+(32*x-16)*exp(2*x)*log(x)+8*
x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)*x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^
2*log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm="maxima")
[Out]
4*(4*x*e^10*log(x) + e^(x + 10)*log(x) + 2*e^10)/(2*e^10*log(x) - e^(2*e^(2*x)/x)*log(x))
________________________________________________________________________________________
mupad [B] time = 4.23, size = 34, normalized size = 0.94 \begin {gather*} -\frac {4\,\left ({\mathrm {e}}^x\,\ln \relax (x)+4\,x\,\ln \relax (x)+2\right )}{\ln \relax (x)\,\left ({\mathrm {e}}^{\frac {2\,{\mathrm {e}}^{2\,x}}{x}-10}-2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((log(x)^2*(8*x^2*exp(x) + 32*x^2) - 16*x + exp(-(10*x - 2*exp(2*x))/x)*(8*x - log(x)^2*(4*x^2*exp(x) - exp
(2*x)*(exp(x)*(16*x - 8) - 32*x + 64*x^2) + 16*x^2) + exp(2*x)*log(x)*(32*x - 16)))/(4*x^2*log(x)^2 - 4*x^2*ex
p(-(10*x - 2*exp(2*x))/x)*log(x)^2 + x^2*exp(-(2*(10*x - 2*exp(2*x)))/x)*log(x)^2),x)
[Out]
-(4*(exp(x)*log(x) + 4*x*log(x) + 2))/(log(x)*(exp((2*exp(2*x))/x - 10) - 2))
________________________________________________________________________________________
sympy [A] time = 0.44, size = 39, normalized size = 1.08 \begin {gather*} \frac {- 16 x \log {\relax (x )} - 4 e^{x} \log {\relax (x )} - 8}{e^{\frac {- 10 x + 2 e^{2 x}}{x}} \log {\relax (x )} - 2 \log {\relax (x )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((((16*x-8)*exp(x)+64*x**2-32*x)*exp(2*x)-4*exp(x)*x**2-16*x**2)*ln(x)**2+(32*x-16)*exp(2*x)*ln(x)+
8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)*x**2+32*x**2)*ln(x)**2-16*x)/(x**2*ln(x)**2*exp((2*exp(2*x)-10*x)/x)**
2-4*x**2*ln(x)**2*exp((2*exp(2*x)-10*x)/x)+4*x**2*ln(x)**2),x)
[Out]
(-16*x*log(x) - 4*exp(x)*log(x) - 8)/(exp((-10*x + 2*exp(2*x))/x)*log(x) - 2*log(x))
________________________________________________________________________________________