Optimal. Leaf size=12 \[ \tan ^{-1}\left (2 \sqrt{x^2+x}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0081645, antiderivative size = 12, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.118, Rules used = {688, 203} \[ \tan ^{-1}\left (2 \sqrt{x^2+x}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 688
Rule 203
Rubi steps
\begin{align*} \int \frac{1}{(1+2 x) \sqrt{x+x^2}} \, dx &=4 \operatorname{Subst}\left (\int \frac{1}{2+8 x^2} \, dx,x,\sqrt{x+x^2}\right )\\ &=\tan ^{-1}\left (2 \sqrt{x+x^2}\right )\\ \end{align*}
Mathematica [B] time = 0.0120436, size = 37, normalized size = 3.08 \[ \frac{2 \sqrt{x} \sqrt{x+1} \tan ^{-1}\left (\frac{\sqrt{x}}{\sqrt{x+1}}\right )}{\sqrt{x (x+1)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.006, size = 15, normalized size = 1.3 \begin{align*} -\arctan \left ({\frac{1}{\sqrt{4\, \left ( x+1/2 \right ) ^{2}-1}}} \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.68146, size = 15, normalized size = 1.25 \begin{align*} -\arcsin \left (\frac{1}{{\left | 2 \, x + 1 \right |}}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.48214, size = 51, normalized size = 4.25 \begin{align*} 2 \, \arctan \left (-2 \, x + 2 \, \sqrt{x^{2} + x} - 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{x \left (x + 1\right )} \left (2 x + 1\right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.1142, size = 23, normalized size = 1.92 \begin{align*} 2 \, \arctan \left (-2 \, x + 2 \, \sqrt{x^{2} + x} - 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]