Optimal. Leaf size=233 \[ \frac{4}{17} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{17/2}-\frac{56}{15} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{15/2}+\frac{300}{13} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{13/2}-\frac{760}{11} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{11/2}+\frac{304}{3} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{9/2}-\frac{480}{7} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{7/2}+\frac{136}{5} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{5/2}-\frac{16}{3} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{3/2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.604226, antiderivative size = 233, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 1, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.04 \[ \frac{4}{17} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{17/2}-\frac{56}{15} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{15/2}+\frac{300}{13} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{13/2}-\frac{760}{11} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{11/2}+\frac{304}{3} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{9/2}-\frac{480}{7} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{7/2}+\frac{136}{5} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{5/2}-\frac{16}{3} \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{3/2} \]
Antiderivative was successfully verified.
[In] Int[Sqrt[2 + Sqrt[3 + Sqrt[-1 + 2*Sqrt[x]]]],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 19.3475, size = 202, normalized size = 0.87 \[ \frac{4 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{17}{2}}}{17} - \frac{56 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{15}{2}}}{15} + \frac{300 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{13}{2}}}{13} - \frac{760 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{11}{2}}}{11} + \frac{304 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{9}{2}}}{3} - \frac{480 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{7}{2}}}{7} + \frac{136 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{5}{2}}}{5} - \frac{16 \left (\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2\right )^{\frac{3}{2}}}{3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((2+(3+(-1+2*x**(1/2))**(1/2))**(1/2))**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.163324, size = 183, normalized size = 0.79 \[ \frac{8 \left (\sqrt{\sqrt{2 \sqrt{x}-1}+3}+2\right )^{3/2} \left (7 \sqrt{x} \left (2145 \sqrt{2 \sqrt{x}-1} \sqrt{\sqrt{2 \sqrt{x}-1}+3}+1452 \sqrt{\sqrt{2 \sqrt{x}-1}+3}-4004 \sqrt{2 \sqrt{x}-1}-3576\right )+4 \left (3843 \sqrt{2 \sqrt{x}-1} \sqrt{\sqrt{2 \sqrt{x}-1}+3}-2535 \sqrt{\sqrt{2 \sqrt{x}-1}+3}-4286 \sqrt{2 \sqrt{x}-1}-9786\right )\right )}{255255} \]
Antiderivative was successfully verified.
[In] Integrate[Sqrt[2 + Sqrt[3 + Sqrt[-1 + 2*Sqrt[x]]]],x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.025, size = 154, normalized size = 0.7 \[ -{\frac{16}{3} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{3}{2}}}}+{\frac{136}{5} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{5}{2}}}}-{\frac{480}{7} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{7}{2}}}}+{\frac{304}{3} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{9}{2}}}}-{\frac{760}{11} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{11}{2}}}}+{\frac{300}{13} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{13}{2}}}}-{\frac{56}{15} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{15}{2}}}}+{\frac{4}{17} \left ( 2+\sqrt{3+\sqrt{-1+2\,\sqrt{x}}} \right ) ^{{\frac{17}{2}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((2+(3+(-1+2*x^(1/2))^(1/2))^(1/2))^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 0.727288, size = 207, normalized size = 0.89 \[ \frac{4}{17} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{17}{2}} - \frac{56}{15} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{15}{2}} + \frac{300}{13} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{13}{2}} - \frac{760}{11} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{11}{2}} + \frac{304}{3} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{9}{2}} - \frac{480}{7} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{7}{2}} + \frac{136}{5} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{5}{2}} - \frac{16}{3} \,{\left (\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2\right )}^{\frac{3}{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(sqrt(sqrt(2*sqrt(x) - 1) + 3) + 2),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.272282, size = 115, normalized size = 0.49 \[ -\frac{8}{255255} \,{\left ({\left (847 \, \sqrt{x} - 1688\right )} \sqrt{2 \, \sqrt{x} - 1} - 2 \,{\left ({\left (1001 \, \sqrt{x} + 6800\right )} \sqrt{2 \, \sqrt{x} - 1} - 2352 \, \sqrt{x} - 29712\right )} \sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} - 30030 \, x + 3843 \, \sqrt{x} + 124080\right )} \sqrt{\sqrt{\sqrt{2 \, \sqrt{x} - 1} + 3} + 2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(sqrt(sqrt(2*sqrt(x) - 1) + 3) + 2),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \sqrt{\sqrt{\sqrt{2 \sqrt{x} - 1} + 3} + 2}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((2+(3+(-1+2*x**(1/2))**(1/2))**(1/2))**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(sqrt(sqrt(2*sqrt(x) - 1) + 3) + 2),x, algorithm="giac")
[Out]