3.8.68 \(\int \frac {e^{\frac {5+20 x^2-5 \log (\frac {4+e^{2 x}}{5 x^2})}{x}} (20+80 x^2+e^{2 x} (5-10 x+20 x^2)+(20+5 e^{2 x}) \log (\frac {4+e^{2 x}}{5 x^2}))}{4 x^2+e^{2 x} x^2} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 1.42, antiderivative size = 39, normalized size of antiderivative = 1.26, number of steps used = 1, number of rules used = 1, integrand size = 96, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.010, Rules used = {6706} \begin {gather*} 5^{5/x} e^{\frac {5 \left (4 x^2+1\right )}{x}} \left (\frac {e^{2 x}+4}{x^2}\right )^{-5/x} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(E^((5 + 20*x^2 - 5*Log[(4 + E^(2*x))/(5*x^2)])/x)*(20 + 80*x^2 + E^(2*x)*(5 - 10*x + 20*x^2) + (20 + 5*E^
(2*x))*Log[(4 + E^(2*x))/(5*x^2)]))/(4*x^2 + E^(2*x)*x^2),x]

[Out]

(5^(5/x)*E^((5*(1 + 4*x^2))/x))/((4 + E^(2*x))/x^2)^(5/x)

Rule 6706

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[(q*F^v)/Log[F], x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=5^{5/x} e^{\frac {5 \left (1+4 x^2\right )}{x}} \left (\frac {4+e^{2 x}}{x^2}\right )^{-5/x}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [F]  time = 0.45, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {e^{\frac {5+20 x^2-5 \log \left (\frac {4+e^{2 x}}{5 x^2}\right )}{x}} \left (20+80 x^2+e^{2 x} \left (5-10 x+20 x^2\right )+\left (20+5 e^{2 x}\right ) \log \left (\frac {4+e^{2 x}}{5 x^2}\right )\right )}{4 x^2+e^{2 x} x^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[(E^((5 + 20*x^2 - 5*Log[(4 + E^(2*x))/(5*x^2)])/x)*(20 + 80*x^2 + E^(2*x)*(5 - 10*x + 20*x^2) + (20
+ 5*E^(2*x))*Log[(4 + E^(2*x))/(5*x^2)]))/(4*x^2 + E^(2*x)*x^2),x]

[Out]

Integrate[(E^((5 + 20*x^2 - 5*Log[(4 + E^(2*x))/(5*x^2)])/x)*(20 + 80*x^2 + E^(2*x)*(5 - 10*x + 20*x^2) + (20
+ 5*E^(2*x))*Log[(4 + E^(2*x))/(5*x^2)]))/(4*x^2 + E^(2*x)*x^2), x]

________________________________________________________________________________________

fricas [A]  time = 0.56, size = 27, normalized size = 0.87 \begin {gather*} e^{\left (\frac {5 \, {\left (4 \, x^{2} - \log \left (\frac {e^{\left (2 \, x\right )} + 4}{5 \, x^{2}}\right ) + 1\right )}}{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*exp(x)^2+20)*log(1/5*(exp(x)^2+4)/x^2)+(20*x^2-10*x+5)*exp(x)^2+80*x^2+20)*exp((-5*log(1/5*(exp(
x)^2+4)/x^2)+20*x^2+5)/x)/(exp(x)^2*x^2+4*x^2),x, algorithm="fricas")

[Out]

e^(5*(4*x^2 - log(1/5*(e^(2*x) + 4)/x^2) + 1)/x)

________________________________________________________________________________________

giac [A]  time = 1.02, size = 31, normalized size = 1.00 \begin {gather*} e^{\left (20 \, x - \frac {5 \, \log \left (\frac {e^{\left (2 \, x\right )}}{5 \, x^{2}} + \frac {4}{5 \, x^{2}}\right )}{x} + \frac {5}{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*exp(x)^2+20)*log(1/5*(exp(x)^2+4)/x^2)+(20*x^2-10*x+5)*exp(x)^2+80*x^2+20)*exp((-5*log(1/5*(exp(
x)^2+4)/x^2)+20*x^2+5)/x)/(exp(x)^2*x^2+4*x^2),x, algorithm="giac")

[Out]

e^(20*x - 5*log(1/5*e^(2*x)/x^2 + 4/5/x^2)/x + 5/x)

________________________________________________________________________________________

maple [C]  time = 0.14, size = 188, normalized size = 6.06

method	result	size
risch	\({\mathrm e}^{\frac {-\frac {5 i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}}{2}+5 i \pi \mathrm {csgn}\left (i x^{2}\right )^{2} \mathrm {csgn}\left (i x \right )-\frac {5 i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x \right )^{2}}{2}+\frac {5 i \pi \mathrm {csgn}\left (\frac {i \left ({\mathrm e}^{2 x}+4\right )}{x^{2}}\right )^{3}}{2}-\frac {5 i \pi \mathrm {csgn}\left (\frac {i \left ({\mathrm e}^{2 x}+4\right )}{x^{2}}\right )^{2} \mathrm {csgn}\left (\frac {i}{x^{2}}\right )}{2}-\frac {5 i \pi \mathrm {csgn}\left (\frac {i \left ({\mathrm e}^{2 x}+4\right )}{x^{2}}\right )^{2} \mathrm {csgn}\left (i \left ({\mathrm e}^{2 x}+4\right )\right )}{2}+\frac {5 i \pi \,\mathrm {csgn}\left (\frac {i \left ({\mathrm e}^{2 x}+4\right )}{x^{2}}\right ) \mathrm {csgn}\left (\frac {i}{x^{2}}\right ) \mathrm {csgn}\left (i \left ({\mathrm e}^{2 x}+4\right )\right )}{2}+20 x^{2}+10 \ln \relax (x )+5 \ln \relax (5)-5 \ln \left ({\mathrm e}^{2 x}+4\right )+5}{x}}\)	\(188\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((5*exp(x)^2+20)*ln(1/5*(exp(x)^2+4)/x^2)+(20*x^2-10*x+5)*exp(x)^2+80*x^2+20)*exp((-5*ln(1/5*(exp(x)^2+4)/
x^2)+20*x^2+5)/x)/(exp(x)^2*x^2+4*x^2),x,method=_RETURNVERBOSE)

[Out]

exp(5/2*(-I*Pi*csgn(I*x^2)^3+2*I*Pi*csgn(I*x^2)^2*csgn(I*x)-I*Pi*csgn(I*x^2)*csgn(I*x)^2+I*Pi*csgn(I/x^2*(exp(
2*x)+4))^3-I*Pi*csgn(I/x^2*(exp(2*x)+4))^2*csgn(I/x^2)-I*Pi*csgn(I/x^2*(exp(2*x)+4))^2*csgn(I*(exp(2*x)+4))+I*
Pi*csgn(I/x^2*(exp(2*x)+4))*csgn(I/x^2)*csgn(I*(exp(2*x)+4))+8*x^2+4*ln(x)+2*ln(5)-2*ln(exp(2*x)+4)+2)/x)

________________________________________________________________________________________

maxima [A]  time = 1.02, size = 36, normalized size = 1.16 \begin {gather*} e^{\left (20 \, x + \frac {5 \, \log \relax (5)}{x} + \frac {10 \, \log \relax (x)}{x} - \frac {5 \, \log \left (e^{\left (2 \, x\right )} + 4\right )}{x} + \frac {5}{x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*exp(x)^2+20)*log(1/5*(exp(x)^2+4)/x^2)+(20*x^2-10*x+5)*exp(x)^2+80*x^2+20)*exp((-5*log(1/5*(exp(
x)^2+4)/x^2)+20*x^2+5)/x)/(exp(x)^2*x^2+4*x^2),x, algorithm="maxima")

[Out]

e^(20*x + 5*log(5)/x + 10*log(x)/x - 5*log(e^(2*x) + 4)/x + 5/x)

________________________________________________________________________________________

mupad [B]  time = 0.77, size = 28, normalized size = 0.90 \begin {gather*} {\mathrm {e}}^{20\,x+\frac {5}{x}}\,{\left (\frac {3125\,x^{10}}{{\left ({\mathrm {e}}^{2\,x}+4\right )}^5}\right )}^{1/x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp((20*x^2 - 5*log((exp(2*x)/5 + 4/5)/x^2) + 5)/x)*(exp(2*x)*(20*x^2 - 10*x + 5) + 80*x^2 + log((exp(2*x
)/5 + 4/5)/x^2)*(5*exp(2*x) + 20) + 20))/(x^2*exp(2*x) + 4*x^2),x)

[Out]

exp(20*x + 5/x)*((3125*x^10)/(exp(2*x) + 4)^5)^(1/x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*exp(x)**2+20)*ln(1/5*(exp(x)**2+4)/x**2)+(20*x**2-10*x+5)*exp(x)**2+80*x**2+20)*exp((-5*ln(1/5*(
exp(x)**2+4)/x**2)+20*x**2+5)/x)/(exp(x)**2*x**2+4*x**2),x)

[Out]

Timed out

________________________________________________________________________________________