3.8.43 \(\int \frac {e^{-\frac {x}{\log (2 x)}} (e^{-4+x} x^2-e^{-4+x} x^2 \log (2 x)+e^{-4+x} (2 x+x^2) \log ^2(2 x))}{\log ^2(2 x)} \, dx\)

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

________________________________________________________________________________________

Rubi [B]  time = 0.17, antiderivative size = 59, normalized size of antiderivative = 3.28, number of steps used = 1, number of rules used = 1, integrand size = 61, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.016, Rules used = {2288} \begin {gather*} \frac {e^{-\frac {x}{\log (2 x)}} \left (e^{x-4} x^2-e^{x-4} x^2 \log (2 x)\right )}{\left (\frac {1}{\log ^2(2 x)}-\frac {1}{\log (2 x)}\right ) \log ^2(2 x)} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

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

________________________________________________________________________________________

Mathematica [A]  time = 0.34, size = 18, normalized size = 1.00 \begin {gather*} e^{-4+x-\frac {x}{\log (2 x)}} x^2 \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.55, size = 17, normalized size = 0.94 \begin {gather*} x^{2} e^{\left (x - \frac {x}{\log \left (2 \, x\right )} - 4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^2+2*x)*exp(x-4)*log(2*x)^2-x^2*exp(x-4)*log(2*x)+x^2*exp(x-4))/log(2*x)^2/exp(x/log(2*x)),x, alg
orithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.64, size = 28, normalized size = 1.56 \begin {gather*} x^{2} e^{\left (\frac {x \log \left (2 \, x\right ) - x - 4 \, \log \left (2 \, x\right )}{\log \left (2 \, x\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^2+2*x)*exp(x-4)*log(2*x)^2-x^2*exp(x-4)*log(2*x)+x^2*exp(x-4))/log(2*x)^2/exp(x/log(2*x)),x, alg
orithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.03, size = 29, normalized size = 1.61

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((x^2+2*x)*exp(x-4)*ln(2*x)^2-x^2*exp(x-4)*ln(2*x)+x^2*exp(x-4))/ln(2*x)^2/exp(x/ln(2*x)),x,method=_RETURN
VERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.68, size = 18, normalized size = 1.00 \begin {gather*} x^{2} e^{\left (x - \frac {x}{\log \relax (2) + \log \relax (x)} - 4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x^2+2*x)*exp(x-4)*log(2*x)^2-x^2*exp(x-4)*log(2*x)+x^2*exp(x-4))/log(2*x)^2/exp(x/log(2*x)),x, alg
orithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 0.59, size = 19, normalized size = 1.06 \begin {gather*} x^2\,{\mathrm {e}}^{-\frac {x}{\ln \relax (2)+\ln \relax (x)}}\,{\mathrm {e}}^{-4}\,{\mathrm {e}}^x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(-x/log(2*x))*(x^2*exp(x - 4) + log(2*x)^2*exp(x - 4)*(2*x + x^2) - x^2*log(2*x)*exp(x - 4)))/log(2*x)
^2,x)

[Out]

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

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((x**2+2*x)*exp(x-4)*ln(2*x)**2-x**2*exp(x-4)*ln(2*x)+x**2*exp(x-4))/ln(2*x)**2/exp(x/ln(2*x)),x)

[Out]

Timed out

________________________________________________________________________________________