Optimal. Leaf size=108 \[ \frac{1}{2} \log (x+3)+\frac{1}{2} \log \left (\frac{\sqrt{-x-1} x+\sqrt{x+3} x+3 \sqrt{-x-1}}{(x+3)^{3/2}}\right )-\tan ^{-1}\left (\frac{\sqrt{-x-1}}{\sqrt{x+3}}\right )-\sqrt{2} \tan ^{-1}\left (\frac{1-\frac{3 \sqrt{-x-1}}{\sqrt{x+3}}}{\sqrt{2}}\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.183887, antiderivative size = 108, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 8, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.444 \[ \frac{1}{2} \log (x+3)+\frac{1}{2} \log \left (\frac{\sqrt{-x-1} x+\sqrt{x+3} x+3 \sqrt{-x-1}}{(x+3)^{3/2}}\right )-\tan ^{-1}\left (\frac{\sqrt{-x-1}}{\sqrt{x+3}}\right )-\sqrt{2} \tan ^{-1}\left (\frac{1-\frac{3 \sqrt{-x-1}}{\sqrt{x+3}}}{\sqrt{2}}\right ) \]
Antiderivative was successfully verified.
[In] Int[(x + Sqrt[-3 - 4*x - x^2])^(-1),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 7.88414, size = 114, normalized size = 1.06 \[ - \frac{\log{\left (1 + \frac{- x^{2} - 4 x - 3}{\left (x + 3\right )^{2}} \right )}}{2} + \frac{\log{\left (1 - \frac{2 \sqrt{- x^{2} - 4 x - 3}}{x + 3} + \frac{3 \left (- x^{2} - 4 x - 3\right )}{\left (x + 3\right )^{2}} \right )}}{2} + \sqrt{2} \operatorname{atan}{\left (\sqrt{2} \left (- \frac{1}{2} + \frac{3 \sqrt{- x^{2} - 4 x - 3}}{2 \left (x + 3\right )}\right ) \right )} - \operatorname{atan}{\left (\frac{\sqrt{- x^{2} - 4 x - 3}}{x + 3} \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(1/(x+(-x**2-4*x-3)**(1/2)),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 6.25724, size = 1119, normalized size = 10.36 \[ \frac{1}{2} \sin ^{-1}(x+2)-\frac{\tan ^{-1}\left (\sqrt{2} (x+1)\right )}{\sqrt{2}}-\frac{i \left (i+2 \sqrt{2}\right ) \tan ^{-1}\left (\frac{6 i \sqrt{2} x^4-16 x^4+18 i \sqrt{1-2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x^3+68 i \sqrt{2} x^3-68 x^3+72 i \sqrt{1-2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x^2+185 i \sqrt{2} x^2-44 x^2+99 i \sqrt{1-2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x+176 i \sqrt{2} x+68 x+54 i \sqrt{1-2 i \sqrt{2}} \sqrt{-x^2-4 x-3}+51 i \sqrt{2}+60}{32 \sqrt{2} x^4+66 i x^4+208 \sqrt{2} x^3+304 i x^3+466 \sqrt{2} x^2+493 i x^2+440 \sqrt{2} x+340 i x+150 \sqrt{2}+93 i}\right )}{4 \sqrt{1-2 i \sqrt{2}}}-\frac{i \left (-i+2 \sqrt{2}\right ) \tan ^{-1}\left (\frac{6 i \sqrt{2} x^4+16 x^4+18 i \sqrt{1+2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x^3+68 i \sqrt{2} x^3+68 x^3+72 i \sqrt{1+2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x^2+185 i \sqrt{2} x^2+44 x^2+99 i \sqrt{1+2 i \sqrt{2}} \sqrt{-x^2-4 x-3} x+176 i \sqrt{2} x-68 x+54 i \sqrt{1+2 i \sqrt{2}} \sqrt{-x^2-4 x-3}+51 i \sqrt{2}-60}{32 \sqrt{2} x^4-66 i x^4+208 \sqrt{2} x^3-304 i x^3+466 \sqrt{2} x^2-493 i x^2+440 \sqrt{2} x-340 i x+150 \sqrt{2}-93 i}\right )}{4 \sqrt{1+2 i \sqrt{2}}}+\frac{\left (i+2 \sqrt{2}\right ) \log \left (\left (-2 i x+\sqrt{2}-2 i\right )^2 \left (2 i x+\sqrt{2}+2 i\right )^2\right )}{8 \sqrt{1-2 i \sqrt{2}}}+\frac{\left (-i+2 \sqrt{2}\right ) \log \left (\left (-2 i x+\sqrt{2}-2 i\right )^2 \left (2 i x+\sqrt{2}+2 i\right )^2\right )}{8 \sqrt{1+2 i \sqrt{2}}}+\frac{1}{4} \log \left (2 x^2+4 x+3\right )-\frac{\left (i+2 \sqrt{2}\right ) \log \left (\left (2 x^2+4 x+3\right ) \left (2 i \sqrt{2} x^2+2 x^2-2 \sqrt{2 \left (1-2 i \sqrt{2}\right )} \sqrt{-x^2-4 x-3} x+8 i \sqrt{2} x+4 x-2 \sqrt{2 \left (1-2 i \sqrt{2}\right )} \sqrt{-x^2-4 x-3}+6 i \sqrt{2}+3\right )\right )}{8 \sqrt{1-2 i \sqrt{2}}}-\frac{\left (-i+2 \sqrt{2}\right ) \log \left (\left (2 x^2+4 x+3\right ) \left (-2 i \sqrt{2} x^2+2 x^2-2 \sqrt{2 \left (1+2 i \sqrt{2}\right )} \sqrt{-x^2-4 x-3} x-8 i \sqrt{2} x+4 x-2 \sqrt{2 \left (1+2 i \sqrt{2}\right )} \sqrt{-x^2-4 x-3}-6 i \sqrt{2}+3\right )\right )}{8 \sqrt{1+2 i \sqrt{2}}} \]
Antiderivative was successfully verified.
[In] Integrate[(x + Sqrt[-3 - 4*x - x^2])^(-1),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.013, size = 370, normalized size = 3.4 \[{\frac{\arcsin \left ( 2+x \right ) }{2}}-{\frac{\sqrt{3}\sqrt{4}}{12}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12} \left ( \sqrt{2}\arctan \left ({\frac{\sqrt{2}}{6}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}} \right ) -{\it Artanh} \left ( 3\,{\frac{x}{-3/2-x}{\frac{1}{\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}}}} \right ) \right ){\frac{1}{\sqrt{{1 \left ({{x}^{2} \left ( -{\frac{3}{2}}-x \right ) ^{-2}}-4 \right ) \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-2}}}}} \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-1}}+{\frac{\sqrt{3}\sqrt{4}\sqrt{2}}{3}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}\arctan \left ({\frac{\sqrt{2}}{6}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}} \right ){\frac{1}{\sqrt{{1 \left ({{x}^{2} \left ( -{\frac{3}{2}}-x \right ) ^{-2}}-4 \right ) \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-2}}}}} \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-1}}-{\frac{\sqrt{3}\sqrt{4}}{6}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12} \left ( \sqrt{2}\arctan \left ({\frac{\sqrt{2}}{6}\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}} \right ) +{\it Artanh} \left ( 3\,{\frac{x}{-3/2-x}{\frac{1}{\sqrt{3\,{\frac{{x}^{2}}{ \left ( -3/2-x \right ) ^{2}}}-12}}}} \right ) \right ){\frac{1}{\sqrt{{1 \left ({{x}^{2} \left ( -{\frac{3}{2}}-x \right ) ^{-2}}-4 \right ) \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-2}}}}} \left ( 1+{x \left ( -{\frac{3}{2}}-x \right ) ^{-1}} \right ) ^{-1}}+{\frac{\ln \left ( 2\,{x}^{2}+4\,x+3 \right ) }{4}}-{\frac{\sqrt{2}}{2}\arctan \left ({\frac{ \left ( 4+4\,x \right ) \sqrt{2}}{4}} \right ) } \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(1/(x+(-x^2-4*x-3)^(1/2)),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{x + \sqrt{-x^{2} - 4 \, x - 3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(-x^2 - 4*x - 3)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.281618, size = 248, normalized size = 2.3 \[ \frac{1}{16} \, \sqrt{2}{\left (4 \, \sqrt{2} \arctan \left (\frac{x + 2}{\sqrt{-x^{2} - 4 \, x - 3}}\right ) + 2 \, \sqrt{2} \log \left (2 \, x^{2} + 4 \, x + 3\right ) - \sqrt{2} \log \left (-\frac{2 \, \sqrt{-x^{2} - 4 \, x - 3} x + 4 \, x + 3}{x^{2}}\right ) + \sqrt{2} \log \left (\frac{2 \, \sqrt{-x^{2} - 4 \, x - 3} x - 4 \, x - 3}{x^{2}}\right ) - 8 \, \arctan \left (\sqrt{2}{\left (x + 1\right )}\right ) + 4 \, \arctan \left (\frac{\sqrt{2} x + 3 \, \sqrt{2} \sqrt{-x^{2} - 4 \, x - 3}}{2 \,{\left (2 \, x + 3\right )}}\right ) + 4 \, \arctan \left (-\frac{\sqrt{2} x - 3 \, \sqrt{2} \sqrt{-x^{2} - 4 \, x - 3}}{2 \,{\left (2 \, x + 3\right )}}\right )\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(-x^2 - 4*x - 3)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{x + \sqrt{- x^{2} - 4 x - 3}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x+(-x**2-4*x-3)**(1/2)),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.274925, size = 266, normalized size = 2.46 \[ -\frac{1}{2} \, \sqrt{2} \arctan \left (\sqrt{2}{\left (x + 1\right )}\right ) + \frac{1}{2} \, \sqrt{2} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (\frac{3 \,{\left (\sqrt{-x^{2} - 4 \, x - 3} - 1\right )}}{x + 2} + 1\right )}\right ) + \frac{1}{2} \, \sqrt{2} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (\frac{\sqrt{-x^{2} - 4 \, x - 3} - 1}{x + 2} + 1\right )}\right ) + \frac{1}{2} \, \arcsin \left (x + 2\right ) + \frac{1}{4} \,{\rm ln}\left (2 \, x^{2} + 4 \, x + 3\right ) + \frac{1}{4} \,{\rm ln}\left (\frac{2 \,{\left (\sqrt{-x^{2} - 4 \, x - 3} - 1\right )}}{x + 2} + \frac{3 \,{\left (\sqrt{-x^{2} - 4 \, x - 3} - 1\right )}^{2}}{{\left (x + 2\right )}^{2}} + 1\right ) - \frac{1}{4} \,{\rm ln}\left (\frac{2 \,{\left (\sqrt{-x^{2} - 4 \, x - 3} - 1\right )}}{x + 2} + \frac{{\left (\sqrt{-x^{2} - 4 \, x - 3} - 1\right )}^{2}}{{\left (x + 2\right )}^{2}} + 3\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(x + sqrt(-x^2 - 4*x - 3)),x, algorithm="giac")
[Out]