3.83.74 \(\int \frac {-30+x+e^x (6+6 x)}{6 e^4} \, dx\) [8274]

Optimal. Leaf size=15 \[ \frac {\left (-5+e^x+\frac {x}{12}\right ) x}{e^4} \]

[Out]

x/exp(4)*(1/12*x+exp(x)-5)

________________________________________________________________________________________

Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(33\) vs. \(2(15)=30\).
time = 0.01, antiderivative size = 33, normalized size of antiderivative = 2.20, number of steps used = 4, number of rules used = 3, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.158, Rules used = {12, 2207, 2225} \begin {gather*} \frac {x^2}{12 e^4}-\frac {5 x}{e^4}-e^{x-4}+e^{x-4} (x+1) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-30 + x + E^x*(6 + 6*x))/(6*E^4),x]

[Out]

-E^(-4 + x) - (5*x)/E^4 + x^2/(12*E^4) + E^(-4 + x)*(1 + 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 2207

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[(c + d*x)^m*
((b*F^(g*(e + f*x)))^n/(f*g*n*Log[F])), x] - Dist[d*(m/(f*g*n*Log[F])), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x
)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] &&  !TrueQ[$UseGamma]

Rule 2225

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 (-30+x+e^x (6+6 x)\right ) \, dx}{6 e^4}\\ &=-\frac {5 x}{e^4}+\frac {x^2}{12 e^4}+\frac {\int e^x (6+6 x) \, dx}{6 e^4}\\ &=-\frac {5 x}{e^4}+\frac {x^2}{12 e^4}+e^{-4+x} (1+x)-\frac {\int e^x \, dx}{e^4}\\ &=-e^{-4+x}-\frac {5 x}{e^4}+\frac {x^2}{12 e^4}+e^{-4+x} (1+x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.02, size = 24, normalized size = 1.60 \begin {gather*} \frac {-30 x+6 e^x x+\frac {x^2}{2}}{6 e^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-30 + x + E^x*(6 + 6*x))/(6*E^4),x]

[Out]

(-30*x + 6*E^x*x + x^2/2)/(6*E^4)

________________________________________________________________________________________

Maple [A]
time = 0.24, size = 21, normalized size = 1.40

method	result	size
risch	\(x \,{\mathrm e}^{x -4}-5 x \,{\mathrm e}^{-4}+\frac {x^{2} {\mathrm e}^{-4}}{12}\)	\(20\)
default	\(\frac {{\mathrm e}^{-4} \left (-30 x +\frac {x^{2}}{2}+6 \,{\mathrm e}^{x} x \right )}{6}\)	\(21\)
norman	\(x \,{\mathrm e}^{-4} {\mathrm e}^{x}-5 x \,{\mathrm e}^{-4}+\frac {x^{2} {\mathrm e}^{-4}}{12}\)	\(26\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/6*((6*x+6)*exp(x)+x-30)/exp(4),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [A]
time = 0.26, size = 16, normalized size = 1.07 \begin {gather*} \frac {1}{12} \, {\left (x^{2} + 12 \, x e^{x} - 60 \, x\right )} e^{\left (-4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/6*((6+6*x)*exp(x)+x-30)/exp(4),x, algorithm="maxima")

[Out]

1/12*(x^2 + 12*x*e^x - 60*x)*e^(-4)

________________________________________________________________________________________

Fricas [A]
time = 0.40, size = 16, normalized size = 1.07 \begin {gather*} \frac {1}{12} \, {\left (x^{2} + 12 \, x e^{x} - 60 \, x\right )} e^{\left (-4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/6*((6+6*x)*exp(x)+x-30)/exp(4),x, algorithm="fricas")

[Out]

1/12*(x^2 + 12*x*e^x - 60*x)*e^(-4)

________________________________________________________________________________________

Sympy [A]
time = 0.04, size = 22, normalized size = 1.47 \begin {gather*} \frac {x^{2}}{12 e^{4}} + \frac {x e^{x}}{e^{4}} - \frac {5 x}{e^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/6*((6+6*x)*exp(x)+x-30)/exp(4),x)

[Out]

x**2*exp(-4)/12 + x*exp(-4)*exp(x) - 5*x*exp(-4)

________________________________________________________________________________________

Giac [A]
time = 0.41, size = 16, normalized size = 1.07 \begin {gather*} \frac {1}{12} \, {\left (x^{2} + 12 \, x e^{x} - 60 \, x\right )} e^{\left (-4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/6*((6+6*x)*exp(x)+x-30)/exp(4),x, algorithm="giac")

[Out]

1/12*(x^2 + 12*x*e^x - 60*x)*e^(-4)

________________________________________________________________________________________

Mupad [B]
time = 0.06, size = 12, normalized size = 0.80 \begin {gather*} \frac {x\,{\mathrm {e}}^{-4}\,\left (x+12\,{\mathrm {e}}^x-60\right )}{12} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(-4)*(x/6 + (exp(x)*(6*x + 6))/6 - 5),x)

[Out]

(x*exp(-4)*(x + 12*exp(x) - 60))/12

________________________________________________________________________________________