Optimal. Leaf size=37 \[ \log \left (x+\sqrt{x+1}+4\right )-\frac{2 \tan ^{-1}\left (\frac{2 \sqrt{x+1}+1}{\sqrt{11}}\right )}{\sqrt{11}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0357258, antiderivative size = 37, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {634, 618, 204, 628} \[ \log \left (x+\sqrt{x+1}+4\right )-\frac{2 \tan ^{-1}\left (\frac{2 \sqrt{x+1}+1}{\sqrt{11}}\right )}{\sqrt{11}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{1}{4+x+\sqrt{1+x}} \, dx &=2 \operatorname{Subst}\left (\int \frac{x}{3+x+x^2} \, dx,x,\sqrt{1+x}\right )\\ &=-\operatorname{Subst}\left (\int \frac{1}{3+x+x^2} \, dx,x,\sqrt{1+x}\right )+\operatorname{Subst}\left (\int \frac{1+2 x}{3+x+x^2} \, dx,x,\sqrt{1+x}\right )\\ &=\log \left (4+x+\sqrt{1+x}\right )+2 \operatorname{Subst}\left (\int \frac{1}{-11-x^2} \, dx,x,1+2 \sqrt{1+x}\right )\\ &=-\frac{2 \tan ^{-1}\left (\frac{1+2 \sqrt{1+x}}{\sqrt{11}}\right )}{\sqrt{11}}+\log \left (4+x+\sqrt{1+x}\right )\\ \end{align*}
Mathematica [A] time = 0.0133128, size = 37, normalized size = 1. \[ \log \left (x+\sqrt{x+1}+4\right )-\frac{2 \tan ^{-1}\left (\frac{2 \sqrt{x+1}+1}{\sqrt{11}}\right )}{\sqrt{11}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.012, size = 93, normalized size = 2.5 \begin{align*} -{\frac{1}{2}\ln \left ( x+4-\sqrt{1+x} \right ) }-{\frac{\sqrt{11}}{11}\arctan \left ({\frac{\sqrt{11}}{11} \left ( 2\,\sqrt{1+x}-1 \right ) } \right ) }+{\frac{1}{2}\ln \left ( 4+x+\sqrt{1+x} \right ) }-{\frac{\sqrt{11}}{11}\arctan \left ({\frac{\sqrt{11}}{11} \left ( 1+2\,\sqrt{1+x} \right ) } \right ) }+{\frac{\sqrt{11}}{11}\arctan \left ({\frac{ \left ( 7+2\,x \right ) \sqrt{11}}{11}} \right ) }+{\frac{\ln \left ({x}^{2}+7\,x+15 \right ) }{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.41183, size = 41, normalized size = 1.11 \begin{align*} -\frac{2}{11} \, \sqrt{11} \arctan \left (\frac{1}{11} \, \sqrt{11}{\left (2 \, \sqrt{x + 1} + 1\right )}\right ) + \log \left (x + \sqrt{x + 1} + 4\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.08235, size = 126, normalized size = 3.41 \begin{align*} -\frac{2}{11} \, \sqrt{11} \arctan \left (\frac{2}{11} \, \sqrt{11} \sqrt{x + 1} + \frac{1}{11} \, \sqrt{11}\right ) + \log \left (x + \sqrt{x + 1} + 4\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.26376, size = 39, normalized size = 1.05 \begin{align*} \log{\left (x + \sqrt{x + 1} + 4 \right )} - \frac{2 \sqrt{11} \operatorname{atan}{\left (\frac{2 \sqrt{11} \left (\sqrt{x + 1} + \frac{1}{2}\right )}{11} \right )}}{11} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.05178, size = 41, normalized size = 1.11 \begin{align*} -\frac{2}{11} \, \sqrt{11} \arctan \left (\frac{1}{11} \, \sqrt{11}{\left (2 \, \sqrt{x + 1} + 1\right )}\right ) + \log \left (x + \sqrt{x + 1} + 4\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]