Optimal. Leaf size=141 \[ \frac{1}{4} \sqrt{3} \tan ^{-1}\left (\frac{\sqrt{3} x-1}{\sqrt{1-x^2}}\right )+\frac{1}{4} \sqrt{3} \tan ^{-1}\left (\frac{\sqrt{3} x+1}{\sqrt{1-x^2}}\right )-\frac{1}{4} \sqrt{3} \tan ^{-1}\left (\frac{2 x^2-1}{\sqrt{3}}\right )+x \tan ^{-1}\left (\sqrt{1-x^2}+x\right )-\frac{1}{4} \tanh ^{-1}\left (x \sqrt{1-x^2}\right )-\frac{1}{8} \log \left (x^4-x^2+1\right )-\frac{1}{2} \sin ^{-1}(x) \]
[Out]
_______________________________________________________________________________________
Rubi [C] time = 1.47868, antiderivative size = 269, normalized size of antiderivative = 1.91, number of steps used = 40, number of rules used = 15, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 1.071 \[ \frac{1}{4} \sqrt{3} \tan ^{-1}\left (\frac{1-2 x^2}{\sqrt{3}}\right )+\frac{1}{12} \left (-\sqrt{3}+3 i\right ) \tan ^{-1}\left (\frac{x}{\sqrt{-\frac{-\sqrt{3}+i}{\sqrt{3}+i}} \sqrt{1-x^2}}\right )+\frac{\tan ^{-1}\left (\frac{x}{\sqrt{-\frac{-\sqrt{3}+i}{\sqrt{3}+i}} \sqrt{1-x^2}}\right )}{\sqrt{3}}-\frac{1}{12} \left (\sqrt{3}+3 i\right ) \tan ^{-1}\left (\frac{\sqrt{-\frac{-\sqrt{3}+i}{\sqrt{3}+i}} x}{\sqrt{1-x^2}}\right )+\frac{\tan ^{-1}\left (\frac{\sqrt{-\frac{-\sqrt{3}+i}{\sqrt{3}+i}} x}{\sqrt{1-x^2}}\right )}{\sqrt{3}}+x \tan ^{-1}\left (\sqrt{1-x^2}+x\right )-\frac{1}{8} \log \left (x^4-x^2+1\right )-\frac{1}{2} \sin ^{-1}(x) \]
Warning: Unable to verify antiderivative.
[In] Int[ArcTan[x + Sqrt[1 - x^2]],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(atan(x+(-x**2+1)**(1/2)),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 8.10516, size = 1822, normalized size = 12.92 \[ \text{result too large to display} \]
Warning: Unable to verify antiderivative.
[In] Integrate[ArcTan[x + Sqrt[1 - x^2]],x]
[Out]
_______________________________________________________________________________________
Maple [C] time = 0.086, size = 439, normalized size = 3.1 \[ x\arctan \left ( x+\sqrt{-{x}^{2}+1} \right ) -{\frac{\ln \left ({x}^{4}-{x}^{2}+1 \right ) }{8}}-{\frac{\sqrt{3}}{4}\arctan \left ({\frac{ \left ( 2\,{x}^{2}-1 \right ) \sqrt{3}}{3}} \right ) }+{\frac{i}{8}}\sqrt{3}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{-1-i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) +{\frac{1}{8}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{-1-i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) }-{\frac{i}{8}}\sqrt{3}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{1+i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) +{\frac{1}{8}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{-1+i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) }-{\frac{i}{8}}\sqrt{3}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{-1+i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) -{\frac{1}{8}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{1+i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) }+{\frac{i}{8}}\sqrt{3}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{1-i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) -{\frac{1}{8}\ln \left ({\frac{1}{{x}^{2}} \left ( \sqrt{-{x}^{2}+1}-1 \right ) ^{2}}+{\frac{1-i\sqrt{3}}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) }-1 \right ) }+\arctan \left ({\frac{1}{x} \left ( \sqrt{-{x}^{2}+1}-1 \right ) } \right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(arctan(x+(-x^2+1)^(1/2)),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ x \arctan \left (x + \sqrt{x + 1} \sqrt{-x + 1}\right ) - \int \frac{x^{3} + x^{2} e^{\left (\frac{1}{2} \, \log \left (x + 1\right ) + \frac{1}{2} \, \log \left (-x + 1\right )\right )} - x}{x^{4} +{\left (x^{2} - 1\right )} e^{\left (\log \left (x + 1\right ) + \log \left (-x + 1\right )\right )} + 2 \,{\left (x^{3} - x\right )} e^{\left (\frac{1}{2} \, \log \left (x + 1\right ) + \frac{1}{2} \, \log \left (-x + 1\right )\right )} - 1}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(arctan(x + sqrt(-x^2 + 1)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.256353, size = 240, normalized size = 1.7 \[ x \arctan \left (x + \sqrt{-x^{2} + 1}\right ) - \frac{1}{4} \, \sqrt{3} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{2} - 1\right )}\right ) - \frac{1}{8} \, \sqrt{3} \arctan \left (\frac{\sqrt{3}{\left (4 \, \sqrt{-x^{2} + 1} x + 1\right )}}{3 \,{\left (2 \, x^{2} - 1\right )}}\right ) - \frac{1}{8} \, \sqrt{3} \arctan \left (\frac{\sqrt{3}{\left (4 \, \sqrt{-x^{2} + 1} x - 1\right )}}{3 \,{\left (2 \, x^{2} - 1\right )}}\right ) - \frac{1}{2} \, \arctan \left (\frac{x}{\sqrt{-x^{2} + 1}}\right ) - \frac{1}{8} \, \log \left (x^{4} - x^{2} + 1\right ) - \frac{1}{16} \, \log \left (-x^{4} + x^{2} + 2 \, \sqrt{-x^{2} + 1} x + 1\right ) + \frac{1}{16} \, \log \left (-x^{4} + x^{2} - 2 \, \sqrt{-x^{2} + 1} x + 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(arctan(x + sqrt(-x^2 + 1)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(atan(x+(-x**2+1)**(1/2)),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.21417, size = 491, normalized size = 3.48 \[ x \arctan \left (x + \sqrt{-x^{2} + 1}\right ) - \frac{1}{4} \, \pi{\rm sign}\left (x\right ) + \frac{1}{8} \, \sqrt{3}{\left (\pi{\rm sign}\left (x\right ) + 2 \, \arctan \left (-\frac{\sqrt{3} x{\left (\frac{\sqrt{-x^{2} + 1} - 1}{x} + \frac{{\left (\sqrt{-x^{2} + 1} - 1\right )}^{2}}{x^{2}} - 1\right )}}{3 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}\right )\right )} + \frac{1}{8} \, \sqrt{3}{\left (\pi{\rm sign}\left (x\right ) + 2 \, \arctan \left (\frac{\sqrt{3} x{\left (\frac{\sqrt{-x^{2} + 1} - 1}{x} - \frac{{\left (\sqrt{-x^{2} + 1} - 1\right )}^{2}}{x^{2}} + 1\right )}}{3 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}\right )\right )} - \frac{1}{4} \, \sqrt{3} \arctan \left (\frac{1}{3} \, \sqrt{3}{\left (2 \, x^{2} - 1\right )}\right ) - \frac{1}{2} \, \arctan \left (-\frac{x{\left (\frac{{\left (\sqrt{-x^{2} + 1} - 1\right )}^{2}}{x^{2}} - 1\right )}}{2 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}\right ) - \frac{1}{8} \,{\rm ln}\left (x^{4} - x^{2} + 1\right ) + \frac{1}{8} \,{\rm ln}\left ({\left (\frac{x}{\sqrt{-x^{2} + 1} - 1} - \frac{\sqrt{-x^{2} + 1} - 1}{x}\right )}^{2} + \frac{2 \, x}{\sqrt{-x^{2} + 1} - 1} - \frac{2 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}{x} + 4\right ) - \frac{1}{8} \,{\rm ln}\left ({\left (\frac{x}{\sqrt{-x^{2} + 1} - 1} - \frac{\sqrt{-x^{2} + 1} - 1}{x}\right )}^{2} - \frac{2 \, x}{\sqrt{-x^{2} + 1} - 1} + \frac{2 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}{x} + 4\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(arctan(x + sqrt(-x^2 + 1)),x, algorithm="giac")
[Out]