Optimal. Leaf size=193 \[ -\frac{\left (2 \sqrt{x}-1\right )^{5/4}}{x}-\frac{5 \sqrt [4]{2 \sqrt{x}-1}}{2 \sqrt{x}}-\frac{5 \log \left (\sqrt{2 \sqrt{x}-1}-\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{4 \sqrt{2}}+\frac{5 \log \left (\sqrt{2 \sqrt{x}-1}+\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{4 \sqrt{2}}-\frac{5 \tan ^{-1}\left (1-\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}\right )}{2 \sqrt{2}}+\frac{5 \tan ^{-1}\left (\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{2 \sqrt{2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.113249, antiderivative size = 193, normalized size of antiderivative = 1., number of steps used = 13, number of rules used = 9, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.529, Rules used = {266, 47, 63, 211, 1165, 628, 1162, 617, 204} \[ -\frac{\left (2 \sqrt{x}-1\right )^{5/4}}{x}-\frac{5 \sqrt [4]{2 \sqrt{x}-1}}{2 \sqrt{x}}-\frac{5 \log \left (\sqrt{2 \sqrt{x}-1}-\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{4 \sqrt{2}}+\frac{5 \log \left (\sqrt{2 \sqrt{x}-1}+\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{4 \sqrt{2}}-\frac{5 \tan ^{-1}\left (1-\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}\right )}{2 \sqrt{2}}+\frac{5 \tan ^{-1}\left (\sqrt{2} \sqrt [4]{2 \sqrt{x}-1}+1\right )}{2 \sqrt{2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 266
Rule 47
Rule 63
Rule 211
Rule 1165
Rule 628
Rule 1162
Rule 617
Rule 204
Rubi steps
\begin{align*} \int \frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x^2} \, dx &=2 \operatorname{Subst}\left (\int \frac{(-1+2 x)^{5/4}}{x^3} \, dx,x,\sqrt{x}\right )\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}+\frac{5}{2} \operatorname{Subst}\left (\int \frac{\sqrt [4]{-1+2 x}}{x^2} \, dx,x,\sqrt{x}\right )\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}+\frac{5}{4} \operatorname{Subst}\left (\int \frac{1}{x (-1+2 x)^{3/4}} \, dx,x,\sqrt{x}\right )\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}+\frac{5}{2} \operatorname{Subst}\left (\int \frac{1}{\frac{1}{2}+\frac{x^4}{2}} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}+\frac{5}{4} \operatorname{Subst}\left (\int \frac{1-x^2}{\frac{1}{2}+\frac{x^4}{2}} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )+\frac{5}{4} \operatorname{Subst}\left (\int \frac{1+x^2}{\frac{1}{2}+\frac{x^4}{2}} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}+\frac{5}{4} \operatorname{Subst}\left (\int \frac{1}{1-\sqrt{2} x+x^2} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )+\frac{5}{4} \operatorname{Subst}\left (\int \frac{1}{1+\sqrt{2} x+x^2} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )-\frac{5 \operatorname{Subst}\left (\int \frac{\sqrt{2}+2 x}{-1-\sqrt{2} x-x^2} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}-\frac{5 \operatorname{Subst}\left (\int \frac{\sqrt{2}-2 x}{-1+\sqrt{2} x-x^2} \, dx,x,\sqrt [4]{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}-\frac{5 \log \left (1-\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}+\sqrt{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}+\frac{5 \log \left (1+\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}+\sqrt{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}+\frac{5 \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}\right )}{2 \sqrt{2}}-\frac{5 \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}\right )}{2 \sqrt{2}}\\ &=-\frac{\left (-1+2 \sqrt{x}\right )^{5/4}}{x}-\frac{5 \sqrt [4]{-1+2 \sqrt{x}}}{2 \sqrt{x}}-\frac{5 \tan ^{-1}\left (1-\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}\right )}{2 \sqrt{2}}+\frac{5 \tan ^{-1}\left (1+\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}\right )}{2 \sqrt{2}}-\frac{5 \log \left (1-\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}+\sqrt{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}+\frac{5 \log \left (1+\sqrt{2} \sqrt [4]{-1+2 \sqrt{x}}+\sqrt{-1+2 \sqrt{x}}\right )}{4 \sqrt{2}}\\ \end{align*}
Mathematica [C] time = 0.0077126, size = 34, normalized size = 0.18 \[ \frac{32}{9} \left (2 \sqrt{x}-1\right )^{9/4} \, _2F_1\left (\frac{9}{4},3;\frac{13}{4};1-2 \sqrt{x}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.013, size = 130, normalized size = 0.7 \begin{align*} 8\,{\frac{1}{x} \left ( -{\frac{9\, \left ( -1+2\,\sqrt{x} \right ) ^{5/4}}{32}}-{\frac{5\,\sqrt [4]{-1+2\,\sqrt{x}}}{32}} \right ) }+{\frac{5\,\sqrt{2}}{4}\arctan \left ( 1+\sqrt{2}\sqrt [4]{-1+2\,\sqrt{x}} \right ) }+{\frac{5\,\sqrt{2}}{4}\arctan \left ( -1+\sqrt{2}\sqrt [4]{-1+2\,\sqrt{x}} \right ) }+{\frac{5\,\sqrt{2}}{8}\ln \left ({ \left ( 1+\sqrt{2}\sqrt [4]{-1+2\,\sqrt{x}}+\sqrt{-1+2\,\sqrt{x}} \right ) \left ( 1-\sqrt{2}\sqrt [4]{-1+2\,\sqrt{x}}+\sqrt{-1+2\,\sqrt{x}} \right ) ^{-1}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.46602, size = 212, normalized size = 1.1 \begin{align*} \frac{5}{4} \, \sqrt{2} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (\sqrt{2} + 2 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}\right )}\right ) + \frac{5}{4} \, \sqrt{2} \arctan \left (-\frac{1}{2} \, \sqrt{2}{\left (\sqrt{2} - 2 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}\right )}\right ) + \frac{5}{8} \, \sqrt{2} \log \left (\sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + \sqrt{2 \, \sqrt{x} - 1} + 1\right ) - \frac{5}{8} \, \sqrt{2} \log \left (-\sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + \sqrt{2 \, \sqrt{x} - 1} + 1\right ) - \frac{9 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{5}{4}} + 5 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}}{{\left (2 \, \sqrt{x} - 1\right )}^{2} + 4 \, \sqrt{x} - 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.89518, size = 643, normalized size = 3.33 \begin{align*} -\frac{20 \, \sqrt{2} x \arctan \left (\sqrt{2} \sqrt{\sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + \sqrt{2 \, \sqrt{x} - 1} + 1} - \sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} - 1\right ) + 20 \, \sqrt{2} x \arctan \left (\frac{1}{2} \, \sqrt{2} \sqrt{-4 \, \sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + 4 \, \sqrt{2 \, \sqrt{x} - 1} + 4} - \sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + 1\right ) - 5 \, \sqrt{2} x \log \left (4 \, \sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + 4 \, \sqrt{2 \, \sqrt{x} - 1} + 4\right ) + 5 \, \sqrt{2} x \log \left (-4 \, \sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + 4 \, \sqrt{2 \, \sqrt{x} - 1} + 4\right ) + 4 \,{\left (9 \, \sqrt{x} - 2\right )}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}}{8 \, x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 19.9278, size = 44, normalized size = 0.23 \begin{align*} - \frac{4 \sqrt [4]{2} \Gamma \left (\frac{3}{4}\right ){{}_{2}F_{1}\left (\begin{matrix} - \frac{5}{4}, \frac{3}{4} \\ \frac{7}{4} \end{matrix}\middle |{\frac{e^{2 i \pi }}{2 \sqrt{x}}} \right )}}{x^{\frac{3}{8}} \Gamma \left (\frac{7}{4}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.07839, size = 192, normalized size = 0.99 \begin{align*} \frac{5}{4} \, \sqrt{2} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (\sqrt{2} + 2 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}\right )}\right ) + \frac{5}{4} \, \sqrt{2} \arctan \left (-\frac{1}{2} \, \sqrt{2}{\left (\sqrt{2} - 2 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}\right )}\right ) + \frac{5}{8} \, \sqrt{2} \log \left (\sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + \sqrt{2 \, \sqrt{x} - 1} + 1\right ) - \frac{5}{8} \, \sqrt{2} \log \left (-\sqrt{2}{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}} + \sqrt{2 \, \sqrt{x} - 1} + 1\right ) - \frac{9 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{5}{4}} + 5 \,{\left (2 \, \sqrt{x} - 1\right )}^{\frac{1}{4}}}{4 \, x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]