Integrand size = 27, antiderivative size = 92 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=4 \sqrt {1+\sqrt {1+x}}-\frac {2}{5} \left (-5+3 \sqrt {5}\right ) \text {arctanh}\left (\frac {2 \sqrt {1+\sqrt {1+x}}}{-1+\sqrt {5}}\right )-\frac {2}{5} \left (5+3 \sqrt {5}\right ) \text {arctanh}\left (\frac {2 \sqrt {1+\sqrt {1+x}}}{1+\sqrt {5}}\right ) \]
[Out]
Time = 0.17 (sec) , antiderivative size = 114, normalized size of antiderivative = 1.24, number of steps used = 6, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.148, Rules used = {838, 840, 1180, 213} \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=-2 \sqrt {\frac {2}{5} \left (7+3 \sqrt {5}\right )} \text {arctanh}\left (\sqrt {\frac {2}{3+\sqrt {5}}} \sqrt {\sqrt {x+1}+1}\right )-2 \sqrt {\frac {2}{5} \left (7-3 \sqrt {5}\right )} \text {arctanh}\left (\sqrt {\frac {1}{2} \left (3+\sqrt {5}\right )} \sqrt {\sqrt {x+1}+1}\right )+4 \sqrt {\sqrt {x+1}+1} \]
[In]
[Out]
Rule 213
Rule 838
Rule 840
Rule 1180
Rubi steps \begin{align*} \text {integral}& = 2 \text {Subst}\left (\int \frac {x \sqrt {1+x}}{-1-x+x^2} \, dx,x,\sqrt {1+x}\right ) \\ & = 4 \sqrt {1+\sqrt {1+x}}+2 \text {Subst}\left (\int \frac {1+2 x}{\sqrt {1+x} \left (-1-x+x^2\right )} \, dx,x,\sqrt {1+x}\right ) \\ & = 4 \sqrt {1+\sqrt {1+x}}+4 \text {Subst}\left (\int \frac {-1+2 x^2}{1-3 x^2+x^4} \, dx,x,\sqrt {1+\sqrt {1+x}}\right ) \\ & = 4 \sqrt {1+\sqrt {1+x}}+\frac {1}{5} \left (4 \left (5-2 \sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{-\frac {3}{2}+\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+\sqrt {1+x}}\right )+\frac {1}{5} \left (4 \left (5+2 \sqrt {5}\right )\right ) \text {Subst}\left (\int \frac {1}{-\frac {3}{2}-\frac {\sqrt {5}}{2}+x^2} \, dx,x,\sqrt {1+\sqrt {1+x}}\right ) \\ & = 4 \sqrt {1+\sqrt {1+x}}-2 \sqrt {\frac {2}{5} \left (7+3 \sqrt {5}\right )} \text {arctanh}\left (\sqrt {\frac {2}{3+\sqrt {5}}} \sqrt {1+\sqrt {1+x}}\right )-\frac {2}{5} \sqrt {70-30 \sqrt {5}} \text {arctanh}\left (\sqrt {\frac {1}{2} \left (3+\sqrt {5}\right )} \sqrt {1+\sqrt {1+x}}\right ) \\ \end{align*}
Time = 0.16 (sec) , antiderivative size = 86, normalized size of antiderivative = 0.93 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=4 \sqrt {1+\sqrt {1+x}}+\left (-2-\frac {6}{\sqrt {5}}\right ) \text {arctanh}\left (\frac {1}{2} \left (-1+\sqrt {5}\right ) \sqrt {1+\sqrt {1+x}}\right )+\left (2-\frac {6}{\sqrt {5}}\right ) \text {arctanh}\left (\frac {1}{2} \left (1+\sqrt {5}\right ) \sqrt {1+\sqrt {1+x}}\right ) \]
[In]
[Out]
Time = 0.18 (sec) , antiderivative size = 97, normalized size of antiderivative = 1.05
method | result | size |
derivativedivides | \(4 \sqrt {\sqrt {1+x}+1}+\ln \left (\sqrt {1+x}-\sqrt {\sqrt {1+x}+1}\right )-\frac {6 \sqrt {5}\, \operatorname {arctanh}\left (\frac {\left (2 \sqrt {\sqrt {1+x}+1}-1\right ) \sqrt {5}}{5}\right )}{5}-\ln \left (\sqrt {1+x}+\sqrt {\sqrt {1+x}+1}\right )-\frac {6 \sqrt {5}\, \operatorname {arctanh}\left (\frac {\left (2 \sqrt {\sqrt {1+x}+1}+1\right ) \sqrt {5}}{5}\right )}{5}\) | \(97\) |
default | \(4 \sqrt {\sqrt {1+x}+1}+\ln \left (\sqrt {1+x}-\sqrt {\sqrt {1+x}+1}\right )-\frac {6 \sqrt {5}\, \operatorname {arctanh}\left (\frac {\left (2 \sqrt {\sqrt {1+x}+1}-1\right ) \sqrt {5}}{5}\right )}{5}-\ln \left (\sqrt {1+x}+\sqrt {\sqrt {1+x}+1}\right )-\frac {6 \sqrt {5}\, \operatorname {arctanh}\left (\frac {\left (2 \sqrt {\sqrt {1+x}+1}+1\right ) \sqrt {5}}{5}\right )}{5}\) | \(97\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 234 vs. \(2 (68) = 136\).
Time = 0.26 (sec) , antiderivative size = 234, normalized size of antiderivative = 2.54 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=\frac {3}{5} \, \sqrt {5} \log \left (\frac {2 \, x^{2} + \sqrt {5} {\left (3 \, x + 1\right )} + {\left (\sqrt {5} {\left (x + 2\right )} + 5 \, x\right )} \sqrt {x + 1} - {\left (\sqrt {5} {\left (x + 2\right )} + {\left (\sqrt {5} {\left (2 \, x - 1\right )} + 5\right )} \sqrt {x + 1} + 5 \, x\right )} \sqrt {\sqrt {x + 1} + 1} + 3 \, x + 3}{x^{2} - x - 1}\right ) + \frac {3}{5} \, \sqrt {5} \log \left (\frac {2 \, x^{2} - \sqrt {5} {\left (3 \, x + 1\right )} - {\left (\sqrt {5} {\left (x + 2\right )} - 5 \, x\right )} \sqrt {x + 1} - {\left (\sqrt {5} {\left (x + 2\right )} + {\left (\sqrt {5} {\left (2 \, x - 1\right )} - 5\right )} \sqrt {x + 1} - 5 \, x\right )} \sqrt {\sqrt {x + 1} + 1} + 3 \, x + 3}{x^{2} - x - 1}\right ) + 4 \, \sqrt {\sqrt {x + 1} + 1} - \log \left (\sqrt {x + 1} + \sqrt {\sqrt {x + 1} + 1}\right ) + \log \left (\sqrt {x + 1} - \sqrt {\sqrt {x + 1} + 1}\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 165 vs. \(2 (76) = 152\).
Time = 4.11 (sec) , antiderivative size = 165, normalized size of antiderivative = 1.79 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=4 \sqrt {\sqrt {x + 1} + 1} + \frac {3 \sqrt {5} \left (- \log {\left (\sqrt {\sqrt {x + 1} + 1} - \frac {1}{2} + \frac {\sqrt {5}}{2} \right )} + \log {\left (\sqrt {\sqrt {x + 1} + 1} - \frac {\sqrt {5}}{2} - \frac {1}{2} \right )}\right )}{5} + \frac {3 \sqrt {5} \left (- \log {\left (\sqrt {\sqrt {x + 1} + 1} + \frac {1}{2} + \frac {\sqrt {5}}{2} \right )} + \log {\left (\sqrt {\sqrt {x + 1} + 1} - \frac {\sqrt {5}}{2} + \frac {1}{2} \right )}\right )}{5} + \log {\left (\sqrt {x + 1} - \sqrt {\sqrt {x + 1} + 1} \right )} - \log {\left (\sqrt {x + 1} + \sqrt {\sqrt {x + 1} + 1} \right )} \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 132, normalized size of antiderivative = 1.43 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=\frac {3}{5} \, \sqrt {5} \log \left (-\frac {\sqrt {5} - 2 \, \sqrt {\sqrt {x + 1} + 1} + 1}{\sqrt {5} + 2 \, \sqrt {\sqrt {x + 1} + 1} - 1}\right ) + \frac {3}{5} \, \sqrt {5} \log \left (-\frac {\sqrt {5} - 2 \, \sqrt {\sqrt {x + 1} + 1} - 1}{\sqrt {5} + 2 \, \sqrt {\sqrt {x + 1} + 1} + 1}\right ) + 4 \, \sqrt {\sqrt {x + 1} + 1} - \log \left (\sqrt {x + 1} + \sqrt {\sqrt {x + 1} + 1}\right ) + \log \left (\sqrt {x + 1} - \sqrt {\sqrt {x + 1} + 1}\right ) \]
[In]
[Out]
none
Time = 0.54 (sec) , antiderivative size = 136, normalized size of antiderivative = 1.48 \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=\frac {3}{5} \, \sqrt {5} \log \left (-\frac {\sqrt {5} - 2 \, \sqrt {\sqrt {x + 1} + 1} - 1}{\sqrt {5} + 2 \, \sqrt {\sqrt {x + 1} + 1} + 1}\right ) + \frac {3}{5} \, \sqrt {5} \log \left (\frac {{\left | -\sqrt {5} + 2 \, \sqrt {\sqrt {x + 1} + 1} - 1 \right |}}{{\left | \sqrt {5} + 2 \, \sqrt {\sqrt {x + 1} + 1} - 1 \right |}}\right ) + 4 \, \sqrt {\sqrt {x + 1} + 1} - \log \left (\sqrt {x + 1} + \sqrt {\sqrt {x + 1} + 1}\right ) + \log \left ({\left | \sqrt {x + 1} - \sqrt {\sqrt {x + 1} + 1} \right |}\right ) \]
[In]
[Out]
Timed out. \[ \int \frac {\sqrt {1+\sqrt {1+x}}}{x-\sqrt {1+x}} \, dx=\int \frac {\sqrt {\sqrt {x+1}+1}}{x-\sqrt {x+1}} \,d x \]
[In]
[Out]