3.41.55 \(\int \frac {1}{5} e^{\frac {1}{5} (-60+15 e x+15 x^2-(3 e+3 x) \log (x))} (20 x-6 x^2+60 x^3+e (-6 x+30 x^2)-6 x^2 \log (x)) \, dx\)

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

________________________________________________________________________________________

Rubi [B]  time = 0.09, antiderivative size = 71, normalized size of antiderivative = 2.96, number of steps used = 2, number of rules used = 2, integrand size = 64, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.031, Rules used = {12, 2288} \begin {gather*} -\frac {2 e^{-3 \left (-x^2-e x+4\right )} x^{-\frac {3}{5} (x+e)} \left (-10 x^3+x^2+e \left (x-5 x^2\right )+x^2 \log (x)\right )}{10 x-\frac {x+e}{x}-\log (x)+5 e} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(E^((-60 + 15*E*x + 15*x^2 - (3*E + 3*x)*Log[x])/5)*(20*x - 6*x^2 + 60*x^3 + E*(-6*x + 30*x^2) - 6*x^2*Log
[x]))/5,x]

[Out]

(-2*(x^2 - 10*x^3 + E*(x - 5*x^2) + x^2*Log[x]))/(E^(3*(4 - E*x - x^2))*x^((3*(E + x))/5)*(5*E + 10*x - (E + x
)/x - Log[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 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{5} \int \exp \left (\frac {1}{5} \left (-60+15 e x+15 x^2-(3 e+3 x) \log (x)\right )\right ) \left (20 x-6 x^2+60 x^3+e \left (-6 x+30 x^2\right )-6 x^2 \log (x)\right ) \, dx\\ &=-\frac {2 e^{-3 \left (4-e x-x^2\right )} x^{-\frac {3}{5} (e+x)} \left (x^2-10 x^3+e \left (x-5 x^2\right )+x^2 \log (x)\right )}{5 e+10 x-\frac {e+x}{x}-\log (x)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.99, size = 26, normalized size = 1.08 \begin {gather*} 2 e^{-12+3 e x+3 x^2} x^{2-\frac {3 (e+x)}{5}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^((-60 + 15*E*x + 15*x^2 - (3*E + 3*x)*Log[x])/5)*(20*x - 6*x^2 + 60*x^3 + E*(-6*x + 30*x^2) - 6*x
^2*Log[x]))/5,x]

[Out]

2*E^(-12 + 3*E*x + 3*x^2)*x^(2 - (3*(E + x))/5)

________________________________________________________________________________________

fricas [A]  time = 0.64, size = 26, normalized size = 1.08 \begin {gather*} 2 \, x^{2} e^{\left (3 \, x^{2} + 3 \, x e - \frac {3}{5} \, {\left (x + e\right )} \log \relax (x) - 12\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-6*x^2*log(x)+(30*x^2-6*x)*exp(1)+60*x^3-6*x^2+20*x)/exp(1/5*(3*exp(1)+3*x)*log(x)-3*x*exp(1)-3
*x^2+12),x, algorithm="fricas")

[Out]

2*x^2*e^(3*x^2 + 3*x*e - 3/5*(x + e)*log(x) - 12)

________________________________________________________________________________________

giac [A]  time = 0.22, size = 29, normalized size = 1.21 \begin {gather*} 2 \, x^{2} e^{\left (3 \, x^{2} + 3 \, x e - \frac {3}{5} \, x \log \relax (x) - \frac {3}{5} \, e \log \relax (x) - 12\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-6*x^2*log(x)+(30*x^2-6*x)*exp(1)+60*x^3-6*x^2+20*x)/exp(1/5*(3*exp(1)+3*x)*log(x)-3*x*exp(1)-3
*x^2+12),x, algorithm="giac")

[Out]

2*x^2*e^(3*x^2 + 3*x*e - 3/5*x*log(x) - 3/5*e*log(x) - 12)

________________________________________________________________________________________

maple [A]  time = 0.06, size = 31, normalized size = 1.29

method	result	size
risch	\(2 x^{2} x^{-\frac {3 x}{5}-\frac {3 \,{\mathrm e}}{5}} {\mathrm e}^{-12+3 x \,{\mathrm e}+3 x^{2}}\)	\(31\)
norman	\(2 x^{2} {\mathrm e}^{\left (3 \,{\mathrm e}+3 x \right ) \ln \left (\frac {1}{x^{\frac {1}{5}}}\right )+3 x \,{\mathrm e}+3 x^{2}-12}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/5*(-6*x^2*ln(x)+(30*x^2-6*x)*exp(1)+60*x^3-6*x^2+20*x)/exp(1/5*(3*exp(1)+3*x)*ln(x)-3*x*exp(1)-3*x^2+12)
,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.46, size = 29, normalized size = 1.21 \begin {gather*} 2 \, x^{2} e^{\left (3 \, x^{2} + 3 \, x e - \frac {3}{5} \, x \log \relax (x) - \frac {3}{5} \, e \log \relax (x) - 12\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-6*x^2*log(x)+(30*x^2-6*x)*exp(1)+60*x^3-6*x^2+20*x)/exp(1/5*(3*exp(1)+3*x)*log(x)-3*x*exp(1)-3
*x^2+12),x, algorithm="maxima")

[Out]

2*x^2*e^(3*x^2 + 3*x*e - 3/5*x*log(x) - 3/5*e*log(x) - 12)

________________________________________________________________________________________

mupad [B]  time = 3.30, size = 27, normalized size = 1.12 \begin {gather*} 2\,x^{2-\frac {3\,\mathrm {e}}{5}-\frac {3\,x}{5}}\,{\mathrm {e}}^{-12}\,{\mathrm {e}}^{3\,x^2}\,{\mathrm {e}}^{3\,x\,\mathrm {e}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-exp(3*x*exp(1) - (log(x)*(3*x + 3*exp(1)))/5 + 3*x^2 - 12)*((6*x^2*log(x))/5 - 4*x + (exp(1)*(6*x - 30*x^
2))/5 + (6*x^2)/5 - 12*x^3),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.45, size = 34, normalized size = 1.42 \begin {gather*} 2 x^{2} e^{3 x^{2} + 3 e x - \left (\frac {3 x}{5} + \frac {3 e}{5}\right ) \log {\relax (x )} - 12} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-6*x**2*ln(x)+(30*x**2-6*x)*exp(1)+60*x**3-6*x**2+20*x)/exp(1/5*(3*exp(1)+3*x)*ln(x)-3*x*exp(1)
-3*x**2+12),x)

[Out]

2*x**2*exp(3*x**2 + 3*E*x - (3*x/5 + 3*E/5)*log(x) - 12)

________________________________________________________________________________________