3.56.2 \(\int e^{\frac {-x+4 x^3-16 \log ^2(x)}{x}} (4 x+16 x^3-64 \log (x)+32 \log ^2(x)) \, dx\) [5502]

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

[Out]

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

________________________________________________________________________________________

Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(75\) vs. \(2(27)=54\).
time = 0.06, antiderivative size = 75, normalized size of antiderivative = 2.78, number of steps used = 1, number of rules used = 1, integrand size = 41, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.024, Rules used = {2326} \begin {gather*} -\frac {16 e^{-\frac {-4 x^3+x+16 \log ^2(x)}{x}} \left (x^3+2 \log ^2(x)-4 \log (x)\right )}{\frac {-12 x^2+\frac {32 \log (x)}{x}+1}{x}-\frac {-4 x^3+x+16 \log ^2(x)}{x^2}} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 2326

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 {16 e^{-\frac {x-4 x^3+16 \log ^2(x)}{x}} \left (x^3-4 \log (x)+2 \log ^2(x)\right )}{\frac {1-12 x^2+\frac {32 \log (x)}{x}}{x}-\frac {x-4 x^3+16 \log ^2(x)}{x^2}}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.05, size = 23, normalized size = 0.85 \begin {gather*} 2 e^{-1+4 x^2-\frac {16 \log ^2(x)}{x}} x^2 \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

Maple [A]
time = 0.06, size = 25, normalized size = 0.93

method	result	size
risch	\(2 x^{2} {\mathrm e}^{-\frac {-4 x^{3}+16 \ln \left (x \right )^{2}+x}{x}}\)	\(25\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Maxima [A]
time = 0.35, size = 22, normalized size = 0.81 \begin {gather*} 2 \, x^{2} e^{\left (4 \, x^{2} - \frac {16 \, \log \left (x\right )^{2}}{x} - 1\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

2*x^2*e^(4*x^2 - 16*log(x)^2/x - 1)

________________________________________________________________________________________

Fricas [A]
time = 0.34, size = 25, normalized size = 0.93 \begin {gather*} 2 \, x^{2} e^{\left (\frac {4 \, x^{3} - 16 \, \log \left (x\right )^{2} - x}{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Sympy [A]
time = 0.10, size = 20, normalized size = 0.74 \begin {gather*} 2 x^{2} e^{\frac {4 x^{3} - x - 16 \log {\left (x \right )}^{2}}{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Giac [A]
time = 0.42, size = 25, normalized size = 0.93 \begin {gather*} 2 \, x^{2} e^{\left (\frac {4 \, x^{3} - 16 \, \log \left (x\right )^{2} - x}{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Mupad [B]
time = 3.61, size = 23, normalized size = 0.85 \begin {gather*} 2\,x^2\,{\mathrm {e}}^{-1}\,{\mathrm {e}}^{4\,x^2}\,{\mathrm {e}}^{-\frac {16\,{\ln \left (x\right )}^2}{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

2*x^2*exp(-1)*exp(4*x^2)*exp(-(16*log(x)^2)/x)

________________________________________________________________________________________