3.76.84 \(\int \frac {e^{e^x-2 x+x^2+2 x^3+x^4+(-8 x-8 x^2) \log (x)+16 \log ^2(x)} (-20 x+2 e^x x-12 x^2+12 x^3+8 x^4+(64-16 x-32 x^2) \log (x))}{x} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 10.65, 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 {\exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \left (-20 x+2 e^x x-12 x^2+12 x^3+8 x^4+\left (64-16 x-32 x^2\right ) \log (x)\right )}{x} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2)*(-20*x + 2*E^x*x - 12*x^2 + 12*x^
3 + 8*x^4 + (64 - 16*x - 32*x^2)*Log[x]))/x,x]

[Out]

-20*Defer[Int][E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2), x] + 2*Defer[Int][E^(E
^x - x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2), x] - 12*Defer[Int][E^(E^x - 2*x + x^2 + 2*x
^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2)*x, x] + 12*Defer[Int][E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x
- 8*x^2)*Log[x] + 16*Log[x]^2)*x^2, x] + 8*Defer[Int][E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x
] + 16*Log[x]^2)*x^3, x] - 16*Defer[Int][E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^
2)*Log[x], x] + 64*Defer[Int][(E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2)*Log[x])
/x, x] - 32*Defer[Int][E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2)*x*Log[x], x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (2 \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right )+\frac {4 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \left (-5 x-3 x^2+3 x^3+2 x^4+16 \log (x)-4 x \log (x)-8 x^2 \log (x)\right )}{x}\right ) \, dx\\ &=2 \int \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx+4 \int \frac {\exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \left (-5 x-3 x^2+3 x^3+2 x^4+16 \log (x)-4 x \log (x)-8 x^2 \log (x)\right )}{x} \, dx\\ &=2 \int \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx+4 \int \left (-5 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right )-3 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x+3 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^2+2 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^3-\frac {4 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \left (-4+x+2 x^2\right ) \log (x)}{x}\right ) \, dx\\ &=2 \int \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx+8 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^3 \, dx-12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x \, dx+12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^2 \, dx-16 \int \frac {\exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \left (-4+x+2 x^2\right ) \log (x)}{x} \, dx-20 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx\\ &=2 \int \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx+8 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^3 \, dx-12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x \, dx+12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^2 \, dx-16 \int \left (\exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \log (x)-\frac {4 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \log (x)}{x}+2 \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x \log (x)\right ) \, dx-20 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx\\ &=2 \int \exp \left (e^x-x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx+8 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^3 \, dx-12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x \, dx+12 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x^2 \, dx-16 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \log (x) \, dx-20 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \, dx-32 \int \exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) x \log (x) \, dx+64 \int \frac {\exp \left (e^x-2 x+x^2+2 x^3+x^4+\left (-8 x-8 x^2\right ) \log (x)+16 \log ^2(x)\right ) \log (x)}{x} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 5.02, size = 36, normalized size = 1.29 \begin {gather*} 2 e^{e^x-2 x+x^2+2 x^3+x^4+16 \log ^2(x)} x^{-8 x (1+x)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + (-8*x - 8*x^2)*Log[x] + 16*Log[x]^2)*(-20*x + 2*E^x*x - 12*x^2 +
12*x^3 + 8*x^4 + (64 - 16*x - 32*x^2)*Log[x]))/x,x]

[Out]

(2*E^(E^x - 2*x + x^2 + 2*x^3 + x^4 + 16*Log[x]^2))/x^(8*x*(1 + x))

________________________________________________________________________________________

fricas [A]  time = 0.80, size = 35, normalized size = 1.25 \begin {gather*} 2 \, e^{\left (x^{4} + 2 \, x^{3} + x^{2} - 8 \, {\left (x^{2} + x\right )} \log \relax (x) + 16 \, \log \relax (x)^{2} - 2 \, x + e^{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-32*x^2-16*x+64)*log(x)+2*exp(x)*x+8*x^4+12*x^3-12*x^2-20*x)*exp(16*log(x)^2+(-8*x^2-8*x)*log(x)+e
xp(x)+x^4+2*x^3+x^2-2*x)/x,x, algorithm="fricas")

[Out]

2*e^(x^4 + 2*x^3 + x^2 - 8*(x^2 + x)*log(x) + 16*log(x)^2 - 2*x + e^x)

________________________________________________________________________________________

giac [A]  time = 0.21, size = 38, normalized size = 1.36 \begin {gather*} 2 \, e^{\left (x^{4} + 2 \, x^{3} - 8 \, x^{2} \log \relax (x) + x^{2} - 8 \, x \log \relax (x) + 16 \, \log \relax (x)^{2} - 2 \, x + e^{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-32*x^2-16*x+64)*log(x)+2*exp(x)*x+8*x^4+12*x^3-12*x^2-20*x)*exp(16*log(x)^2+(-8*x^2-8*x)*log(x)+e
xp(x)+x^4+2*x^3+x^2-2*x)/x,x, algorithm="giac")

[Out]

2*e^(x^4 + 2*x^3 - 8*x^2*log(x) + x^2 - 8*x*log(x) + 16*log(x)^2 - 2*x + e^x)

________________________________________________________________________________________

maple [A]  time = 0.06, size = 35, normalized size = 1.25

method	result	size
risch	\(2 x^{-8 \left (x +1\right ) x} {\mathrm e}^{16 \ln \relax (x )^{2}+{\mathrm e}^{x}+x^{4}+2 x^{3}+x^{2}-2 x}\)	\(35\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-32*x^2-16*x+64)*ln(x)+2*exp(x)*x+8*x^4+12*x^3-12*x^2-20*x)*exp(16*ln(x)^2+(-8*x^2-8*x)*ln(x)+exp(x)+x^4
+2*x^3+x^2-2*x)/x,x,method=_RETURNVERBOSE)

[Out]

2*x^(-8*(x+1)*x)*exp(16*ln(x)^2+exp(x)+x^4+2*x^3+x^2-2*x)

________________________________________________________________________________________

maxima [A]  time = 0.60, size = 38, normalized size = 1.36 \begin {gather*} 2 \, e^{\left (x^{4} + 2 \, x^{3} - 8 \, x^{2} \log \relax (x) + x^{2} - 8 \, x \log \relax (x) + 16 \, \log \relax (x)^{2} - 2 \, x + e^{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-32*x^2-16*x+64)*log(x)+2*exp(x)*x+8*x^4+12*x^3-12*x^2-20*x)*exp(16*log(x)^2+(-8*x^2-8*x)*log(x)+e
xp(x)+x^4+2*x^3+x^2-2*x)/x,x, algorithm="maxima")

[Out]

2*e^(x^4 + 2*x^3 - 8*x^2*log(x) + x^2 - 8*x*log(x) + 16*log(x)^2 - 2*x + e^x)

________________________________________________________________________________________

mupad [B]  time = 5.06, size = 43, normalized size = 1.54 \begin {gather*} \frac {2\,{\mathrm {e}}^{16\,{\ln \relax (x)}^2}\,{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{x^4}\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{2\,x^3}}{x^{8\,x^2+8\,x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(exp(x) - 2*x + 16*log(x)^2 - log(x)*(8*x + 8*x^2) + x^2 + 2*x^3 + x^4)*(20*x + log(x)*(16*x + 32*x^2
- 64) - 2*x*exp(x) + 12*x^2 - 12*x^3 - 8*x^4))/x,x)

[Out]

(2*exp(16*log(x)^2)*exp(-2*x)*exp(x^2)*exp(x^4)*exp(exp(x))*exp(2*x^3))/x^(8*x + 8*x^2)

________________________________________________________________________________________

sympy [A]  time = 0.57, size = 41, normalized size = 1.46 \begin {gather*} 2 e^{x^{4} + 2 x^{3} + x^{2} - 2 x + \left (- 8 x^{2} - 8 x\right ) \log {\relax (x )} + e^{x} + 16 \log {\relax (x )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-32*x**2-16*x+64)*ln(x)+2*exp(x)*x+8*x**4+12*x**3-12*x**2-20*x)*exp(16*ln(x)**2+(-8*x**2-8*x)*ln(x
)+exp(x)+x**4+2*x**3+x**2-2*x)/x,x)

[Out]

2*exp(x**4 + 2*x**3 + x**2 - 2*x + (-8*x**2 - 8*x)*log(x) + exp(x) + 16*log(x)**2)

________________________________________________________________________________________