Optimal. Leaf size=42 \[ -\frac{1}{2} i \text{PolyLog}\left (2,-i \sqrt{x}\right )+\frac{1}{2} i \text{PolyLog}\left (2,i \sqrt{x}\right )+\frac{1}{4} \pi \log (x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0422181, antiderivative size = 42, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238, Rules used = {5159, 29, 5031, 4848, 2391} \[ -\frac{1}{2} i \text{PolyLog}\left (2,-i \sqrt{x}\right )+\frac{1}{2} i \text{PolyLog}\left (2,i \sqrt{x}\right )+\frac{1}{4} \pi \log (x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5159
Rule 29
Rule 5031
Rule 4848
Rule 2391
Rubi steps
\begin{align*} \int -\frac{\tan ^{-1}\left (\sqrt{x}-\sqrt{1+x}\right )}{x} \, dx &=-\left (\frac{1}{2} \int \frac{\tan ^{-1}\left (\sqrt{x}\right )}{x} \, dx\right )+\frac{1}{4} \pi \int \frac{1}{x} \, dx\\ &=\frac{1}{4} \pi \log (x)-\operatorname{Subst}\left (\int \frac{\tan ^{-1}(x)}{x} \, dx,x,\sqrt{x}\right )\\ &=\frac{1}{4} \pi \log (x)-\frac{1}{2} i \operatorname{Subst}\left (\int \frac{\log (1-i x)}{x} \, dx,x,\sqrt{x}\right )+\frac{1}{2} i \operatorname{Subst}\left (\int \frac{\log (1+i x)}{x} \, dx,x,\sqrt{x}\right )\\ &=\frac{1}{4} \pi \log (x)-\frac{1}{2} i \text{Li}_2\left (-i \sqrt{x}\right )+\frac{1}{2} i \text{Li}_2\left (i \sqrt{x}\right )\\ \end{align*}
Mathematica [A] time = 0.184779, size = 84, normalized size = 2. \[ -\log (x) \tan ^{-1}\left (\sqrt{x}-\sqrt{x+1}\right )+\frac{1}{4} i \left (-2 \text{PolyLog}\left (2,-i \sqrt{x}\right )+2 \text{PolyLog}\left (2,i \sqrt{x}\right )+\left (\log \left (1-i \sqrt{x}\right )-\log \left (1+i \sqrt{x}\right )\right ) \log (x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 1.115, size = 374, normalized size = 8.9 \begin{align*} 2\,\arctan \left ( \sqrt{x}-\sqrt{x+1} \right ) \ln \left ( 1-{\frac{1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) }{\sqrt{ \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1}}} \right ) -2\,i{\it polylog} \left ( 2,{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ){\frac{1}{\sqrt{ \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1}}}} \right ) +2\,\arctan \left ( \sqrt{x}-\sqrt{x+1} \right ) \ln \left ( 1+{\frac{1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) }{\sqrt{ \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1}}} \right ) -2\,i{\it polylog} \left ( 2,-{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ){\frac{1}{\sqrt{ \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1}}}} \right ) -2\,\arctan \left ( \sqrt{x}-\sqrt{x+1} \right ) \ln \left ( 1+{\frac{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ) ^{4}}{ \left ( \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1 \right ) ^{2}}} \right ) +{\frac{i}{2}}{\it polylog} \left ( 2,-{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ) ^{4} \left ( \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1 \right ) ^{-2}} \right ) +2\,\arctan \left ( \sqrt{x}-\sqrt{x+1} \right ) \ln \left ({\frac{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ) ^{2}}{ \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1}}+1 \right ) -i{\it polylog} \left ( 2,-{ \left ( 1+i \left ( \sqrt{x}-\sqrt{x+1} \right ) \right ) ^{2} \left ( \left ( \sqrt{x}-\sqrt{x+1} \right ) ^{2}+1 \right ) ^{-1}} \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.54996, size = 58, normalized size = 1.38 \begin{align*} \frac{1}{4} \, \pi \log \left (x + 1\right ) + \arctan \left (\sqrt{x + 1} - \sqrt{x}\right ) \log \left (x\right ) + \frac{1}{2} i \,{\rm Li}_2\left (i \, \sqrt{x} + 1\right ) - \frac{1}{2} i \,{\rm Li}_2\left (-i \, \sqrt{x} + 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\arctan \left (\sqrt{x + 1} - \sqrt{x}\right )}{x}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int -\frac{\arctan \left (-\sqrt{x + 1} + \sqrt{x}\right )}{x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]