3.9.64 \(\int \frac {-6-2 x}{-36-16 x+x^2+(2+x) \log (-2-x)} \, dx\) [864]

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

[Out]

ln(16/(ln(-2-x)+x-18)^2)

________________________________________________________________________________________

Rubi [A]
time = 0.08, antiderivative size = 16, normalized size of antiderivative = 1.14, number of steps used = 2, number of rules used = 2, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {6873, 6816} \begin {gather*} -2 \log (-x-\log (-x-2)+18) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-6 - 2*x)/(-36 - 16*x + x^2 + (2 + x)*Log[-2 - x]),x]

[Out]

-2*Log[18 - x - Log[-2 - x]]

Rule 6816

Int[(u_)/(y_), x_Symbol] :> With[{q = DerivativeDivides[y, u, x]}, Simp[q*Log[RemoveContent[y, x]], x] /;  !Fa
lseQ[q]]

Rule 6873

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {6+2 x}{(2+x) (18-x-\log (-2-x))} \, dx\\ &=-2 \log (18-x-\log (-2-x))\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.02, size = 12, normalized size = 0.86 \begin {gather*} -2 \log (-18+x+\log (-2-x)) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-6 - 2*x)/(-36 - 16*x + x^2 + (2 + x)*Log[-2 - x]),x]

[Out]

-2*Log[-18 + x + Log[-2 - x]]

________________________________________________________________________________________

Maple [A]
time = 0.42, size = 17, normalized size = 1.21

method	result	size
norman	\(-2 \ln \left (\ln \left (-x -2\right )+x -18\right )\)	\(13\)
risch	\(-2 \ln \left (\ln \left (-x -2\right )+x -18\right )\)	\(13\)
derivativedivides	\(-2 \ln \left (-\ln \left (-x -2\right )-x +18\right )\)	\(17\)
default	\(-2 \ln \left (-\ln \left (-x -2\right )-x +18\right )\)	\(17\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-2*x-6)/((2+x)*ln(-x-2)+x^2-16*x-36),x,method=_RETURNVERBOSE)

[Out]

-2*ln(-ln(-x-2)-x+18)

________________________________________________________________________________________

Maxima [A]
time = 0.29, size = 12, normalized size = 0.86 \begin {gather*} -2 \, \log \left (x + \log \left (-x - 2\right ) - 18\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x-6)/((2+x)*log(-2-x)+x^2-16*x-36),x, algorithm="maxima")

[Out]

-2*log(x + log(-x - 2) - 18)

________________________________________________________________________________________

Fricas [A]
time = 0.36, size = 12, normalized size = 0.86 \begin {gather*} -2 \, \log \left (x + \log \left (-x - 2\right ) - 18\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x-6)/((2+x)*log(-2-x)+x^2-16*x-36),x, algorithm="fricas")

[Out]

-2*log(x + log(-x - 2) - 18)

________________________________________________________________________________________

Sympy [A]
time = 0.06, size = 14, normalized size = 1.00 \begin {gather*} - 2 \log {\left (x + \log {\left (- x - 2 \right )} - 18 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x-6)/((2+x)*ln(-2-x)+x**2-16*x-36),x)

[Out]

-2*log(x + log(-x - 2) - 18)

________________________________________________________________________________________

Giac [A]
time = 0.38, size = 16, normalized size = 1.14 \begin {gather*} -2 \, \log \left (-x - \log \left (-x - 2\right ) + 18\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x-6)/((2+x)*log(-2-x)+x^2-16*x-36),x, algorithm="giac")

[Out]

-2*log(-x - log(-x - 2) + 18)

________________________________________________________________________________________

Mupad [B]
time = 0.24, size = 12, normalized size = 0.86 \begin {gather*} -2\,\ln \left (x+\ln \left (-x-2\right )-18\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*x + 6)/(16*x - x^2 - log(- x - 2)*(x + 2) + 36),x)

[Out]

-2*log(x + log(- x - 2) - 18)

________________________________________________________________________________________