3.70.17 \(\int e^{9-5 x-3 x^2+2 x^3+x^4+x \log (x)} (-4-6 x+6 x^2+4 x^3+\log (x)) \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.25, antiderivative size = 24, normalized size of antiderivative = 1.04, number of steps used = 1, number of rules used = 1, integrand size = 42, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.024, Rules used = {6706} \begin {gather*} e^{x^4+2 x^3-3 x^2-5 x+9} x^x \end {gather*}

Antiderivative was successfully verified.

[In]

Int[E^(9 - 5*x - 3*x^2 + 2*x^3 + x^4 + x*Log[x])*(-4 - 6*x + 6*x^2 + 4*x^3 + Log[x]),x]

[Out]

E^(9 - 5*x - 3*x^2 + 2*x^3 + x^4)*x^x

Rule 6706

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[(q*F^v)/Log[F], x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=e^{9-5 x-3 x^2+2 x^3+x^4} x^x\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.50, size = 24, normalized size = 1.04 \begin {gather*} e^{9-5 x-3 x^2+2 x^3+x^4} x^x \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(9 - 5*x - 3*x^2 + 2*x^3 + x^4 + x*Log[x])*(-4 - 6*x + 6*x^2 + 4*x^3 + Log[x]),x]

[Out]

E^(9 - 5*x - 3*x^2 + 2*x^3 + x^4)*x^x

________________________________________________________________________________________

fricas [A]  time = 0.91, size = 23, normalized size = 1.00 \begin {gather*} e^{\left (x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \log \relax (x) - 5 \, x + 9\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)+4*x^3+6*x^2-6*x-4)*exp(x*log(x)+x^4+2*x^3-3*x^2-5*x+9),x, algorithm="fricas")

[Out]

e^(x^4 + 2*x^3 - 3*x^2 + x*log(x) - 5*x + 9)

________________________________________________________________________________________

giac [A]  time = 0.26, size = 23, normalized size = 1.00 \begin {gather*} e^{\left (x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \log \relax (x) - 5 \, x + 9\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)+4*x^3+6*x^2-6*x-4)*exp(x*log(x)+x^4+2*x^3-3*x^2-5*x+9),x, algorithm="giac")

[Out]

e^(x^4 + 2*x^3 - 3*x^2 + x*log(x) - 5*x + 9)

________________________________________________________________________________________

maple [A]  time = 0.02, size = 24, normalized size = 1.04

method	result	size
derivativedivides	\({\mathrm e}^{x \ln \relax (x )+x^{4}+2 x^{3}-3 x^{2}-5 x +9}\)	\(24\)
default	\({\mathrm e}^{x \ln \relax (x )+x^{4}+2 x^{3}-3 x^{2}-5 x +9}\)	\(24\)
norman	\({\mathrm e}^{x \ln \relax (x )+x^{4}+2 x^{3}-3 x^{2}-5 x +9}\)	\(24\)
risch	\(x^{x} {\mathrm e}^{x^{4}+2 x^{3}-3 x^{2}-5 x +9}\)	\(24\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((ln(x)+4*x^3+6*x^2-6*x-4)*exp(x*ln(x)+x^4+2*x^3-3*x^2-5*x+9),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.38, size = 23, normalized size = 1.00 \begin {gather*} e^{\left (x^{4} + 2 \, x^{3} - 3 \, x^{2} + x \log \relax (x) - 5 \, x + 9\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)+4*x^3+6*x^2-6*x-4)*exp(x*log(x)+x^4+2*x^3-3*x^2-5*x+9),x, algorithm="maxima")

[Out]

e^(x^4 + 2*x^3 - 3*x^2 + x*log(x) - 5*x + 9)

________________________________________________________________________________________

mupad [B]  time = 4.25, size = 26, normalized size = 1.13 \begin {gather*} x^x\,{\mathrm {e}}^{-5\,x}\,{\mathrm {e}}^{x^4}\,{\mathrm {e}}^9\,{\mathrm {e}}^{-3\,x^2}\,{\mathrm {e}}^{2\,x^3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(x*log(x) - 5*x - 3*x^2 + 2*x^3 + x^4 + 9)*(log(x) - 6*x + 6*x^2 + 4*x^3 - 4),x)

[Out]

x^x*exp(-5*x)*exp(x^4)*exp(9)*exp(-3*x^2)*exp(2*x^3)

________________________________________________________________________________________

sympy [A]  time = 0.30, size = 24, normalized size = 1.04 \begin {gather*} e^{x^{4} + 2 x^{3} - 3 x^{2} + x \log {\relax (x )} - 5 x + 9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((ln(x)+4*x**3+6*x**2-6*x-4)*exp(x*ln(x)+x**4+2*x**3-3*x**2-5*x+9),x)

[Out]

exp(x**4 + 2*x**3 - 3*x**2 + x*log(x) - 5*x + 9)

________________________________________________________________________________________