3.44.11 \(\int \frac {e^{-2 x-4 x^2-4 x^4-x^6-\log ^2(x)} (-1-2 x-8 x^2-16 x^4-6 x^6-2 \log (x))}{x^2} \, dx\)

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

________________________________________________________________________________________

Rubi [B]  time = 0.22, antiderivative size = 73, normalized size of antiderivative = 2.61, number of steps used = 1, number of rules used = 1, integrand size = 55, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.018, Rules used = {2288} \begin {gather*} \frac {e^{-x^6-4 x^4-4 x^2-2 x-\log ^2(x)} \left (3 x^6+8 x^4+4 x^2+x+\log (x)\right )}{x^2 \left (3 x^5+8 x^3+4 x+\frac {\log (x)}{x}+1\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(E^(-2*x - 4*x^2 - 4*x^4 - x^6 - Log[x]^2)*(-1 - 2*x - 8*x^2 - 16*x^4 - 6*x^6 - 2*Log[x]))/x^2,x]

[Out]

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

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {e^{-2 x-4 x^2-4 x^4-x^6-\log ^2(x)} \left (x+4 x^2+8 x^4+3 x^6+\log (x)\right )}{x^2 \left (1+4 x+8 x^3+3 x^5+\frac {\log (x)}{x}\right )}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.14, size = 29, normalized size = 1.04 \begin {gather*} \frac {e^{-x \left (2+4 x+4 x^3+x^5\right )-\log ^2(x)}}{x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^(-2*x - 4*x^2 - 4*x^4 - x^6 - Log[x]^2)*(-1 - 2*x - 8*x^2 - 16*x^4 - 6*x^6 - 2*Log[x]))/x^2,x]

[Out]

E^(-(x*(2 + 4*x + 4*x^3 + x^5)) - Log[x]^2)/x

________________________________________________________________________________________

fricas [A]  time = 0.47, size = 30, normalized size = 1.07 \begin {gather*} \frac {e^{\left (-x^{6} - 4 \, x^{4} - 4 \, x^{2} - \log \relax (x)^{2} - 2 \, x\right )}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*log(x)-6*x^6-16*x^4-8*x^2-2*x-1)*exp(-log(x)^2-x^6-4*x^4-4*x^2-2*x)/x^2,x, algorithm="fricas")

[Out]

e^(-x^6 - 4*x^4 - 4*x^2 - log(x)^2 - 2*x)/x

________________________________________________________________________________________

giac [A]  time = 0.21, size = 30, normalized size = 1.07 \begin {gather*} \frac {e^{\left (-x^{6} - 4 \, x^{4} - 4 \, x^{2} - \log \relax (x)^{2} - 2 \, x\right )}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*log(x)-6*x^6-16*x^4-8*x^2-2*x-1)*exp(-log(x)^2-x^6-4*x^4-4*x^2-2*x)/x^2,x, algorithm="giac")

[Out]

e^(-x^6 - 4*x^4 - 4*x^2 - log(x)^2 - 2*x)/x

________________________________________________________________________________________

maple [A]  time = 0.02, size = 31, normalized size = 1.11

method	result	size
risch	\(\frac {{\mathrm e}^{-\ln \relax (x )^{2}-x^{6}-4 x^{4}-4 x^{2}-2 x}}{x}\)	\(31\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-2*ln(x)-6*x^6-16*x^4-8*x^2-2*x-1)*exp(-ln(x)^2-x^6-4*x^4-4*x^2-2*x)/x^2,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.45, size = 30, normalized size = 1.07 \begin {gather*} \frac {e^{\left (-x^{6} - 4 \, x^{4} - 4 \, x^{2} - \log \relax (x)^{2} - 2 \, x\right )}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*log(x)-6*x^6-16*x^4-8*x^2-2*x-1)*exp(-log(x)^2-x^6-4*x^4-4*x^2-2*x)/x^2,x, algorithm="maxima")

[Out]

e^(-x^6 - 4*x^4 - 4*x^2 - log(x)^2 - 2*x)/x

________________________________________________________________________________________

mupad [B]  time = 3.20, size = 33, normalized size = 1.18 \begin {gather*} \frac {{\mathrm {e}}^{-{\ln \relax (x)}^2}\,{\mathrm {e}}^{-2\,x}\,{\mathrm {e}}^{-4\,x^2}\,{\mathrm {e}}^{-x^6}\,{\mathrm {e}}^{-4\,x^4}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(- 2*x - log(x)^2 - 4*x^2 - 4*x^4 - x^6)*(2*x + 2*log(x) + 8*x^2 + 16*x^4 + 6*x^6 + 1))/x^2,x)

[Out]

(exp(-log(x)^2)*exp(-2*x)*exp(-4*x^2)*exp(-x^6)*exp(-4*x^4))/x

________________________________________________________________________________________

sympy [A]  time = 0.29, size = 26, normalized size = 0.93 \begin {gather*} \frac {e^{- x^{6} - 4 x^{4} - 4 x^{2} - 2 x - \log {\relax (x )}^{2}}}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*ln(x)-6*x**6-16*x**4-8*x**2-2*x-1)*exp(-ln(x)**2-x**6-4*x**4-4*x**2-2*x)/x**2,x)

[Out]

exp(-x**6 - 4*x**4 - 4*x**2 - 2*x - log(x)**2)/x

________________________________________________________________________________________