Optimal. Leaf size=201 \[ 6 \sqrt [6]{x}+x-\frac {3}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\frac {1-\sqrt {5}+4 \sqrt [6]{x}}{\sqrt {2 \left (5+\sqrt {5}\right )}}\right )-\frac {3}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \tan ^{-1}\left (\frac {1}{2} \sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (1+\sqrt {5}+4 \sqrt [6]{x}\right )\right )+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}-\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}+\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.16, antiderivative size = 201, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 9, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {1598, 348,
308, 208, 648, 632, 210, 642, 31} \begin {gather*} -\frac {3}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \text {ArcTan}\left (\frac {4 \sqrt [6]{x}-\sqrt {5}+1}{\sqrt {2 \left (5+\sqrt {5}\right )}}\right )-\frac {3}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \text {ArcTan}\left (\frac {1}{2} \sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (4 \sqrt [6]{x}+\sqrt {5}+1\right )\right )+x+6 \sqrt [6]{x}+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}-\sqrt {5} \sqrt [6]{x}+\sqrt [6]{x}+2\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}+\sqrt {5} \sqrt [6]{x}+\sqrt [6]{x}+2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 208
Rule 210
Rule 308
Rule 348
Rule 632
Rule 642
Rule 648
Rule 1598
Rubi steps
\begin {align*} \int \frac {\sqrt {x}}{-\frac {1}{\sqrt [3]{x}}+\sqrt {x}} \, dx &=\int \frac {x^{5/6}}{-1+x^{5/6}} \, dx\\ &=6 \text {Subst}\left (\int \frac {x^{10}}{-1+x^5} \, dx,x,\sqrt [6]{x}\right )\\ &=6 \text {Subst}\left (\int \left (1+x^5+\frac {1}{-1+x^5}\right ) \, dx,x,\sqrt [6]{x}\right )\\ &=6 \sqrt [6]{x}+x+6 \text {Subst}\left (\int \frac {1}{-1+x^5} \, dx,x,\sqrt [6]{x}\right )\\ &=6 \sqrt [6]{x}+x-\frac {6}{5} \text {Subst}\left (\int \frac {1}{1-x} \, dx,x,\sqrt [6]{x}\right )-\frac {12}{5} \text {Subst}\left (\int \frac {1+\frac {1}{4} \left (1-\sqrt {5}\right ) x}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {12}{5} \text {Subst}\left (\int \frac {1+\frac {1}{4} \left (1+\sqrt {5}\right ) x}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )\\ &=6 \sqrt [6]{x}+x+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {1}{10} \left (3 \left (1-\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {\frac {1}{2} \left (1-\sqrt {5}\right )+2 x}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {1}{10} \left (3 \left (5-\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {1}{10} \left (3 \left (1+\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {\frac {1}{2} \left (1+\sqrt {5}\right )+2 x}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {1}{10} \left (3 \left (5+\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )\\ &=6 \sqrt [6]{x}+x+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}-\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}+\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )+\frac {1}{5} \left (3 \left (5-\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{2} \left (-5+\sqrt {5}\right )-x^2} \, dx,x,\frac {1}{2} \left (1+\sqrt {5}\right )+2 \sqrt [6]{x}\right )+\frac {1}{5} \left (3 \left (5+\sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{2} \left (-5-\sqrt {5}\right )-x^2} \, dx,x,\frac {1}{2} \left (1-\sqrt {5}\right )+2 \sqrt [6]{x}\right )\\ &=6 \sqrt [6]{x}+x-\frac {3}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\frac {1-\sqrt {5}+4 \sqrt [6]{x}}{\sqrt {2 \left (5+\sqrt {5}\right )}}\right )-\frac {3}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \tan ^{-1}\left (\frac {1}{2} \sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (1+\sqrt {5}+4 \sqrt [6]{x}\right )\right )+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}-\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}+\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.05, size = 127, normalized size = 0.63 \begin {gather*} 6 \sqrt [6]{x}+x+\frac {6}{5} \log \left (-1+\sqrt [6]{x}\right )-\frac {6}{5} \text {RootSum}\left [1+\text {$\#$1}+\text {$\#$1}^2+\text {$\#$1}^3+\text {$\#$1}^4\&,\frac {4 \log \left (\sqrt [6]{x}-\text {$\#$1}\right )+3 \log \left (\sqrt [6]{x}-\text {$\#$1}\right ) \text {$\#$1}+2 \log \left (\sqrt [6]{x}-\text {$\#$1}\right ) \text {$\#$1}^2+\log \left (\sqrt [6]{x}-\text {$\#$1}\right ) \text {$\#$1}^3}{1+2 \text {$\#$1}+3 \text {$\#$1}^2+4 \text {$\#$1}^3}\&\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.05, size = 166, normalized size = 0.83
method | result | size |
meijerg | \(\frac {6 \left (-1\right )^{\frac {4}{5}} \left (-\frac {5 x^{\frac {1}{6}} \left (-1\right )^{\frac {1}{5}} \left (11 x^{\frac {5}{6}}+66\right )}{66}-\left (-1\right )^{\frac {1}{5}} \left (\ln \left (1-x^{\frac {1}{6}}\right )+\cos \left (\frac {2 \pi }{5}\right ) \ln \left (1-2 \cos \left (\frac {2 \pi }{5}\right ) x^{\frac {1}{6}}+x^{\frac {1}{3}}\right )-2 \sin \left (\frac {2 \pi }{5}\right ) \arctan \left (\frac {\sin \left (\frac {2 \pi }{5}\right ) x^{\frac {1}{6}}}{1-\cos \left (\frac {2 \pi }{5}\right ) x^{\frac {1}{6}}}\right )-\cos \left (\frac {\pi }{5}\right ) \ln \left (1+2 \cos \left (\frac {\pi }{5}\right ) x^{\frac {1}{6}}+x^{\frac {1}{3}}\right )-2 \sin \left (\frac {\pi }{5}\right ) \arctan \left (\frac {\sin \left (\frac {\pi }{5}\right ) x^{\frac {1}{6}}}{1+\cos \left (\frac {\pi }{5}\right ) x^{\frac {1}{6}}}\right )\right )\right )}{5}\) | \(132\) |
derivativedivides | \(x +6 x^{\frac {1}{6}}+\frac {6 \ln \left (-1+x^{\frac {1}{6}}\right )}{5}-\frac {3 \ln \left (2+x^{\frac {1}{6}}+2 x^{\frac {1}{3}}-x^{\frac {1}{6}} \sqrt {5}\right ) \left (-\sqrt {5}+1\right )}{10}-\frac {12 \left (4-\frac {\left (-\sqrt {5}+1\right )^{2}}{4}\right ) \arctan \left (\frac {1+4 x^{\frac {1}{6}}-\sqrt {5}}{\sqrt {10+2 \sqrt {5}}}\right )}{5 \sqrt {10+2 \sqrt {5}}}+\frac {3 \left (-\sqrt {5}-1\right ) \ln \left (2+x^{\frac {1}{6}}+2 x^{\frac {1}{3}}+x^{\frac {1}{6}} \sqrt {5}\right )}{10}+\frac {12 \left (-4-\frac {\left (-\sqrt {5}-1\right ) \left (\sqrt {5}+1\right )}{4}\right ) \arctan \left (\frac {1+4 x^{\frac {1}{6}}+\sqrt {5}}{\sqrt {10-2 \sqrt {5}}}\right )}{5 \sqrt {10-2 \sqrt {5}}}\) | \(166\) |
default | \(x +6 x^{\frac {1}{6}}+\frac {6 \ln \left (-1+x^{\frac {1}{6}}\right )}{5}-\frac {3 \ln \left (2+x^{\frac {1}{6}}+2 x^{\frac {1}{3}}-x^{\frac {1}{6}} \sqrt {5}\right ) \left (-\sqrt {5}+1\right )}{10}-\frac {12 \left (4-\frac {\left (-\sqrt {5}+1\right )^{2}}{4}\right ) \arctan \left (\frac {1+4 x^{\frac {1}{6}}-\sqrt {5}}{\sqrt {10+2 \sqrt {5}}}\right )}{5 \sqrt {10+2 \sqrt {5}}}+\frac {3 \left (-\sqrt {5}-1\right ) \ln \left (2+x^{\frac {1}{6}}+2 x^{\frac {1}{3}}+x^{\frac {1}{6}} \sqrt {5}\right )}{10}+\frac {12 \left (-4-\frac {\left (-\sqrt {5}-1\right ) \left (\sqrt {5}+1\right )}{4}\right ) \arctan \left (\frac {1+4 x^{\frac {1}{6}}+\sqrt {5}}{\sqrt {10-2 \sqrt {5}}}\right )}{5 \sqrt {10-2 \sqrt {5}}}\) | \(166\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 293 vs.
\(2 (134) = 268\).
time = 1.61, size = 293, normalized size = 1.46 \begin {gather*} -\frac {3 \, \sqrt {5} \left (-1\right )^{\frac {1}{5}} {\left (\sqrt {5} - 1\right )} \log \left (\frac {\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} - 10} + \left (-1\right )^{\frac {1}{5}} - 4 \, x^{\frac {1}{6}}}{\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} - 10} + \left (-1\right )^{\frac {1}{5}} - 4 \, x^{\frac {1}{6}}}\right )}{5 \, \sqrt {2 \, \sqrt {5} - 10}} - \frac {3 \, \sqrt {5} \left (-1\right )^{\frac {1}{5}} {\left (\sqrt {5} + 1\right )} \log \left (\frac {\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} - 10} - \left (-1\right )^{\frac {1}{5}} + 4 \, x^{\frac {1}{6}}}{\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} - 10} - \left (-1\right )^{\frac {1}{5}} + 4 \, x^{\frac {1}{6}}}\right )}{5 \, \sqrt {-2 \, \sqrt {5} - 10}} - \frac {6}{5} \, \left (-1\right )^{\frac {1}{5}} \log \left (\left (-1\right )^{\frac {1}{5}} + x^{\frac {1}{6}}\right ) + x - \frac {3 \, {\left (\sqrt {5} + 3\right )} \log \left (-x^{\frac {1}{6}} {\left (\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}}\right )} + 2 \, \left (-1\right )^{\frac {2}{5}} + 2 \, x^{\frac {1}{3}}\right )}{5 \, {\left (\sqrt {5} \left (-1\right )^{\frac {4}{5}} + \left (-1\right )^{\frac {4}{5}}\right )}} - \frac {3 \, {\left (\sqrt {5} - 3\right )} \log \left (x^{\frac {1}{6}} {\left (\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}}\right )} + 2 \, \left (-1\right )^{\frac {2}{5}} + 2 \, x^{\frac {1}{3}}\right )}{5 \, {\left (\sqrt {5} \left (-1\right )^{\frac {4}{5}} - \left (-1\right )^{\frac {4}{5}}\right )}} + 6 \, x^{\frac {1}{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 547 vs.
\(2 (134) = 268\).
time = 2.90, size = 547, normalized size = 2.72 \begin {gather*} -\frac {3}{10} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )} \log \left (\frac {3}{2} \, \sqrt {2} \sqrt {\sqrt {5} - 5} + \frac {3}{2} \, \sqrt {5} + 6 \, x^{\frac {1}{6}} + \frac {3}{2}\right ) + \frac {3}{10} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} \log \left (-\frac {3}{2} \, \sqrt {2} \sqrt {\sqrt {5} - 5} + \frac {3}{2} \, \sqrt {5} + 6 \, x^{\frac {1}{6}} + \frac {3}{2}\right ) + \frac {1}{10} \, {\left (3 \, \sqrt {5} - \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} - 3\right )} \log \left (-3 \, \sqrt {5} + \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} + 12 \, x^{\frac {1}{6}} + 3\right ) + \frac {1}{10} \, {\left (3 \, \sqrt {5} + \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} - 3\right )} \log \left (-3 \, \sqrt {5} - \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} + 12 \, x^{\frac {1}{6}} + 3\right ) + x + 6 \, x^{\frac {1}{6}} + \frac {6}{5} \, \log \left (x^{\frac {1}{6}} - 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{\frac {5}{6}}}{\left (\sqrt [6]{x} - 1\right ) \left (\sqrt [6]{x} + x^{\frac {2}{3}} + \sqrt [3]{x} + \sqrt {x} + 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.50, size = 140, normalized size = 0.70 \begin {gather*} -\frac {3}{5} \, \sqrt {2 \, \sqrt {5} + 10} \arctan \left (-\frac {\sqrt {5} - 4 \, x^{\frac {1}{6}} - 1}{\sqrt {2 \, \sqrt {5} + 10}}\right ) - \frac {3}{5} \, \sqrt {-2 \, \sqrt {5} + 10} \arctan \left (\frac {\sqrt {5} + 4 \, x^{\frac {1}{6}} + 1}{\sqrt {-2 \, \sqrt {5} + 10}}\right ) - \frac {3}{10} \, \sqrt {5} \log \left (\frac {1}{2} \, x^{\frac {1}{6}} {\left (\sqrt {5} + 1\right )} + x^{\frac {1}{3}} + 1\right ) + \frac {3}{10} \, \sqrt {5} \log \left (-\frac {1}{2} \, x^{\frac {1}{6}} {\left (\sqrt {5} - 1\right )} + x^{\frac {1}{3}} + 1\right ) + x + 6 \, x^{\frac {1}{6}} - \frac {3}{10} \, \log \left (x^{\frac {2}{3}} + \sqrt {x} + x^{\frac {1}{3}} + x^{\frac {1}{6}} + 1\right ) + \frac {6}{5} \, \log \left ({\left | x^{\frac {1}{6}} - 1 \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 208, normalized size = 1.03 \begin {gather*} x+\frac {6\,\ln \left (1296\,x^{1/6}-1296\right )}{5}-\ln \left (270\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}-270\,\sqrt {5}+1080\,x^{1/6}+270\right )\,\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}-\frac {3\,\sqrt {5}}{10}+\frac {3}{10}\right )+\ln \left (270\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}+270\,\sqrt {5}-1080\,x^{1/6}-270\right )\,\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}+\frac {3\,\sqrt {5}}{10}-\frac {3}{10}\right )+6\,x^{1/6}-\ln \left (270\,\sqrt {5}+1080\,x^{1/6}-270\,\sqrt {2}\,\sqrt {\sqrt {5}-5}+270\right )\,\left (\frac {3\,\sqrt {5}}{10}-\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right )-\ln \left (270\,\sqrt {5}+1080\,x^{1/6}+270\,\sqrt {2}\,\sqrt {\sqrt {5}-5}+270\right )\,\left (\frac {3\,\sqrt {5}}{10}+\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________