Optimal. Leaf size=133 \[ -\frac{(1-x) \sqrt{\frac{2 x}{x^2+1}+1} (x+1)^3}{3 \left (x^2+1\right )}-\frac{4}{3} (1-2 x) \sqrt{\frac{2 x}{x^2+1}+1} (x+1)-\frac{(3 x+4) \left (x^2+1\right ) \sqrt{\frac{2 x}{x^2+1}+1}}{x+1}+\frac{5 \sqrt{x^2+1} \sqrt{\frac{2 x}{x^2+1}+1} \sinh ^{-1}(x)}{x+1} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0737738, antiderivative size = 133, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.375, Rules used = {6723, 970, 739, 819, 780, 215} \[ -\frac{(1-x) \sqrt{\frac{2 x}{x^2+1}+1} (x+1)^3}{3 \left (x^2+1\right )}-\frac{4}{3} (1-2 x) \sqrt{\frac{2 x}{x^2+1}+1} (x+1)-\frac{(3 x+4) \left (x^2+1\right ) \sqrt{\frac{2 x}{x^2+1}+1}}{x+1}+\frac{5 \sqrt{x^2+1} \sqrt{\frac{2 x}{x^2+1}+1} \sinh ^{-1}(x)}{x+1} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6723
Rule 970
Rule 739
Rule 819
Rule 780
Rule 215
Rubi steps
\begin{align*} \int \left (1+\frac{2 x}{1+x^2}\right )^{5/2} \, dx &=\frac{\left (\sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}}\right ) \int \frac{\left (1+2 x+x^2\right )^{5/2}}{\left (1+x^2\right )^{5/2}} \, dx}{\sqrt{1+2 x+x^2}}\\ &=\frac{\left (\sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}}\right ) \int \frac{(2+2 x)^5}{\left (1+x^2\right )^{5/2}} \, dx}{16 (2+2 x)}\\ &=-\frac{(1-x) (1+x)^3 \sqrt{1+\frac{2 x}{1+x^2}}}{3 \left (1+x^2\right )}+\frac{\left (\sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}}\right ) \int \frac{(24-8 x) (2+2 x)^3}{\left (1+x^2\right )^{3/2}} \, dx}{48 (2+2 x)}\\ &=-\frac{4}{3} (1-2 x) (1+x) \sqrt{1+\frac{2 x}{1+x^2}}-\frac{(1-x) (1+x)^3 \sqrt{1+\frac{2 x}{1+x^2}}}{3 \left (1+x^2\right )}+\frac{\left (\sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}}\right ) \int \frac{(96-288 x) (2+2 x)}{\sqrt{1+x^2}} \, dx}{48 (2+2 x)}\\ &=-\frac{4}{3} (1-2 x) (1+x) \sqrt{1+\frac{2 x}{1+x^2}}-\frac{(1-x) (1+x)^3 \sqrt{1+\frac{2 x}{1+x^2}}}{3 \left (1+x^2\right )}-\frac{(4+3 x) \left (1+x^2\right ) \sqrt{1+\frac{2 x}{1+x^2}}}{1+x}+\frac{\left (10 \sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}}\right ) \int \frac{1}{\sqrt{1+x^2}} \, dx}{2+2 x}\\ &=-\frac{4}{3} (1-2 x) (1+x) \sqrt{1+\frac{2 x}{1+x^2}}-\frac{(1-x) (1+x)^3 \sqrt{1+\frac{2 x}{1+x^2}}}{3 \left (1+x^2\right )}-\frac{(4+3 x) \left (1+x^2\right ) \sqrt{1+\frac{2 x}{1+x^2}}}{1+x}+\frac{5 \sqrt{1+x^2} \sqrt{1+\frac{2 x}{1+x^2}} \sinh ^{-1}(x)}{1+x}\\ \end{align*}
Mathematica [A] time = 0.0728741, size = 64, normalized size = 0.48 \[ \frac{(x+1) \left (3 x^4-8 x^3-18 x^2+15 \left (x^2+1\right )^{3/2} \sinh ^{-1}(x)-12 x-17\right )}{3 \sqrt{\frac{(x+1)^2}{x^2+1}} \left (x^2+1\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.015, size = 62, normalized size = 0.5 \begin{align*}{\frac{{x}^{2}+1}{3\, \left ( 1+x \right ) ^{5}} \left ({\frac{{x}^{2}+2\,x+1}{{x}^{2}+1}} \right ) ^{{\frac{5}{2}}} \left ( 15\,{\it Arcsinh} \left ( x \right ) \left ({x}^{2}+1 \right ) ^{3/2}+3\,{x}^{4}-8\,{x}^{3}-18\,{x}^{2}-12\,x-17 \right ) } \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{\left (\frac{2 \, x}{x^{2} + 1} + 1\right )}^{\frac{5}{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.43611, size = 292, normalized size = 2.2 \begin{align*} -\frac{8 \, x^{3} + 8 \, x^{2} + 15 \,{\left (x^{3} + x^{2} + x + 1\right )} \log \left (-\frac{x^{2} -{\left (x^{2} + 1\right )} \sqrt{\frac{x^{2} + 2 \, x + 1}{x^{2} + 1}} + x}{x + 1}\right ) -{\left (3 \, x^{4} - 8 \, x^{3} - 18 \, x^{2} - 12 \, x - 17\right )} \sqrt{\frac{x^{2} + 2 \, x + 1}{x^{2} + 1}} + 8 \, x + 8}{3 \,{\left (x^{3} + 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 \left (\frac{2 x}{x^{2} + 1} + 1\right )^{\frac{5}{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.13822, size = 116, normalized size = 0.87 \begin{align*}{\left (\sqrt{2} + 5 \, \log \left (\sqrt{2} + 1\right )\right )} \mathrm{sgn}\left (x + 1\right ) - 5 \, \log \left (-x + \sqrt{x^{2} + 1}\right ) \mathrm{sgn}\left (x + 1\right ) + \frac{{\left ({\left ({\left (3 \, x \mathrm{sgn}\left (x + 1\right ) - 8 \, \mathrm{sgn}\left (x + 1\right )\right )} x - 18 \, \mathrm{sgn}\left (x + 1\right )\right )} x - 12 \, \mathrm{sgn}\left (x + 1\right )\right )} x - 17 \, \mathrm{sgn}\left (x + 1\right )}{3 \,{\left (x^{2} + 1\right )}^{\frac{3}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]