3.82.92 \(\int \frac {4+100 x^2-\log (\frac {1}{5} e^{50 x^2} x^4)}{4 x^2} \, dx\)

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

________________________________________________________________________________________

Rubi [A]  time = 0.04, antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 3, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.097, Rules used = {12, 14, 2551} \begin {gather*} \frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{4 x} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(4 + 100*x^2 - Log[(E^(50*x^2)*x^4)/5])/(4*x^2),x]

[Out]

Log[(E^(50*x^2)*x^4)/5]/(4*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 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 2551

Int[Log[u_]*((a_.) + (b_.)*(x_))^(m_.), x_Symbol] :> Simp[((a + b*x)^(m + 1)*Log[u])/(b*(m + 1)), x] - Dist[1/
(b*(m + 1)), Int[SimplifyIntegrand[((a + b*x)^(m + 1)*D[u, x])/u, x], x], x] /; FreeQ[{a, b, m}, x] && Inverse
FunctionFreeQ[u, x] && NeQ[m, -1]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{4} \int \frac {4+100 x^2-\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{x^2} \, dx\\ &=\frac {1}{4} \int \left (\frac {4 \left (1+25 x^2\right )}{x^2}-\frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{x^2}\right ) \, dx\\ &=-\left (\frac {1}{4} \int \frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{x^2} \, dx\right )+\int \frac {1+25 x^2}{x^2} \, dx\\ &=\frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{4 x}-\frac {1}{4} \int 4 \left (25+\frac {1}{x^2}\right ) \, dx+\int \left (25+\frac {1}{x^2}\right ) \, dx\\ &=-\frac {1}{x}+25 x+\frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{4 x}-\int \left (25+\frac {1}{x^2}\right ) \, dx\\ &=\frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{4 x}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 22, normalized size = 1.00 \begin {gather*} \frac {\log \left (\frac {1}{5} e^{50 x^2} x^4\right )}{4 x} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(4 + 100*x^2 - Log[(E^(50*x^2)*x^4)/5])/(4*x^2),x]

[Out]

Log[(E^(50*x^2)*x^4)/5]/(4*x)

________________________________________________________________________________________

fricas [A]  time = 0.69, size = 17, normalized size = 0.77 \begin {gather*} \frac {\log \left (\frac {1}{5} \, x^{4} e^{\left (50 \, x^{2}\right )}\right )}{4 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.14, size = 15, normalized size = 0.68 \begin {gather*} \frac {25}{2} \, x + \frac {\log \left (\frac {1}{5} \, x^{4}\right )}{4 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.12, size = 18, normalized size = 0.82

method	result	size
default	\(\frac {\ln \left (\frac {x^{4} {\mathrm e}^{50 x^{2}}}{5}\right )}{4 x}\)	\(18\)
norman	\(\frac {\ln \left (\frac {x^{4} {\mathrm e}^{50 x^{2}}}{5}\right )}{4 x}\)	\(18\)
risch	\(\frac {\ln \left ({\mathrm e}^{50 x^{2}}\right )}{4 x}-\frac {-i \pi \,\mathrm {csgn}\left (i {\mathrm e}^{50 x^{2}}\right ) \mathrm {csgn}\left (i x^{4} {\mathrm e}^{50 x^{2}}\right )^{2}+i \pi \mathrm {csgn}\left (i x^{4}\right )^{3}+i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )-i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{4}\right )^{2}+i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}+i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x \right )^{2}-i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )^{2}+i \pi \mathrm {csgn}\left (i x^{3}\right )^{3}+i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{3}\right ) \mathrm {csgn}\left (i x^{4}\right )+i \pi \mathrm {csgn}\left (i x^{4} {\mathrm e}^{50 x^{2}}\right )^{3}-2 i \pi \mathrm {csgn}\left (i x^{2}\right )^{2} \mathrm {csgn}\left (i x \right )-i \pi \mathrm {csgn}\left (i x^{4} {\mathrm e}^{50 x^{2}}\right )^{2} \mathrm {csgn}\left (i x^{4}\right )+i \pi \,\mathrm {csgn}\left (i {\mathrm e}^{50 x^{2}}\right ) \mathrm {csgn}\left (i x^{4} {\mathrm e}^{50 x^{2}}\right ) \mathrm {csgn}\left (i x^{4}\right )-i \pi \,\mathrm {csgn}\left (i x^{3}\right ) \mathrm {csgn}\left (i x^{4}\right )^{2}-i \pi \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{3}\right )^{2}+2 \ln \relax (5)-8 \ln \relax (x )}{8 x}\)	\(333\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/4*(-ln(1/5*x^4*exp(50*x^2))+100*x^2+4)/x^2,x,method=_RETURNVERBOSE)

[Out]

1/4/x*ln(1/5*x^4*exp(50*x^2))

________________________________________________________________________________________

maxima [B]  time = 0.38, size = 38, normalized size = 1.73 \begin {gather*} 25 \, x - \frac {25 \, x^{2} - 1}{x} + \frac {\log \left (\frac {1}{5} \, x^{4} e^{\left (50 \, x^{2}\right )}\right )}{4 \, x} - \frac {1}{x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 5.16, size = 15, normalized size = 0.68 \begin {gather*} \frac {25\,x}{2}+\frac {\ln \left (\frac {x^4}{5}\right )}{4\,x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((25*x^2 - log((x^4*exp(50*x^2))/5)/4 + 1)/x^2,x)

[Out]

(25*x)/2 + log(x^4/5)/(4*x)

________________________________________________________________________________________

sympy [A]  time = 0.29, size = 15, normalized size = 0.68 \begin {gather*} \frac {\log {\left (\frac {x^{4} e^{50 x^{2}}}{5} \right )}}{4 x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/4*(-ln(1/5*x**4*exp(50*x**2))+100*x**2+4)/x**2,x)

[Out]

log(x**4*exp(50*x**2)/5)/(4*x)

________________________________________________________________________________________