Optimal. Leaf size=65 \[ -\frac{2}{-\sqrt{x^2-2 x-3}-x+1}+2 \log \left (-\sqrt{x^2-2 x-3}-x+1\right )-\frac{3}{2} \log \left (\sqrt{x^2-2 x-3}+x\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0678783, antiderivative size = 65, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125 \[ -\frac{2}{-\sqrt{x^2-2 x-3}-x+1}+2 \log \left (-\sqrt{x^2-2 x-3}-x+1\right )-\frac{3}{2} \log \left (\sqrt{x^2-2 x-3}+x\right ) \]
Antiderivative was successfully verified.
[In] Int[(x + Sqrt[-3 - 2*x + x^2])^(-1),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 3.97313, size = 53, normalized size = 0.82 \[ - \frac{3 \log{\left (x + \sqrt{x^{2} - 2 x - 3} \right )}}{2} + 2 \log{\left (- x - \sqrt{x^{2} - 2 x - 3} + 1 \right )} - \frac{2}{- x - \sqrt{x^{2} - 2 x - 3} + 1} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(1/(x+(x**2-2*x-3)**(1/2)),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0447807, size = 74, normalized size = 1.14 \[ \frac{1}{4} \left (-2 \sqrt{x^2-2 x-3}+3 \log \left (-3 \sqrt{x^2-2 x-3}+5 x+3\right )+5 \log \left (-\sqrt{x^2-2 x-3}-x+1\right )+2 x-6 \log (2 x+3)\right ) \]
Antiderivative was successfully verified.
[In] Integrate[(x + Sqrt[-3 - 2*x + x^2])^(-1),x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.008, size = 71, normalized size = 1.1 \[ -{\frac{1}{4}\sqrt{4\, \left ( x+3/2 \right ) ^{2}-20\,x-21}}+{\frac{5}{4}\ln \left ( -1+x+\sqrt{ \left ( x+{\frac{3}{2}} \right ) ^{2}-5\,x-{\frac{21}{4}}} \right ) }+{\frac{3}{4}{\it Artanh} \left ({\frac{-6-10\,x}{3}{\frac{1}{\sqrt{4\, \left ( x+3/2 \right ) ^{2}-20\,x-21}}}} \right ) }+{\frac{x}{2}}-{\frac{3\,\ln \left ( 3+2\,x \right ) }{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(1/(x+(x^2-2*x-3)^(1/2)),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{x + \sqrt{x^{2} - 2 \, x - 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(x^2 - 2*x - 3)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.272226, size = 220, normalized size = 3.38 \[ \frac{4 \, x^{2} - 3 \,{\left (x - 1\right )} \log \left (2 \, x + 3\right ) - 5 \,{\left (x - \sqrt{x^{2} - 2 \, x - 3} - 1\right )} \log \left (-x + \sqrt{x^{2} - 2 \, x - 3} + 1\right ) + 3 \,{\left (x - \sqrt{x^{2} - 2 \, x - 3} - 1\right )} \log \left (-x + \sqrt{x^{2} - 2 \, x - 3}\right ) - 3 \,{\left (x - \sqrt{x^{2} - 2 \, x - 3} - 1\right )} \log \left (-x + \sqrt{x^{2} - 2 \, x - 3} - 3\right ) - \sqrt{x^{2} - 2 \, x - 3}{\left (4 \, x - 3 \, \log \left (2 \, x + 3\right ) - 1\right )} - 5 \, x - 7}{4 \,{\left (x - \sqrt{x^{2} - 2 \, x - 3} - 1\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(x^2 - 2*x - 3)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{x + \sqrt{x^{2} - 2 x - 3}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x+(x**2-2*x-3)**(1/2)),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.276838, size = 109, normalized size = 1.68 \[ \frac{1}{2} \, x - \frac{1}{2} \, \sqrt{x^{2} - 2 \, x - 3} - \frac{3}{4} \,{\rm ln}\left ({\left | 2 \, x + 3 \right |}\right ) - \frac{5}{4} \,{\rm ln}\left ({\left | -x + \sqrt{x^{2} - 2 \, x - 3} + 1 \right |}\right ) + \frac{3}{4} \,{\rm ln}\left ({\left | -x + \sqrt{x^{2} - 2 \, x - 3} \right |}\right ) - \frac{3}{4} \,{\rm ln}\left ({\left | -x + \sqrt{x^{2} - 2 \, x - 3} - 3 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(x^2 - 2*x - 3)),x, algorithm="giac")
[Out]