\(\int e^{-x} (160 x+1360 x^2+2400 x^3-720 x^4+(240 x^2+880 x^3-240 x^4) \log (3)+(80 x^3-20 x^4) \log ^2(3)) \, dx\) [8933]

Optimal result

Integrand size = 60, antiderivative size = 21 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20 e^{-x} x^2 (-2-x (6+\log (3)))^2 \]

[Out]

20*x^2/exp(x)*(-2-(6+ln(3))*x)^2

Rubi [B] (verified)

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

Time = 0.25 (sec) , antiderivative size = 69, normalized size of antiderivative = 3.29, number of steps used = 41, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.050, Rules used = {2227, 2207, 2225} \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=720 e^{-x} x^4+20 e^{-x} x^4 \log ^2(3)+240 e^{-x} x^4 \log (3)+480 e^{-x} x^3+80 e^{-x} x^3 \log (3)+80 e^{-x} x^2 \]

[In]

Int[(160*x + 1360*x^2 + 2400*x^3 - 720*x^4 + (240*x^2 + 880*x^3 - 240*x^4)*Log[3] + (80*x^3 - 20*x^4)*Log[3]^2
)/E^x,x]

[Out]

(80*x^2)/E^x + (480*x^3)/E^x + (720*x^4)/E^x + (80*x^3*Log[3])/E^x + (240*x^4*Log[3])/E^x + (20*x^4*Log[3]^2)/
E^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}& = \int \left (160 e^{-x} x+1360 e^{-x} x^2+2400 e^{-x} x^3-720 e^{-x} x^4-80 e^{-x} x^2 \left (-3-11 x+3 x^2\right ) \log (3)-20 e^{-x} (-4+x) x^3 \log ^2(3)\right ) \, dx \\ & = 160 \int e^{-x} x \, dx-720 \int e^{-x} x^4 \, dx+1360 \int e^{-x} x^2 \, dx+2400 \int e^{-x} x^3 \, dx-(80 \log (3)) \int e^{-x} x^2 \left (-3-11 x+3 x^2\right ) \, dx-\left (20 \log ^2(3)\right ) \int e^{-x} (-4+x) x^3 \, dx \\ & = -160 e^{-x} x-1360 e^{-x} x^2-2400 e^{-x} x^3+720 e^{-x} x^4+160 \int e^{-x} \, dx+2720 \int e^{-x} x \, dx-2880 \int e^{-x} x^3 \, dx+7200 \int e^{-x} x^2 \, dx-(80 \log (3)) \int \left (-3 e^{-x} x^2-11 e^{-x} x^3+3 e^{-x} x^4\right ) \, dx-\left (20 \log ^2(3)\right ) \int \left (-4 e^{-x} x^3+e^{-x} x^4\right ) \, dx \\ & = -160 e^{-x}-2880 e^{-x} x-8560 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4+2720 \int e^{-x} \, dx-8640 \int e^{-x} x^2 \, dx+14400 \int e^{-x} x \, dx+(240 \log (3)) \int e^{-x} x^2 \, dx-(240 \log (3)) \int e^{-x} x^4 \, dx+(880 \log (3)) \int e^{-x} x^3 \, dx-\left (20 \log ^2(3)\right ) \int e^{-x} x^4 \, dx+\left (80 \log ^2(3)\right ) \int e^{-x} x^3 \, dx \\ & = -2880 e^{-x}-17280 e^{-x} x+80 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4-240 e^{-x} x^2 \log (3)-880 e^{-x} x^3 \log (3)+240 e^{-x} x^4 \log (3)-80 e^{-x} x^3 \log ^2(3)+20 e^{-x} x^4 \log ^2(3)+14400 \int e^{-x} \, dx-17280 \int e^{-x} x \, dx+(480 \log (3)) \int e^{-x} x \, dx-(960 \log (3)) \int e^{-x} x^3 \, dx+(2640 \log (3)) \int e^{-x} x^2 \, dx-\left (80 \log ^2(3)\right ) \int e^{-x} x^3 \, dx+\left (240 \log ^2(3)\right ) \int e^{-x} x^2 \, dx \\ & = -17280 e^{-x}+80 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4-480 e^{-x} x \log (3)-2880 e^{-x} x^2 \log (3)+80 e^{-x} x^3 \log (3)+240 e^{-x} x^4 \log (3)-240 e^{-x} x^2 \log ^2(3)+20 e^{-x} x^4 \log ^2(3)-17280 \int e^{-x} \, dx+(480 \log (3)) \int e^{-x} \, dx-(2880 \log (3)) \int e^{-x} x^2 \, dx+(5280 \log (3)) \int e^{-x} x \, dx-\left (240 \log ^2(3)\right ) \int e^{-x} x^2 \, dx+\left (480 \log ^2(3)\right ) \int e^{-x} x \, dx \\ & = 80 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4-480 e^{-x} \log (3)-5760 e^{-x} x \log (3)+80 e^{-x} x^3 \log (3)+240 e^{-x} x^4 \log (3)-480 e^{-x} x \log ^2(3)+20 e^{-x} x^4 \log ^2(3)+(5280 \log (3)) \int e^{-x} \, dx-(5760 \log (3)) \int e^{-x} x \, dx+\left (480 \log ^2(3)\right ) \int e^{-x} \, dx-\left (480 \log ^2(3)\right ) \int e^{-x} x \, dx \\ & = 80 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4-5760 e^{-x} \log (3)+80 e^{-x} x^3 \log (3)+240 e^{-x} x^4 \log (3)-480 e^{-x} \log ^2(3)+20 e^{-x} x^4 \log ^2(3)-(5760 \log (3)) \int e^{-x} \, dx-\left (480 \log ^2(3)\right ) \int e^{-x} \, dx \\ & = 80 e^{-x} x^2+480 e^{-x} x^3+720 e^{-x} x^4+80 e^{-x} x^3 \log (3)+240 e^{-x} x^4 \log (3)+20 e^{-x} x^4 \log ^2(3) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.72 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.43 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20 e^{-x} x^2 \left (4+x (24+\log (81))+x^2 \left (36+\log ^2(3)+\log (531441)\right )\right ) \]

[In]

Integrate[(160*x + 1360*x^2 + 2400*x^3 - 720*x^4 + (240*x^2 + 880*x^3 - 240*x^4)*Log[3] + (80*x^3 - 20*x^4)*Lo
g[3]^2)/E^x,x]

[Out]

(20*x^2*(4 + x*(24 + Log[81]) + x^2*(36 + Log[3]^2 + Log[531441])))/E^x

Maple [A] (verified)

Time = 0.09 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.81

method	result	size
norman	\(\left (\left (480+80 \ln \left (3\right )\right ) x^{3}+\left (20 \ln \left (3\right )^{2}+240 \ln \left (3\right )+720\right ) x^{4}+80 x^{2}\right ) {\mathrm e}^{-x}\)	\(38\)
gosper	\(20 \left (x^{2} \ln \left (3\right )^{2}+12 x^{2} \ln \left (3\right )+4 x \ln \left (3\right )+36 x^{2}+24 x +4\right ) x^{2} {\mathrm e}^{-x}\)	\(40\)
risch	\(\left (20 x^{4} \ln \left (3\right )^{2}+240 x^{4} \ln \left (3\right )+80 x^{3} \ln \left (3\right )+720 x^{4}+480 x^{3}+80 x^{2}\right ) {\mathrm e}^{-x}\)	\(45\)
parallelrisch	\(\left (20 x^{4} \ln \left (3\right )^{2}+240 x^{4} \ln \left (3\right )+80 x^{3} \ln \left (3\right )+720 x^{4}+480 x^{3}+80 x^{2}\right ) {\mathrm e}^{-x}\)	\(45\)
meijerg	\(\left (-20 \ln \left (3\right )^{2}-240 \ln \left (3\right )-720\right ) \left (24-\frac {\left (5 x^{4}+20 x^{3}+60 x^{2}+120 x +120\right ) {\mathrm e}^{-x}}{5}\right )+\left (80 \ln \left (3\right )^{2}+880 \ln \left (3\right )+2400\right ) \left (6-\frac {\left (4 x^{3}+12 x^{2}+24 x +24\right ) {\mathrm e}^{-x}}{4}\right )+\left (240 \ln \left (3\right )+1360\right ) \left (2-\frac {\left (3 x^{2}+6 x +6\right ) {\mathrm e}^{-x}}{3}\right )+160-80 \left (2+2 x \right ) {\mathrm e}^{-x}\)	\(116\)
default	\(80 x^{2} {\mathrm e}^{-x}+480 x^{3} {\mathrm e}^{-x}+720 x^{4} {\mathrm e}^{-x}+240 \ln \left (3\right ) \left (-x^{2} {\mathrm e}^{-x}-2 x \,{\mathrm e}^{-x}-2 \,{\mathrm e}^{-x}\right )+880 \ln \left (3\right ) \left (-x^{3} {\mathrm e}^{-x}-3 x^{2} {\mathrm e}^{-x}-6 x \,{\mathrm e}^{-x}-6 \,{\mathrm e}^{-x}\right )+80 \ln \left (3\right )^{2} \left (-x^{3} {\mathrm e}^{-x}-3 x^{2} {\mathrm e}^{-x}-6 x \,{\mathrm e}^{-x}-6 \,{\mathrm e}^{-x}\right )-240 \ln \left (3\right ) \left (-x^{4} {\mathrm e}^{-x}-4 x^{3} {\mathrm e}^{-x}-12 x^{2} {\mathrm e}^{-x}-24 x \,{\mathrm e}^{-x}-24 \,{\mathrm e}^{-x}\right )-20 \ln \left (3\right )^{2} \left (-x^{4} {\mathrm e}^{-x}-4 x^{3} {\mathrm e}^{-x}-12 x^{2} {\mathrm e}^{-x}-24 x \,{\mathrm e}^{-x}-24 \,{\mathrm e}^{-x}\right )\)	\(222\)

[In]

int(((-20*x^4+80*x^3)*ln(3)^2+(-240*x^4+880*x^3+240*x^2)*ln(3)-720*x^4+2400*x^3+1360*x^2+160*x)/exp(x),x,metho
d=_RETURNVERBOSE)

[Out]

((480+80*ln(3))*x^3+(20*ln(3)^2+240*ln(3)+720)*x^4+80*x^2)/exp(x)

Fricas [B] (verification not implemented)

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

Time = 0.25 (sec) , antiderivative size = 43, normalized size of antiderivative = 2.05 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20 \, {\left (x^{4} \log \left (3\right )^{2} + 36 \, x^{4} + 24 \, x^{3} + 4 \, x^{2} + 4 \, {\left (3 \, x^{4} + x^{3}\right )} \log \left (3\right )\right )} e^{\left (-x\right )} \]

[In]

integrate(((-20*x^4+80*x^3)*log(3)^2+(-240*x^4+880*x^3+240*x^2)*log(3)-720*x^4+2400*x^3+1360*x^2+160*x)/exp(x)
,x, algorithm="fricas")

[Out]

20*(x^4*log(3)^2 + 36*x^4 + 24*x^3 + 4*x^2 + 4*(3*x^4 + x^3)*log(3))*e^(-x)

Sympy [B] (verification not implemented)

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

Time = 0.07 (sec) , antiderivative size = 44, normalized size of antiderivative = 2.10 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=\left (20 x^{4} \log {\left (3 \right )}^{2} + 240 x^{4} \log {\left (3 \right )} + 720 x^{4} + 80 x^{3} \log {\left (3 \right )} + 480 x^{3} + 80 x^{2}\right ) e^{- x} \]

[In]

integrate(((-20*x**4+80*x**3)*ln(3)**2+(-240*x**4+880*x**3+240*x**2)*ln(3)-720*x**4+2400*x**3+1360*x**2+160*x)
/exp(x),x)

[Out]

(20*x**4*log(3)**2 + 240*x**4*log(3) + 720*x**4 + 80*x**3*log(3) + 480*x**3 + 80*x**2)*exp(-x)

Maxima [B] (verification not implemented)

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

Time = 0.21 (sec) , antiderivative size = 181, normalized size of antiderivative = 8.62 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20 \, {\left (x^{4} + 4 \, x^{3} + 12 \, x^{2} + 24 \, x + 24\right )} e^{\left (-x\right )} \log \left (3\right )^{2} - 80 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x + 6\right )} e^{\left (-x\right )} \log \left (3\right )^{2} + 240 \, {\left (x^{4} + 4 \, x^{3} + 12 \, x^{2} + 24 \, x + 24\right )} e^{\left (-x\right )} \log \left (3\right ) - 880 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x + 6\right )} e^{\left (-x\right )} \log \left (3\right ) - 240 \, {\left (x^{2} + 2 \, x + 2\right )} e^{\left (-x\right )} \log \left (3\right ) + 720 \, {\left (x^{4} + 4 \, x^{3} + 12 \, x^{2} + 24 \, x + 24\right )} e^{\left (-x\right )} - 2400 \, {\left (x^{3} + 3 \, x^{2} + 6 \, x + 6\right )} e^{\left (-x\right )} - 1360 \, {\left (x^{2} + 2 \, x + 2\right )} e^{\left (-x\right )} - 160 \, {\left (x + 1\right )} e^{\left (-x\right )} \]

[In]

integrate(((-20*x^4+80*x^3)*log(3)^2+(-240*x^4+880*x^3+240*x^2)*log(3)-720*x^4+2400*x^3+1360*x^2+160*x)/exp(x)
,x, algorithm="maxima")

[Out]

20*(x^4 + 4*x^3 + 12*x^2 + 24*x + 24)*e^(-x)*log(3)^2 - 80*(x^3 + 3*x^2 + 6*x + 6)*e^(-x)*log(3)^2 + 240*(x^4
+ 4*x^3 + 12*x^2 + 24*x + 24)*e^(-x)*log(3) - 880*(x^3 + 3*x^2 + 6*x + 6)*e^(-x)*log(3) - 240*(x^2 + 2*x + 2)*
e^(-x)*log(3) + 720*(x^4 + 4*x^3 + 12*x^2 + 24*x + 24)*e^(-x) - 2400*(x^3 + 3*x^2 + 6*x + 6)*e^(-x) - 1360*(x^
2 + 2*x + 2)*e^(-x) - 160*(x + 1)*e^(-x)

Giac [B] (verification not implemented)

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

Time = 0.26 (sec) , antiderivative size = 44, normalized size of antiderivative = 2.10 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20 \, {\left (x^{4} \log \left (3\right )^{2} + 12 \, x^{4} \log \left (3\right ) + 36 \, x^{4} + 4 \, x^{3} \log \left (3\right ) + 24 \, x^{3} + 4 \, x^{2}\right )} e^{\left (-x\right )} \]

[In]

integrate(((-20*x^4+80*x^3)*log(3)^2+(-240*x^4+880*x^3+240*x^2)*log(3)-720*x^4+2400*x^3+1360*x^2+160*x)/exp(x)
,x, algorithm="giac")

[Out]

20*(x^4*log(3)^2 + 12*x^4*log(3) + 36*x^4 + 4*x^3*log(3) + 24*x^3 + 4*x^2)*e^(-x)

Mupad [B] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.95 \[ \int e^{-x} \left (160 x+1360 x^2+2400 x^3-720 x^4+\left (240 x^2+880 x^3-240 x^4\right ) \log (3)+\left (80 x^3-20 x^4\right ) \log ^2(3)\right ) \, dx=20\,x^2\,{\mathrm {e}}^{-x}\,{\left (6\,x+x\,\ln \left (3\right )+2\right )}^2 \]

[In]

int(exp(-x)*(160*x + log(3)*(240*x^2 + 880*x^3 - 240*x^4) + 1360*x^2 + 2400*x^3 - 720*x^4 + log(3)^2*(80*x^3 -
20*x^4)),x)

[Out]

20*x^2*exp(-x)*(6*x + x*log(3) + 2)^2