3.97.29 \(\int \frac {e^{\frac {1}{16} (e^9-8 e^5 x+16 e x^2)} (-2-e^5 x+4 e x^2)}{5 x^2} \, dx\)

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

________________________________________________________________________________________

Rubi [B]  time = 0.09, antiderivative size = 52, normalized size of antiderivative = 2.17, number of steps used = 2, number of rules used = 2, integrand size = 43, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.047, Rules used = {12, 2288} \begin {gather*} \frac {2 e^{\frac {1}{16} \left (16 e x^2-8 e^5 x+e^9\right )-1} \left (e^5 x-4 e x^2\right )}{5 \left (e^4-4 x\right ) x^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(E^((E^9 - 8*E^5*x + 16*E*x^2)/16)*(-2 - E^5*x + 4*E*x^2))/(5*x^2),x]

[Out]

(2*E^(-1 + (E^9 - 8*E^5*x + 16*E*x^2)/16)*(E^5*x - 4*E*x^2))/(5*(E^4 - 4*x)*x^2)

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 \frac {e^{\frac {1}{16} \left (e^9-8 e^5 x+16 e x^2\right )} \left (-2-e^5 x+4 e x^2\right )}{x^2} \, dx\\ &=\frac {2 e^{-1+\frac {1}{16} \left (e^9-8 e^5 x+16 e x^2\right )} \left (e^5 x-4 e x^2\right )}{5 \left (e^4-4 x\right ) x^2}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.02, size = 23, normalized size = 0.96 \begin {gather*} \frac {2 e^{\frac {1}{16} e \left (e^4-4 x\right )^2}}{5 x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^((E^9 - 8*E^5*x + 16*E*x^2)/16)*(-2 - E^5*x + 4*E*x^2))/(5*x^2),x]

[Out]

(2*E^((E*(E^4 - 4*x)^2)/16))/(5*x)

________________________________________________________________________________________

fricas [A]  time = 0.78, size = 22, normalized size = 0.92 \begin {gather*} \frac {2 \, e^{\left (x^{2} e - \frac {1}{2} \, x e^{5} + \frac {1}{16} \, e^{9}\right )}}{5 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-x*exp(1)*exp(2)^2+4*x^2*exp(1)-2)*exp(1/16*exp(1)*exp(2)^4-1/2*x*exp(1)*exp(2)^2+x^2*exp(1))/x
^2,x, algorithm="fricas")

[Out]

2/5*e^(x^2*e - 1/2*x*e^5 + 1/16*e^9)/x

________________________________________________________________________________________

giac [A]  time = 0.24, size = 22, normalized size = 0.92 \begin {gather*} \frac {2 \, e^{\left (x^{2} e - \frac {1}{2} \, x e^{5} + \frac {1}{16} \, e^{9}\right )}}{5 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-x*exp(1)*exp(2)^2+4*x^2*exp(1)-2)*exp(1/16*exp(1)*exp(2)^4-1/2*x*exp(1)*exp(2)^2+x^2*exp(1))/x
^2,x, algorithm="giac")

[Out]

2/5*e^(x^2*e - 1/2*x*e^5 + 1/16*e^9)/x

________________________________________________________________________________________

maple [A]  time = 0.11, size = 23, normalized size = 0.96

method	result	size
risch	\(\frac {2 \,{\mathrm e}^{\frac {{\mathrm e}^{9}}{16}-\frac {x \,{\mathrm e}^{5}}{2}+x^{2} {\mathrm e}}}{5 x}\)	\(23\)
gosper	\(\frac {2 \,{\mathrm e}^{\frac {{\mathrm e} \,{\mathrm e}^{8}}{16}-\frac {x \,{\mathrm e} \,{\mathrm e}^{4}}{2}+x^{2} {\mathrm e}}}{5 x}\)	\(31\)
norman	\(\frac {2 \,{\mathrm e}^{\frac {{\mathrm e} \,{\mathrm e}^{8}}{16}-\frac {x \,{\mathrm e} \,{\mathrm e}^{4}}{2}+x^{2} {\mathrm e}}}{5 x}\)	\(31\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/5*(-x*exp(1)*exp(2)^2+4*x^2*exp(1)-2)*exp(1/16*exp(1)*exp(2)^4-1/2*x*exp(1)*exp(2)^2+x^2*exp(1))/x^2,x,m
ethod=_RETURNVERBOSE)

[Out]

2/5/x*exp(1/16*exp(9)-1/2*x*exp(5)+x^2*exp(1))

________________________________________________________________________________________

maxima [A]  time = 0.43, size = 22, normalized size = 0.92 \begin {gather*} \frac {2 \, e^{\left (x^{2} e - \frac {1}{2} \, x e^{5} + \frac {1}{16} \, e^{9}\right )}}{5 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-x*exp(1)*exp(2)^2+4*x^2*exp(1)-2)*exp(1/16*exp(1)*exp(2)^4-1/2*x*exp(1)*exp(2)^2+x^2*exp(1))/x
^2,x, algorithm="maxima")

[Out]

2/5*e^(x^2*e - 1/2*x*e^5 + 1/16*e^9)/x

________________________________________________________________________________________

mupad [B]  time = 0.13, size = 23, normalized size = 0.96 \begin {gather*} \frac {2\,{\mathrm {e}}^{x^2\,\mathrm {e}}\,{\mathrm {e}}^{\frac {{\mathrm {e}}^9}{16}}\,{\mathrm {e}}^{-\frac {x\,{\mathrm {e}}^5}{2}}}{5\,x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(exp(9)/16 - (x*exp(5))/2 + x^2*exp(1))*(x*exp(5) - 4*x^2*exp(1) + 2))/(5*x^2),x)

[Out]

(2*exp(x^2*exp(1))*exp(exp(9)/16)*exp(-(x*exp(5))/2))/(5*x)

________________________________________________________________________________________

sympy [A]  time = 0.13, size = 24, normalized size = 1.00 \begin {gather*} \frac {2 e^{e x^{2} - \frac {x e^{5}}{2} + \frac {e^{9}}{16}}}{5 x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/5*(-x*exp(1)*exp(2)**2+4*x**2*exp(1)-2)*exp(1/16*exp(1)*exp(2)**4-1/2*x*exp(1)*exp(2)**2+x**2*exp(
1))/x**2,x)

[Out]

2*exp(E*x**2 - x*exp(5)/2 + exp(9)/16)/(5*x)

________________________________________________________________________________________