\(\int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 (-40 x+12 x^2)+e^x (e^8 (-8+2 x)+e^5 (8 x+4 x^2))}{e^{10}} \, dx\) [6711]

Optimal result

Integrand size = 71, antiderivative size = 18 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx=\left (-5+e^{-2+x}+x+\frac {2 x^2}{e^3}\right )^2 \]

[Out]

(2*x^2/exp(3)+exp(x)/exp(2)-5+x)^2

Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(68\) vs. \(2(18)=36\).

Time = 0.07 (sec) , antiderivative size = 68, normalized size of antiderivative = 3.78, number of steps used = 15, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.056, Rules used = {12, 2225, 2227, 2207} \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx=\frac {4 x^4}{e^6}+\frac {4 x^3}{e^3}+4 e^{x-5} x^2-\frac {20 x^2}{e^3}-2 e^{x-2}+e^{2 x-4}+(5-x)^2-2 e^{x-2} (4-x) \]

[In]

Int[(2*E^(6 + 2*x) + 16*E^4*x^3 + E^10*(-10 + 2*x) + E^7*(-40*x + 12*x^2) + E^x*(E^8*(-8 + 2*x) + E^5*(8*x + 4
*x^2)))/E^10,x]

[Out]

-2*E^(-2 + x) + E^(-4 + 2*x) - 2*E^(-2 + x)*(4 - x) + (5 - x)^2 - (20*x^2)/E^3 + 4*E^(-5 + x)*x^2 + (4*x^3)/E^
3 + (4*x^4)/E^6

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]

Rule 2227

Int[(F_)^((c_.)*(v_))*(u_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), u, x], x] /; FreeQ[{F, c
}, x] && PolynomialQ[u, x] && LinearQ[v, x] &&  !TrueQ[$UseGamma]

Rubi steps \begin{align*} \text {integral}& = \frac {\int \left (2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )\right ) \, dx}{e^{10}} \\ & = (5-x)^2+\frac {4 x^4}{e^6}+\frac {\int e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right ) \, dx}{e^{10}}+\frac {2 \int e^{6+2 x} \, dx}{e^{10}}+\frac {\int \left (-40 x+12 x^2\right ) \, dx}{e^3} \\ & = e^{-4+2 x}+(5-x)^2-\frac {20 x^2}{e^3}+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}+\frac {\int \left (2 e^{8+x} (-4+x)+4 e^{5+x} x (2+x)\right ) \, dx}{e^{10}} \\ & = e^{-4+2 x}+(5-x)^2-\frac {20 x^2}{e^3}+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}+\frac {2 \int e^{8+x} (-4+x) \, dx}{e^{10}}+\frac {4 \int e^{5+x} x (2+x) \, dx}{e^{10}} \\ & = e^{-4+2 x}-2 e^{-2+x} (4-x)+(5-x)^2-\frac {20 x^2}{e^3}+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}-\frac {2 \int e^{8+x} \, dx}{e^{10}}+\frac {4 \int \left (2 e^{5+x} x+e^{5+x} x^2\right ) \, dx}{e^{10}} \\ & = -2 e^{-2+x}+e^{-4+2 x}-2 e^{-2+x} (4-x)+(5-x)^2-\frac {20 x^2}{e^3}+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}+\frac {4 \int e^{5+x} x^2 \, dx}{e^{10}}+\frac {8 \int e^{5+x} x \, dx}{e^{10}} \\ & = -2 e^{-2+x}+e^{-4+2 x}-2 e^{-2+x} (4-x)+(5-x)^2+8 e^{-5+x} x-\frac {20 x^2}{e^3}+4 e^{-5+x} x^2+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}-\frac {8 \int e^{5+x} \, dx}{e^{10}}-\frac {8 \int e^{5+x} x \, dx}{e^{10}} \\ & = -8 e^{-5+x}-2 e^{-2+x}+e^{-4+2 x}-2 e^{-2+x} (4-x)+(5-x)^2-\frac {20 x^2}{e^3}+4 e^{-5+x} x^2+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6}+\frac {8 \int e^{5+x} \, dx}{e^{10}} \\ & = -2 e^{-2+x}+e^{-4+2 x}-2 e^{-2+x} (4-x)+(5-x)^2-\frac {20 x^2}{e^3}+4 e^{-5+x} x^2+\frac {4 x^3}{e^3}+\frac {4 x^4}{e^6} \\ \end{align*}

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(79\) vs. \(2(18)=36\).

Time = 0.08 (sec) , antiderivative size = 79, normalized size of antiderivative = 4.39 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx=\frac {2 \left (\frac {1}{2} e^{2+2 x}-5 e^6 x-10 e^3 x^2+\frac {e^6 x^2}{2}+2 e^{1+x} x^2+2 e^3 x^3+2 x^4+e^x \left (-5 e^4+e^4 x\right )\right )}{e^6} \]

[In]

Integrate[(2*E^(6 + 2*x) + 16*E^4*x^3 + E^10*(-10 + 2*x) + E^7*(-40*x + 12*x^2) + E^x*(E^8*(-8 + 2*x) + E^5*(8
*x + 4*x^2)))/E^10,x]

[Out]

(2*(E^(2 + 2*x)/2 - 5*E^6*x - 10*E^3*x^2 + (E^6*x^2)/2 + 2*E^(1 + x)*x^2 + 2*E^3*x^3 + 2*x^4 + E^x*(-5*E^4 + E
^4*x)))/E^6

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(67\) vs. \(2(21)=42\).

Time = 0.21 (sec) , antiderivative size = 68, normalized size of antiderivative = 3.78

method	result	size
parts	\({\mathrm e}^{-6} \left (x \,{\mathrm e}^{3}-5 \,{\mathrm e}^{3}+2 x^{2}\right )^{2}+{\mathrm e}^{-4} {\mathrm e}^{2 x}+2 \,{\mathrm e}^{-2} {\mathrm e}^{-3} \left ({\mathrm e}^{3} \left ({\mathrm e}^{x} x -{\mathrm e}^{x}\right )-4 \,{\mathrm e}^{x} {\mathrm e}^{3}+2 \,{\mathrm e}^{x} x^{2}\right )\)	\(68\)
norman	\(\left ({\mathrm e}^{-2} {\mathrm e}^{3} {\mathrm e}^{2 x}+{\mathrm e}^{2} \left ({\mathrm e}^{3}-20\right ) x^{2}+4 x^{3} {\mathrm e}^{2}+4 \,{\mathrm e}^{x} x^{2}-10 \,{\mathrm e}^{x} {\mathrm e}^{3}-10 x \,{\mathrm e}^{2} {\mathrm e}^{3}+2 x \,{\mathrm e}^{3} {\mathrm e}^{x}+4 \,{\mathrm e}^{2} {\mathrm e}^{-3} x^{4}\right ) {\mathrm e}^{-2} {\mathrm e}^{-3}\)	\(77\)
risch	\({\mathrm e}^{-6} {\mathrm e}^{6} x^{2}+4 \,{\mathrm e}^{-6} {\mathrm e}^{3} x^{3}+4 \,{\mathrm e}^{-6} x^{4}-10 \,{\mathrm e}^{-6} {\mathrm e}^{6} x -20 \,{\mathrm e}^{-6} {\mathrm e}^{3} x^{2}+25 \,{\mathrm e}^{-6} {\mathrm e}^{6}+{\mathrm e}^{2 x -4}+\left (2 x \,{\mathrm e}^{8}-10 \,{\mathrm e}^{8}+4 x^{2} {\mathrm e}^{5}\right ) {\mathrm e}^{x -10}\)	\(82\)
parallelrisch	\({\mathrm e}^{-4} {\mathrm e}^{-6} \left ({\mathrm e}^{4} {\mathrm e}^{6} x^{2}+4 \,{\mathrm e}^{4} {\mathrm e}^{3} x^{3}+4 x^{4} {\mathrm e}^{4}-10 \,{\mathrm e}^{4} {\mathrm e}^{6} x -20 x^{2} {\mathrm e}^{3} {\mathrm e}^{4}+2 \,{\mathrm e}^{2} {\mathrm e}^{6} {\mathrm e}^{x} x +4 \,{\mathrm e}^{2} {\mathrm e}^{3} {\mathrm e}^{x} x^{2}-10 \,{\mathrm e}^{2} {\mathrm e}^{6} {\mathrm e}^{x}+{\mathrm e}^{6} {\mathrm e}^{2 x}\right )\)	\(106\)
default	\({\mathrm e}^{-4} {\mathrm e}^{-6} \left (-8 \,{\mathrm e}^{2} {\mathrm e}^{6} {\mathrm e}^{x}+8 \,{\mathrm e}^{2} {\mathrm e}^{3} \left ({\mathrm e}^{x} x -{\mathrm e}^{x}\right )+4 \,{\mathrm e}^{2} {\mathrm e}^{3} \left ({\mathrm e}^{x} x^{2}-2 \,{\mathrm e}^{x} x +2 \,{\mathrm e}^{x}\right )+2 \,{\mathrm e}^{2} {\mathrm e}^{6} \left ({\mathrm e}^{x} x -{\mathrm e}^{x}\right )+2 \,{\mathrm e}^{4} {\mathrm e}^{6} \left (-5 x +\frac {1}{2} x^{2}\right )+4 \,{\mathrm e}^{4} {\mathrm e}^{3} \left (x^{3}-5 x^{2}\right )+4 x^{4} {\mathrm e}^{4}+{\mathrm e}^{6} {\mathrm e}^{2 x}\right )\)	\(129\)

[In]

int((2*exp(3)^2*exp(x)^2+((2*x-8)*exp(2)*exp(3)^2+(4*x^2+8*x)*exp(2)*exp(3))*exp(x)+(2*x-10)*exp(2)^2*exp(3)^2
+(12*x^2-40*x)*exp(2)^2*exp(3)+16*x^3*exp(2)^2)/exp(2)^2/exp(3)^2,x,method=_RETURNVERBOSE)

[Out]

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

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (16) = 32\).

Time = 0.48 (sec) , antiderivative size = 56, normalized size of antiderivative = 3.11 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx={\left (4 \, x^{4} + {\left (x^{2} - 10 \, x\right )} e^{6} + 4 \, {\left (x^{3} - 5 \, x^{2}\right )} e^{3} + 2 \, {\left (2 \, x^{2} e + {\left (x - 5\right )} e^{4}\right )} e^{x} + e^{\left (2 \, x + 2\right )}\right )} e^{\left (-6\right )} \]

[In]

integrate((2*exp(3)^2*exp(x)^2+((2*x-8)*exp(2)*exp(3)^2+(4*x^2+8*x)*exp(2)*exp(3))*exp(x)+(2*x-10)*exp(2)^2*ex
p(3)^2+(12*x^2-40*x)*exp(2)^2*exp(3)+16*x^3*exp(2)^2)/exp(2)^2/exp(3)^2,x, algorithm="fricas")

[Out]

(4*x^4 + (x^2 - 10*x)*e^6 + 4*(x^3 - 5*x^2)*e^3 + 2*(2*x^2*e + (x - 5)*e^4)*e^x + e^(2*x + 2))*e^(-6)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 66 vs. \(2 (19) = 38\).

Time = 0.12 (sec) , antiderivative size = 66, normalized size of antiderivative = 3.67 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx=\frac {4 x^{4}}{e^{6}} + \frac {4 x^{3}}{e^{3}} + \frac {x^{2} \left (-20 + e^{3}\right )}{e^{3}} - 10 x + \frac {\left (4 x^{2} e^{4} + 2 x e^{7} - 10 e^{7}\right ) e^{x} + e^{5} e^{2 x}}{e^{9}} \]

[In]

integrate((2*exp(3)**2*exp(x)**2+((2*x-8)*exp(2)*exp(3)**2+(4*x**2+8*x)*exp(2)*exp(3))*exp(x)+(2*x-10)*exp(2)*
*2*exp(3)**2+(12*x**2-40*x)*exp(2)**2*exp(3)+16*x**3*exp(2)**2)/exp(2)**2/exp(3)**2,x)

[Out]

4*x**4*exp(-6) + 4*x**3*exp(-3) + x**2*(-20 + exp(3))*exp(-3) - 10*x + ((4*x**2*exp(4) + 2*x*exp(7) - 10*exp(7
))*exp(x) + exp(5)*exp(2*x))*exp(-9)

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 60 vs. \(2 (16) = 32\).

Time = 0.22 (sec) , antiderivative size = 60, normalized size of antiderivative = 3.33 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx={\left (4 \, x^{4} e^{4} + {\left (x^{2} - 10 \, x\right )} e^{10} + 4 \, {\left (x^{3} - 5 \, x^{2}\right )} e^{7} + 2 \, {\left (2 \, x^{2} e^{5} + x e^{8} - 5 \, e^{8}\right )} e^{x} + e^{\left (2 \, x + 6\right )}\right )} e^{\left (-10\right )} \]

[In]

integrate((2*exp(3)^2*exp(x)^2+((2*x-8)*exp(2)*exp(3)^2+(4*x^2+8*x)*exp(2)*exp(3))*exp(x)+(2*x-10)*exp(2)^2*ex
p(3)^2+(12*x^2-40*x)*exp(2)^2*exp(3)+16*x^3*exp(2)^2)/exp(2)^2/exp(3)^2,x, algorithm="maxima")

[Out]

(4*x^4*e^4 + (x^2 - 10*x)*e^10 + 4*(x^3 - 5*x^2)*e^7 + 2*(2*x^2*e^5 + x*e^8 - 5*e^8)*e^x + e^(2*x + 6))*e^(-10
)

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 58 vs. \(2 (16) = 32\).

Time = 0.28 (sec) , antiderivative size = 58, normalized size of antiderivative = 3.22 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx={\left (4 \, x^{4} e^{4} + 4 \, x^{2} e^{\left (x + 5\right )} + {\left (x^{2} - 10 \, x\right )} e^{10} + 4 \, {\left (x^{3} - 5 \, x^{2}\right )} e^{7} + 2 \, {\left (x - 5\right )} e^{\left (x + 8\right )} + e^{\left (2 \, x + 6\right )}\right )} e^{\left (-10\right )} \]

[In]

integrate((2*exp(3)^2*exp(x)^2+((2*x-8)*exp(2)*exp(3)^2+(4*x^2+8*x)*exp(2)*exp(3))*exp(x)+(2*x-10)*exp(2)^2*ex
p(3)^2+(12*x^2-40*x)*exp(2)^2*exp(3)+16*x^3*exp(2)^2)/exp(2)^2/exp(3)^2,x, algorithm="giac")

[Out]

(4*x^4*e^4 + 4*x^2*e^(x + 5) + (x^2 - 10*x)*e^10 + 4*(x^3 - 5*x^2)*e^7 + 2*(x - 5)*e^(x + 8) + e^(2*x + 6))*e^
(-10)

Mupad [B] (verification not implemented)

Time = 0.13 (sec) , antiderivative size = 57, normalized size of antiderivative = 3.17 \[ \int \frac {2 e^{6+2 x}+16 e^4 x^3+e^{10} (-10+2 x)+e^7 \left (-40 x+12 x^2\right )+e^x \left (e^8 (-8+2 x)+e^5 \left (8 x+4 x^2\right )\right )}{e^{10}} \, dx={\mathrm {e}}^{2\,x-4}-10\,{\mathrm {e}}^{x-2}-10\,x+2\,x\,{\mathrm {e}}^{x-2}-x^2\,\left (20\,{\mathrm {e}}^{-3}-1\right )+4\,x^2\,{\mathrm {e}}^{x-5}+4\,x^3\,{\mathrm {e}}^{-3}+4\,x^4\,{\mathrm {e}}^{-6} \]

[In]

int(exp(-10)*(2*exp(2*x)*exp(6) - exp(7)*(40*x - 12*x^2) + 16*x^3*exp(4) + exp(x)*(exp(5)*(8*x + 4*x^2) + exp(
8)*(2*x - 8)) + exp(10)*(2*x - 10)),x)

[Out]

exp(2*x - 4) - 10*exp(x - 2) - 10*x + 2*x*exp(x - 2) - x^2*(20*exp(-3) - 1) + 4*x^2*exp(x - 5) + 4*x^3*exp(-3)
+ 4*x^4*exp(-6)