3.39.81 \(\int -\frac {1}{-x+x^2} \, dx\) [3881]

Optimal. Leaf size=13 \[ \log \left (\frac {x}{6 (1-x)}\right ) \]

[Out]

ln(2*x/(-12*x+12))

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 11, normalized size of antiderivative = 0.85, number of steps used = 1, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {629} \begin {gather*} \log (x)-\log (1-x) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[-(-x + x^2)^(-1),x]

[Out]

-Log[1 - x] + Log[x]

Rule 629

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

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=-\log (1-x)+\log (x)\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 11, normalized size = 0.85 \begin {gather*} -\log (1-x)+\log (x) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[-(-x + x^2)^(-1),x]

[Out]

-Log[1 - x] + Log[x]

________________________________________________________________________________________

Maple [A]
time = 0.63, size = 10, normalized size = 0.77

method	result	size
default	\(\ln \left (x \right )-\ln \left (x -1\right )\)	\(10\)
norman	\(\ln \left (x \right )-\ln \left (x -1\right )\)	\(10\)
risch	\(\ln \left (x \right )-\ln \left (x -1\right )\)	\(10\)
meijerg	\(-\ln \left (1-x \right )+\ln \left (x \right )+i \pi \)	\(16\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-1/(x^2-x),x,method=_RETURNVERBOSE)

[Out]

ln(x)-ln(x-1)

________________________________________________________________________________________

Maxima [A]
time = 0.29, size = 9, normalized size = 0.69 \begin {gather*} -\log \left (x - 1\right ) + \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-1/(x^2-x),x, algorithm="maxima")

[Out]

-log(x - 1) + log(x)

________________________________________________________________________________________

Fricas [A]
time = 0.34, size = 9, normalized size = 0.69 \begin {gather*} -\log \left (x - 1\right ) + \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-1/(x^2-x),x, algorithm="fricas")

[Out]

-log(x - 1) + log(x)

________________________________________________________________________________________

Sympy [A]
time = 0.03, size = 7, normalized size = 0.54 \begin {gather*} \log {\left (x \right )} - \log {\left (x - 1 \right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-1/(x**2-x),x)

[Out]

log(x) - log(x - 1)

________________________________________________________________________________________

Giac [A]
time = 0.42, size = 11, normalized size = 0.85 \begin {gather*} -\log \left ({\left | x - 1 \right |}\right ) + \log \left ({\left | x \right |}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-1/(x^2-x),x, algorithm="giac")

[Out]

-log(abs(x - 1)) + log(abs(x))

________________________________________________________________________________________

Mupad [B]
time = 2.26, size = 8, normalized size = 0.62 \begin {gather*} 2\,\mathrm {atanh}\left (2\,x-1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(x - x^2),x)

[Out]

2*atanh(2*x - 1)

________________________________________________________________________________________