Optimal. Leaf size=42 \[ \frac{(3-x) \sqrt{x+1} \tanh ^{-1}\left (\frac{\sqrt{x+1}}{2}\right )}{\sqrt{x^3-5 x^2+3 x+9}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0426458, antiderivative size = 42, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.235, Rules used = {2067, 2064, 63, 206} \[ \frac{(3-x) \sqrt{x+1} \tanh ^{-1}\left (\frac{\sqrt{x+1}}{2}\right )}{\sqrt{x^3-5 x^2+3 x+9}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2067
Rule 2064
Rule 63
Rule 206
Rubi steps
\begin{align*} \int \frac{1}{\sqrt{9+3 x-5 x^2+x^3}} \, dx &=\operatorname{Subst}\left (\int \frac{1}{\sqrt{\frac{128}{27}-\frac{16 x}{3}+x^3}} \, dx,x,-\frac{5}{3}+x\right )\\ &=\frac{\left (128 (3-x) \sqrt{1+x}\right ) \operatorname{Subst}\left (\int \frac{1}{\left (\frac{128}{9}-\frac{32 x}{3}\right ) \sqrt{\frac{128}{9}+\frac{16 x}{3}}} \, dx,x,-\frac{5}{3}+x\right )}{3 \sqrt{3} \sqrt{9+3 x-5 x^2+x^3}}\\ &=\frac{\left (16 (3-x) \sqrt{1+x}\right ) \operatorname{Subst}\left (\int \frac{1}{\frac{128}{3}-2 x^2} \, dx,x,\frac{4 \sqrt{1+x}}{\sqrt{3}}\right )}{\sqrt{3} \sqrt{9+3 x-5 x^2+x^3}}\\ &=\frac{(3-x) \sqrt{1+x} \tanh ^{-1}\left (\frac{\sqrt{1+x}}{2}\right )}{\sqrt{9+3 x-5 x^2+x^3}}\\ \end{align*}
Mathematica [A] time = 0.0082524, size = 37, normalized size = 0.88 \[ -\frac{(x-3) \sqrt{x+1} \tanh ^{-1}\left (\frac{\sqrt{x+1}}{2}\right )}{\sqrt{(x-3)^2 (x+1)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.008, size = 45, normalized size = 1.1 \begin{align*} -{\frac{-3+x}{2}\sqrt{1+x} \left ( \ln \left ( \sqrt{1+x}+2 \right ) -\ln \left ( \sqrt{1+x}-2 \right ) \right ){\frac{1}{\sqrt{{x}^{3}-5\,{x}^{2}+3\,x+9}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{x^{3} - 5 \, x^{2} + 3 \, x + 9}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.72879, size = 161, normalized size = 3.83 \begin{align*} -\frac{1}{2} \, \log \left (\frac{2 \, x + \sqrt{x^{3} - 5 \, x^{2} + 3 \, x + 9} - 6}{x - 3}\right ) + \frac{1}{2} \, \log \left (-\frac{2 \, x - \sqrt{x^{3} - 5 \, x^{2} + 3 \, x + 9} - 6}{x - 3}\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^{3} - 5 x^{2} + 3 x + 9}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.07318, size = 46, normalized size = 1.1 \begin{align*} -\frac{\log \left (\sqrt{x + 1} + 2\right )}{2 \, \mathrm{sgn}\left (x - 3\right )} + \frac{\log \left ({\left | \sqrt{x + 1} - 2 \right |}\right )}{2 \, \mathrm{sgn}\left (x - 3\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]