3.75.27 \(\int \frac {e^4 (-6 x+2 e^3 x+6 x^2)+e^{7+x} \log (3)}{e^3} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.02, antiderivative size = 28, normalized size of antiderivative = 1.08, number of steps used = 5, number of rules used = 3, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.094, Rules used = {12, 6, 2194} \begin {gather*} 2 e x^3-e \left (3-e^3\right ) x^2+e^{x+4} \log (3) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 2194

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \left (e^4 \left (-6 x+2 e^3 x+6 x^2\right )+e^{7+x} \log (3)\right ) \, dx}{e^3}\\ &=e \int \left (-6 x+2 e^3 x+6 x^2\right ) \, dx+\frac {\log (3) \int e^{7+x} \, dx}{e^3}\\ &=e^{4+x} \log (3)+e \int \left (\left (-6+2 e^3\right ) x+6 x^2\right ) \, dx\\ &=-e \left (3-e^3\right ) x^2+2 e x^3+e^{4+x} \log (3)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 25, normalized size = 0.96 \begin {gather*} e \left (\left (-3+e^3\right ) x^2+2 x^3+e^{3+x} \log (3)\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.99, size = 31, normalized size = 1.19 \begin {gather*} {\left (x^{2} e^{7} + {\left (2 \, x^{3} - 3 \, x^{2}\right )} e^{4} + e^{\left (x + 7\right )} \log \relax (3)\right )} e^{\left (-3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.16, size = 31, normalized size = 1.19 \begin {gather*} {\left ({\left (2 \, x^{3} + x^{2} e^{3} - 3 \, x^{2}\right )} e^{4} + e^{\left (x + 7\right )} \log \relax (3)\right )} e^{\left (-3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.03, size = 31, normalized size = 1.19

method	result	size
risch	\(x^{2} {\mathrm e} \,{\mathrm e}^{3}+2 x^{3} {\mathrm e}-3 x^{2} {\mathrm e}+\ln \relax (3) {\mathrm e}^{4+x}\)	\(31\)
norman	\({\mathrm e}^{4} \ln \relax (3) {\mathrm e}^{x}+{\mathrm e}^{4} \left ({\mathrm e}^{3}-3\right ) {\mathrm e}^{-3} x^{2}+2 \,{\mathrm e}^{-3} {\mathrm e}^{4} x^{3}\)	\(34\)
default	\({\mathrm e}^{-3} \left ({\mathrm e}^{4} \left (x^{2} {\mathrm e}^{3}+2 x^{3}-3 x^{2}\right )+{\mathrm e}^{3} {\mathrm e}^{4} \ln \relax (3) {\mathrm e}^{x}\right )\)	\(36\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 31, normalized size = 1.19 \begin {gather*} {\left ({\left (2 \, x^{3} + x^{2} e^{3} - 3 \, x^{2}\right )} e^{4} + e^{\left (x + 7\right )} \log \relax (3)\right )} e^{\left (-3\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 5.12, size = 29, normalized size = 1.12 \begin {gather*} {\mathrm {e}}^{x+4}\,\ln \relax (3)-x^2\,\left (3\,\mathrm {e}-{\mathrm {e}}^4\right )+2\,x^3\,\mathrm {e} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

exp(x + 4)*log(3) - x^2*(3*exp(1) - exp(4)) + 2*x^3*exp(1)

________________________________________________________________________________________

sympy [A]  time = 0.11, size = 29, normalized size = 1.12 \begin {gather*} 2 e x^{3} + x^{2} \left (- 3 e + e^{4}\right ) + e^{4} e^{x} \log {\relax (3 )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

2*E*x**3 + x**2*(-3*E + exp(4)) + exp(4)*exp(x)*log(3)

________________________________________________________________________________________