3.88.73 \(\int \frac {-40-80 x+20 x^2+(-3+x) \log (2)}{80+40 x+20 x^2+x \log (2)} \, dx\)

Optimal. Leaf size=21 \[ x-3 \log \left (1+\frac {1}{4} x \left (2+x+\frac {\log (2)}{20}\right )\right ) \]

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 18, normalized size of antiderivative = 0.86, number of steps used = 4, number of rules used = 3, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {6, 1657, 628} \begin {gather*} x-3 \log \left (20 x^2+x (40+\log (2))+80\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-40 - 80*x + 20*x^2 + (-3 + x)*Log[2])/(80 + 40*x + 20*x^2 + x*Log[2]),x]

[Out]

x - 3*Log[80 + 20*x^2 + x*(40 + Log[2])]

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 628

Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[(d*Log[RemoveContent[a + b*x +
c*x^2, x]])/b, x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]

Rule 1657

Int[(Pq_)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[Pq*(a + b*x + c*x^2)^p, x
], x] /; FreeQ[{a, b, c}, x] && PolyQ[Pq, x] && IGtQ[p, -2]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 19, normalized size = 0.90 \begin {gather*} x-3 \log \left (80+40 x+20 x^2+x \log (2)\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-40 - 80*x + 20*x^2 + (-3 + x)*Log[2])/(80 + 40*x + 20*x^2 + x*Log[2]),x]

[Out]

x - 3*Log[80 + 40*x + 20*x^2 + x*Log[2]]

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 19, normalized size = 0.90 \begin {gather*} x - 3 \, \log \left (20 \, x^{2} + x \log \relax (2) + 40 \, x + 80\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(2)*(x-3)+20*x^2-80*x-40)/(x*log(2)+20*x^2+40*x+80),x, algorithm="fricas")

[Out]

x - 3*log(20*x^2 + x*log(2) + 40*x + 80)

________________________________________________________________________________________

giac [A]  time = 0.16, size = 19, normalized size = 0.90 \begin {gather*} x - 3 \, \log \left (20 \, x^{2} + x \log \relax (2) + 40 \, x + 80\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(2)*(x-3)+20*x^2-80*x-40)/(x*log(2)+20*x^2+40*x+80),x, algorithm="giac")

[Out]

x - 3*log(20*x^2 + x*log(2) + 40*x + 80)

________________________________________________________________________________________

maple [A]  time = 1.08, size = 19, normalized size = 0.90

method	result	size
risch	\(x -3 \ln \left (80+20 x^{2}+\left (\ln \relax (2)+40\right ) x \right )\)	\(19\)
default	\(x -3 \ln \left (x \ln \relax (2)+20 x^{2}+40 x +80\right )\)	\(20\)
norman	\(x -3 \ln \left (x \ln \relax (2)+20 x^{2}+40 x +80\right )\)	\(20\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((ln(2)*(x-3)+20*x^2-80*x-40)/(x*ln(2)+20*x^2+40*x+80),x,method=_RETURNVERBOSE)

[Out]

x-3*ln(80+20*x^2+(ln(2)+40)*x)

________________________________________________________________________________________

maxima [A]  time = 0.35, size = 18, normalized size = 0.86 \begin {gather*} x - 3 \, \log \left (20 \, x^{2} + x {\left (\log \relax (2) + 40\right )} + 80\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(2)*(x-3)+20*x^2-80*x-40)/(x*log(2)+20*x^2+40*x+80),x, algorithm="maxima")

[Out]

x - 3*log(20*x^2 + x*(log(2) + 40) + 80)

________________________________________________________________________________________

mupad [B]  time = 0.10, size = 17, normalized size = 0.81 \begin {gather*} x-3\,\ln \left (\frac {x\,\left (\ln \relax (2)+40\right )}{20}+x^2+4\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(80*x - log(2)*(x - 3) - 20*x^2 + 40)/(40*x + x*log(2) + 20*x^2 + 80),x)

[Out]

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

________________________________________________________________________________________

sympy [A]  time = 0.19, size = 17, normalized size = 0.81 \begin {gather*} x - 3 \log {\left (20 x^{2} + x \left (\log {\relax (2 )} + 40\right ) + 80 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((ln(2)*(x-3)+20*x**2-80*x-40)/(x*ln(2)+20*x**2+40*x+80),x)

[Out]

x - 3*log(20*x**2 + x*(log(2) + 40) + 80)

________________________________________________________________________________________