3.65.84 \(\int \frac {-48+8 x^2 \log (16)+x^4 \log ^2(16)}{x^4 \log ^2(16)} \, dx\)

Optimal. Leaf size=19 \[ \frac {\left (-x+\frac {4}{x \log (16)}\right )^2}{x} \]

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 20, normalized size of antiderivative = 1.05, number of steps used = 3, number of rules used = 2, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.080, Rules used = {12, 14} \begin {gather*} \frac {16}{x^3 \log ^2(16)}+x-\frac {8}{x \log (16)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-48 + 8*x^2*Log[16] + x^4*Log[16]^2)/(x^4*Log[16]^2),x]

[Out]

x + 16/(x^3*Log[16]^2) - 8/(x*Log[16])

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]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {-48+8 x^2 \log (16)+x^4 \log ^2(16)}{x^4} \, dx}{\log ^2(16)}\\ &=\frac {\int \left (-\frac {48}{x^4}+\frac {8 \log (16)}{x^2}+\log ^2(16)\right ) \, dx}{\log ^2(16)}\\ &=x+\frac {16}{x^3 \log ^2(16)}-\frac {8}{x \log (16)}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 20, normalized size = 1.05 \begin {gather*} x+\frac {16}{x^3 \log ^2(16)}-\frac {8}{x \log (16)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-48 + 8*x^2*Log[16] + x^4*Log[16]^2)/(x^4*Log[16]^2),x]

[Out]

x + 16/(x^3*Log[16]^2) - 8/(x*Log[16])

________________________________________________________________________________________

fricas [A]  time = 0.93, size = 25, normalized size = 1.32 \begin {gather*} \frac {x^{4} \log \relax (2)^{2} - 2 \, x^{2} \log \relax (2) + 1}{x^{3} \log \relax (2)^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/16*(16*x^4*log(2)^2+32*x^2*log(2)-48)/x^4/log(2)^2,x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.13, size = 26, normalized size = 1.37 \begin {gather*} \frac {x \log \relax (2)^{2} - \frac {2 \, x^{2} \log \relax (2) - 1}{x^{3}}}{\log \relax (2)^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/16*(16*x^4*log(2)^2+32*x^2*log(2)-48)/x^4/log(2)^2,x, algorithm="giac")

[Out]

(x*log(2)^2 - (2*x^2*log(2) - 1)/x^3)/log(2)^2

________________________________________________________________________________________

maple [A]  time = 0.08, size = 21, normalized size = 1.11

method	result	size
risch	\(x +\frac {-32 x^{2} \ln \relax (2)+16}{16 \ln \relax (2)^{2} x^{3}}\)	\(21\)
default	\(\frac {x \ln \relax (2)^{2}-\frac {2 \ln \relax (2)}{x}+\frac {1}{x^{3}}}{\ln \relax (2)^{2}}\)	\(23\)
norman	\(\frac {\frac {1}{\ln \relax (2)}+x^{4} \ln \relax (2)-2 x^{2}}{x^{3} \ln \relax (2)}\)	\(25\)
gosper	\(\frac {x^{4} \ln \relax (2)^{2}+1-2 x^{2} \ln \relax (2)}{x^{3} \ln \relax (2)^{2}}\)	\(26\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/16*(16*x^4*ln(2)^2+32*x^2*ln(2)-48)/x^4/ln(2)^2,x,method=_RETURNVERBOSE)

[Out]

x+1/16/ln(2)^2*(-32*x^2*ln(2)+16)/x^3

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 26, normalized size = 1.37 \begin {gather*} \frac {x \log \relax (2)^{2} - \frac {2 \, x^{2} \log \relax (2) - 1}{x^{3}}}{\log \relax (2)^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/16*(16*x^4*log(2)^2+32*x^2*log(2)-48)/x^4/log(2)^2,x, algorithm="maxima")

[Out]

(x*log(2)^2 - (2*x^2*log(2) - 1)/x^3)/log(2)^2

________________________________________________________________________________________

mupad [B]  time = 0.05, size = 18, normalized size = 0.95 \begin {gather*} \frac {{\left (x^2\,\ln \relax (2)-1\right )}^2}{x^3\,{\ln \relax (2)}^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^4*log(2)^2 + 2*x^2*log(2) - 3)/(x^4*log(2)^2),x)

[Out]

(x^2*log(2) - 1)^2/(x^3*log(2)^2)

________________________________________________________________________________________

sympy [B]  time = 0.11, size = 24, normalized size = 1.26 \begin {gather*} \frac {x \log {\relax (2 )}^{2} + \frac {- 2 x^{2} \log {\relax (2 )} + 1}{x^{3}}}{\log {\relax (2 )}^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/16*(16*x**4*ln(2)**2+32*x**2*ln(2)-48)/x**4/ln(2)**2,x)

[Out]

(x*log(2)**2 + (-2*x**2*log(2) + 1)/x**3)/log(2)**2

________________________________________________________________________________________