3.80.47 \(\int \frac {2+56 x^2+6 x^3+(-4+6 x^3) \log (x)}{x^3} \, dx\)

Optimal. Leaf size=14 \[ 2 \left (4+\frac {1}{x^2}+3 (8+x)\right ) \log (x) \]

________________________________________________________________________________________

Rubi [A]  time = 0.05, antiderivative size = 16, normalized size of antiderivative = 1.14, number of steps used = 6, number of rules used = 2, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {14, 2334} \begin {gather*} 2 \left (\frac {1}{x^2}+3 x\right ) \log (x)+56 \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(2 + 56*x^2 + 6*x^3 + (-4 + 6*x^3)*Log[x])/x^3,x]

[Out]

56*Log[x] + 2*(x^(-2) + 3*x)*Log[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 2334

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*(x_)^(m_.)*((d_) + (e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> With[{u = I
ntHide[x^m*(d + e*x^r)^q, x]}, Simp[u*(a + b*Log[c*x^n]), x] - Dist[b*n, Int[SimplifyIntegrand[u/x, x], x], x]
] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[q, 0] && IntegerQ[m] &&  !(EqQ[q, 1] && EqQ[m, -1])

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {2 \left (1+28 x^2+3 x^3\right )}{x^3}+\frac {2 \left (-2+3 x^3\right ) \log (x)}{x^3}\right ) \, dx\\ &=2 \int \frac {1+28 x^2+3 x^3}{x^3} \, dx+2 \int \frac {\left (-2+3 x^3\right ) \log (x)}{x^3} \, dx\\ &=2 \left (\frac {1}{x^2}+3 x\right ) \log (x)-2 \int \left (3+\frac {1}{x^3}\right ) \, dx+2 \int \left (3+\frac {1}{x^3}+\frac {28}{x}\right ) \, dx\\ &=56 \log (x)+2 \left (\frac {1}{x^2}+3 x\right ) \log (x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 17, normalized size = 1.21 \begin {gather*} 56 \log (x)+\frac {2 \log (x)}{x^2}+6 x \log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(2 + 56*x^2 + 6*x^3 + (-4 + 6*x^3)*Log[x])/x^3,x]

[Out]

56*Log[x] + (2*Log[x])/x^2 + 6*x*Log[x]

________________________________________________________________________________________

fricas [A]  time = 0.71, size = 19, normalized size = 1.36 \begin {gather*} \frac {2 \, {\left (3 \, x^{3} + 28 \, x^{2} + 1\right )} \log \relax (x)}{x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((6*x^3-4)*log(x)+6*x^3+56*x^2+2)/x^3,x, algorithm="fricas")

[Out]

2*(3*x^3 + 28*x^2 + 1)*log(x)/x^2

________________________________________________________________________________________

giac [A]  time = 0.16, size = 16, normalized size = 1.14 \begin {gather*} 2 \, {\left (3 \, x + \frac {1}{x^{2}}\right )} \log \relax (x) + 56 \, \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((6*x^3-4)*log(x)+6*x^3+56*x^2+2)/x^3,x, algorithm="giac")

[Out]

2*(3*x + 1/x^2)*log(x) + 56*log(x)

________________________________________________________________________________________

maple [A]  time = 0.02, size = 18, normalized size = 1.29

method	result	size
default	\(6 x \ln \relax (x )+56 \ln \relax (x )+\frac {2 \ln \relax (x )}{x^{2}}\)	\(18\)
risch	\(\frac {2 \left (3 x^{3}+1\right ) \ln \relax (x )}{x^{2}}+56 \ln \relax (x )\)	\(20\)
norman	\(\frac {56 x^{2} \ln \relax (x )+6 x^{3} \ln \relax (x )+2 \ln \relax (x )}{x^{2}}\)	\(24\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((6*x^3-4)*ln(x)+6*x^3+56*x^2+2)/x^3,x,method=_RETURNVERBOSE)

[Out]

6*x*ln(x)+56*ln(x)+2*ln(x)/x^2

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 17, normalized size = 1.21 \begin {gather*} 6 \, x \log \relax (x) + \frac {2 \, \log \relax (x)}{x^{2}} + 56 \, \log \relax (x) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((6*x^3-4)*log(x)+6*x^3+56*x^2+2)/x^3,x, algorithm="maxima")

[Out]

6*x*log(x) + 2*log(x)/x^2 + 56*log(x)

________________________________________________________________________________________

mupad [B]  time = 5.30, size = 19, normalized size = 1.36 \begin {gather*} \frac {2\,\ln \relax (x)\,\left (3\,x^3+28\,x^2+1\right )}{x^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(2*log(x)*(28*x^2 + 3*x^3 + 1))/x^2

________________________________________________________________________________________

sympy [A]  time = 0.12, size = 17, normalized size = 1.21 \begin {gather*} 56 \log {\relax (x )} + \frac {\left (6 x^{3} + 2\right ) \log {\relax (x )}}{x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((6*x**3-4)*ln(x)+6*x**3+56*x**2+2)/x**3,x)

[Out]

56*log(x) + (6*x**3 + 2)*log(x)/x**2

________________________________________________________________________________________