Optimal. Leaf size=107 \[ \frac{2 \sqrt{-\frac{1-x}{x}} \sqrt{x+1} x^2}{5 \sqrt{\frac{1}{x}+1}}+\frac{6 \sqrt{-\frac{1-x}{x}} \sqrt{x+1} x}{5 \sqrt{\frac{1}{x}+1}}+\frac{12 \sqrt{-\frac{1-x}{x}} \sqrt{x+1}}{5 \sqrt{\frac{1}{x}+1}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.106478, antiderivative size = 107, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.385, Rules used = {6176, 6181, 78, 45, 37} \[ \frac{2 \sqrt{-\frac{1-x}{x}} \sqrt{x+1} x^2}{5 \sqrt{\frac{1}{x}+1}}+\frac{6 \sqrt{-\frac{1-x}{x}} \sqrt{x+1} x}{5 \sqrt{\frac{1}{x}+1}}+\frac{12 \sqrt{-\frac{1-x}{x}} \sqrt{x+1}}{5 \sqrt{\frac{1}{x}+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6176
Rule 6181
Rule 78
Rule 45
Rule 37
Rubi steps
\begin{align*} \int e^{\coth ^{-1}(x)} x \sqrt{1+x} \, dx &=\frac{\sqrt{1+x} \int e^{\coth ^{-1}(x)} \sqrt{1+\frac{1}{x}} x^{3/2} \, dx}{\sqrt{1+\frac{1}{x}} \sqrt{x}}\\ &=-\frac{\left (\sqrt{\frac{1}{x}} \sqrt{1+x}\right ) \operatorname{Subst}\left (\int \frac{1+x}{\sqrt{1-x} x^{7/2}} \, dx,x,\frac{1}{x}\right )}{\sqrt{1+\frac{1}{x}}}\\ &=\frac{2 \sqrt{-\frac{1-x}{x}} x^2 \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}-\frac{\left (9 \sqrt{\frac{1}{x}} \sqrt{1+x}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-x} x^{5/2}} \, dx,x,\frac{1}{x}\right )}{5 \sqrt{1+\frac{1}{x}}}\\ &=\frac{6 \sqrt{-\frac{1-x}{x}} x \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}+\frac{2 \sqrt{-\frac{1-x}{x}} x^2 \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}-\frac{\left (6 \sqrt{\frac{1}{x}} \sqrt{1+x}\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-x} x^{3/2}} \, dx,x,\frac{1}{x}\right )}{5 \sqrt{1+\frac{1}{x}}}\\ &=\frac{12 \sqrt{-\frac{1-x}{x}} \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}+\frac{6 \sqrt{-\frac{1-x}{x}} x \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}+\frac{2 \sqrt{-\frac{1-x}{x}} x^2 \sqrt{1+x}}{5 \sqrt{1+\frac{1}{x}}}\\ \end{align*}
Mathematica [A] time = 0.0145349, size = 39, normalized size = 0.36 \[ \frac{2 \sqrt{\frac{x-1}{x}} \sqrt{x+1} \left (x^2+3 x+6\right )}{5 \sqrt{\frac{1}{x}+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.058, size = 30, normalized size = 0.3 \begin{align*}{\frac{ \left ( -2+2\,x \right ) \left ({x}^{2}+3\,x+6 \right ) }{5}{\frac{1}{\sqrt{{\frac{-1+x}{1+x}}}}}{\frac{1}{\sqrt{1+x}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.04353, size = 27, normalized size = 0.25 \begin{align*} \frac{2 \,{\left (x^{3} + 2 \, x^{2} + 3 \, x - 6\right )}}{5 \, \sqrt{x - 1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.55453, size = 74, normalized size = 0.69 \begin{align*} \frac{2}{5} \,{\left (x^{2} + 3 \, x + 6\right )} \sqrt{x + 1} \sqrt{\frac{x - 1}{x + 1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 51.9242, size = 133, normalized size = 1.24 \begin{align*} - 2 \left (\begin{cases} \frac{x \sqrt{x - 1}}{3} + \frac{5 \sqrt{x - 1}}{3} & \text{for}\: \frac{\left |{x + 1}\right |}{2} > 1 \\\frac{i x \sqrt{1 - x}}{3} + \frac{5 i \sqrt{1 - x}}{3} & \text{otherwise} \end{cases}\right ) + 2 \left (\begin{cases} \frac{8 x \sqrt{x - 1}}{15} + \frac{\sqrt{x - 1} \left (x + 1\right )^{2}}{5} + \frac{8 \sqrt{x - 1}}{3} & \text{for}\: \frac{\left |{x + 1}\right |}{2} > 1 \\\frac{8 i x \sqrt{1 - x}}{15} + \frac{i \sqrt{1 - x} \left (x + 1\right )^{2}}{5} + \frac{8 i \sqrt{1 - x}}{3} & \text{otherwise} \end{cases}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [C] time = 1.14272, size = 36, normalized size = 0.34 \begin{align*} \frac{2}{5} \,{\left (x - 1\right )}^{\frac{5}{2}} + 2 \,{\left (x - 1\right )}^{\frac{3}{2}} - \frac{8}{5} i \, \sqrt{2} + 4 \, \sqrt{x - 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]