\(\int \frac {-36 x+13 x^2-x^3+(640-340 x+40 x^2) \log (x)+(320-160 x+20 x^2) \log (4 x^2)}{16 x-8 x^2+x^3} \, dx\) [5503]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [F]
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 59, antiderivative size = 27 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=5-x-5 \log (x) \left (\frac {x}{4-x}-4 \log \left (4 x^2\right )\right ) \]

[Out]

5-x-ln(x)*(5*x/(-x+4)-20*ln(4*x^2))

Rubi [A] (verified)

Time = 0.22 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.19, number of steps used = 14, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.136, Rules used = {1608, 27, 6874, 45, 2404, 2351, 31, 2338} \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=5 \log ^2\left (4 x^2\right )-x+20 \log ^2(x)-\frac {5 x \log (x)}{4-x} \]

[In]

Int[(-36*x + 13*x^2 - x^3 + (640 - 340*x + 40*x^2)*Log[x] + (320 - 160*x + 20*x^2)*Log[4*x^2])/(16*x - 8*x^2 +
 x^3),x]

[Out]

-x - (5*x*Log[x])/(4 - x) + 20*Log[x]^2 + 5*Log[4*x^2]^2

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 45

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rule 1608

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.) + (c_.)*(x_)^(r_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^
(q - p) + c*x^(r - p))^n, x] /; FreeQ[{a, b, c, p, q, r}, x] && IntegerQ[n] && PosQ[q - p] && PosQ[r - p]

Rule 2338

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2351

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

Rule 2404

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[(a + b*Log[c*x^
n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, n}, x] && RationalFunctionQ[RFx, x] && IGtQ[p, 0]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps \begin{align*} \text {integral}& = \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{x \left (16-8 x+x^2\right )} \, dx \\ & = \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{(-4+x)^2 x} \, dx \\ & = \int \left (-\frac {36}{(-4+x)^2}+\frac {13 x}{(-4+x)^2}-\frac {x^2}{(-4+x)^2}+\frac {20 \left (32-17 x+2 x^2\right ) \log (x)}{(-4+x)^2 x}+\frac {20 \log \left (4 x^2\right )}{x}\right ) \, dx \\ & = -\frac {36}{4-x}+13 \int \frac {x}{(-4+x)^2} \, dx+20 \int \frac {\left (32-17 x+2 x^2\right ) \log (x)}{(-4+x)^2 x} \, dx+20 \int \frac {\log \left (4 x^2\right )}{x} \, dx-\int \frac {x^2}{(-4+x)^2} \, dx \\ & = -\frac {36}{4-x}+5 \log ^2\left (4 x^2\right )+13 \int \left (\frac {4}{(-4+x)^2}+\frac {1}{-4+x}\right ) \, dx+20 \int \left (-\frac {\log (x)}{(-4+x)^2}+\frac {2 \log (x)}{x}\right ) \, dx-\int \left (1+\frac {16}{(-4+x)^2}+\frac {8}{-4+x}\right ) \, dx \\ & = -x+5 \log (4-x)+5 \log ^2\left (4 x^2\right )-20 \int \frac {\log (x)}{(-4+x)^2} \, dx+40 \int \frac {\log (x)}{x} \, dx \\ & = -x+5 \log (4-x)-\frac {5 x \log (x)}{4-x}+20 \log ^2(x)+5 \log ^2\left (4 x^2\right )-5 \int \frac {1}{-4+x} \, dx \\ & = -x-\frac {5 x \log (x)}{4-x}+20 \log ^2(x)+5 \log ^2\left (4 x^2\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.08 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.11 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=-x+\frac {5 x \log (x)}{-4+x}+20 \log ^2(x)+5 \log ^2\left (4 x^2\right ) \]

[In]

Integrate[(-36*x + 13*x^2 - x^3 + (640 - 340*x + 40*x^2)*Log[x] + (320 - 160*x + 20*x^2)*Log[4*x^2])/(16*x - 8
*x^2 + x^3),x]

[Out]

-x + (5*x*Log[x])/(-4 + x) + 20*Log[x]^2 + 5*Log[4*x^2]^2

Maple [A] (verified)

Time = 0.16 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.15

method result size
parts \(5 \ln \left (4 x^{2}\right )^{2}-x +20 \ln \left (x \right )^{2}+\frac {5 \ln \left (x \right ) x}{x -4}\) \(31\)
default \(-x +40 \ln \left (2\right ) \ln \left (x \right )+5 \ln \left (x^{2}\right )^{2}+20 \ln \left (x \right )^{2}+\frac {5 \ln \left (x \right ) x}{x -4}\) \(35\)
parallelrisch \(\frac {16+20 x \ln \left (x \right ) \ln \left (4 x^{2}\right )-x^{2}+5 x \ln \left (x \right )-80 \ln \left (x \right ) \ln \left (4 x^{2}\right )}{x -4}\) \(40\)
norman \(\frac {20 \ln \left (x \right )-10 \ln \left (4 x^{2}\right )-80 \ln \left (x \right ) \ln \left (4 x^{2}\right )+\frac {5 x \ln \left (4 x^{2}\right )}{2}+20 x \ln \left (x \right ) \ln \left (4 x^{2}\right )-x^{2}+16}{x -4}\) \(56\)
risch \(40 \ln \left (x \right )^{2}+\frac {20 \ln \left (x \right )}{x -4}-x -10 i \ln \left (x \right ) \pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )+20 i \pi \ln \left (x \right ) \operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}-10 i \pi \ln \left (x \right ) \operatorname {csgn}\left (i x^{2}\right )^{3}+40 \ln \left (2\right ) \ln \left (x \right )+5 \ln \left (x \right )\) \(85\)

[In]

int(((20*x^2-160*x+320)*ln(4*x^2)+(40*x^2-340*x+640)*ln(x)-x^3+13*x^2-36*x)/(x^3-8*x^2+16*x),x,method=_RETURNV
ERBOSE)

[Out]

5*ln(4*x^2)^2-x+20*ln(x)^2+5*ln(x)*x/(x-4)

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.37 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=\frac {40 \, {\left (x - 4\right )} \log \left (x\right )^{2} - x^{2} + 5 \, {\left (8 \, {\left (x - 4\right )} \log \left (2\right ) + x\right )} \log \left (x\right ) + 4 \, x}{x - 4} \]

[In]

integrate(((20*x^2-160*x+320)*log(4*x^2)+(40*x^2-340*x+640)*log(x)-x^3+13*x^2-36*x)/(x^3-8*x^2+16*x),x, algori
thm="fricas")

[Out]

(40*(x - 4)*log(x)^2 - x^2 + 5*(8*(x - 4)*log(2) + x)*log(x) + 4*x)/(x - 4)

Sympy [A] (verification not implemented)

Time = 0.13 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.00 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=- x + 40 \log {\left (x \right )}^{2} + 5 \cdot \left (1 + 8 \log {\left (2 \right )}\right ) \log {\left (x \right )} + \frac {20 \log {\left (x \right )}}{x - 4} \]

[In]

integrate(((20*x**2-160*x+320)*ln(4*x**2)+(40*x**2-340*x+640)*ln(x)-x**3+13*x**2-36*x)/(x**3-8*x**2+16*x),x)

[Out]

-x + 40*log(x)**2 + 5*(1 + 8*log(2))*log(x) + 20*log(x)/(x - 4)

Maxima [A] (verification not implemented)

none

Time = 0.31 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.22 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=5 \, {\left (8 \, \log \left (2\right ) + 1\right )} \log \left (x\right ) - x + \frac {20 \, {\left (2 \, {\left (x - 4\right )} \log \left (x\right )^{2} + \log \left (x\right )\right )}}{x - 4} \]

[In]

integrate(((20*x^2-160*x+320)*log(4*x^2)+(40*x^2-340*x+640)*log(x)-x^3+13*x^2-36*x)/(x^3-8*x^2+16*x),x, algori
thm="maxima")

[Out]

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

Giac [F]

\[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=\int { -\frac {x^{3} - 13 \, x^{2} - 20 \, {\left (x^{2} - 8 \, x + 16\right )} \log \left (4 \, x^{2}\right ) - 20 \, {\left (2 \, x^{2} - 17 \, x + 32\right )} \log \left (x\right ) + 36 \, x}{x^{3} - 8 \, x^{2} + 16 \, x} \,d x } \]

[In]

integrate(((20*x^2-160*x+320)*log(4*x^2)+(40*x^2-340*x+640)*log(x)-x^3+13*x^2-36*x)/(x^3-8*x^2+16*x),x, algori
thm="giac")

[Out]

integrate(-(x^3 - 13*x^2 - 20*(x^2 - 8*x + 16)*log(4*x^2) - 20*(2*x^2 - 17*x + 32)*log(x) + 36*x)/(x^3 - 8*x^2
 + 16*x), x)

Mupad [B] (verification not implemented)

Time = 12.38 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.56 \[ \int \frac {-36 x+13 x^2-x^3+\left (640-340 x+40 x^2\right ) \log (x)+\left (320-160 x+20 x^2\right ) \log \left (4 x^2\right )}{16 x-8 x^2+x^3} \, dx=5\,\ln \left (x\right )-x+20\,\ln \left (x^2\right )\,\ln \left (x\right )+40\,\ln \left (2\right )\,\ln \left (x\right )-\frac {20\,x^2\,\ln \left (x\right )}{4\,x^2-x^3} \]

[In]

int((log(4*x^2)*(20*x^2 - 160*x + 320) - 36*x + log(x)*(40*x^2 - 340*x + 640) + 13*x^2 - x^3)/(16*x - 8*x^2 +
x^3),x)

[Out]

5*log(x) - x + 20*log(x^2)*log(x) + 40*log(2)*log(x) - (20*x^2*log(x))/(4*x^2 - x^3)