Integrand size = 40, antiderivative size = 392 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\frac {\sqrt {1+x^2} \left (-11 x+8 x^3\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\left (-5-7 x^2+8 x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{2 x \left (-1+x^2\right ) \sqrt {1+x^2}+\left (-1+x^2\right ) \left (1+2 x^2\right )}-4 \text {arctanh}\left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )+\frac {1}{8} \text {RootSum}\left [-2+4 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {2 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )-6 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+5 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^4}{2 \text {$\#$1}^3-3 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ]-\frac {1}{8} \text {RootSum}\left [2-8 \text {$\#$1}^2+8 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-6 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}+5 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^3}{-2+4 \text {$\#$1}^2-3 \text {$\#$1}^4+\text {$\#$1}^6}\&\right ] \] Output:
Unintegrable
Time = 0.01 (sec) , antiderivative size = 689, normalized size of antiderivative = 1.76 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\frac {\left (-5-7 x^2+8 x^4-11 x \sqrt {1+x^2}+8 x^3 \sqrt {1+x^2}\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (-1+x^2\right ) \left (1+2 x^2+2 x \sqrt {1+x^2}\right )}-4 \text {arctanh}\left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )+\text {RootSum}\left [-2+4 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {2 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )-\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^4}{2 \text {$\#$1}^3-3 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ]-\frac {1}{8} \text {RootSum}\left [-2+4 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {14 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )-2 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+3 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^4}{2 \text {$\#$1}^3-3 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ]-\text {RootSum}\left [2-8 \text {$\#$1}^2+8 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-2 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )-\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^4}{-2 \text {$\#$1}+4 \text {$\#$1}^3-3 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ]+\frac {1}{8} \text {RootSum}\left [2-8 \text {$\#$1}^2+8 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-16 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )-2 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+3 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^4}{-2 \text {$\#$1}+4 \text {$\#$1}^3-3 \text {$\#$1}^5+\text {$\#$1}^7}\&\right ] \] Input:
Integrate[((1 + x^2)^(3/2)*Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]])/(1 - x^2)^2, x]
Output:
((-5 - 7*x^2 + 8*x^4 - 11*x*Sqrt[1 + x^2] + 8*x^3*Sqrt[1 + x^2])*Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]])/((-1 + x^2)*(1 + 2*x^2 + 2*x*Sqrt[1 + x^2])) - 4 *ArcTanh[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]]] + RootSum[-2 + 4*#1^4 - 4*#1^6 + #1^8 & , (2*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1] - Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^2 + Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]] ] - #1]*#1^4)/(2*#1^3 - 3*#1^5 + #1^7) & ] - RootSum[-2 + 4*#1^4 - 4*#1^6 + #1^8 & , (14*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1] - 2*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^2 + 3*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x ^2]]] - #1]*#1^4)/(2*#1^3 - 3*#1^5 + #1^7) & ]/8 - RootSum[2 - 8*#1^2 + 8* #1^4 - 4*#1^6 + #1^8 & , (-2*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1] - Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^2 + Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^4)/(-2*#1 + 4*#1^3 - 3*#1^5 + #1^7) & ] + RootSum [2 - 8*#1^2 + 8*#1^4 - 4*#1^6 + #1^8 & , (-16*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1] - 2*Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^2 + 3*L og[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1^4)/(-2*#1 + 4*#1^3 - 3*#1^5 + #1^7) & ]/8
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {\left (x^2+1\right )^{3/2} \sqrt {\sqrt {\sqrt {x^2+1}+x}+1}}{\left (1-x^2\right )^2} \, dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (\frac {\sqrt {\sqrt {\sqrt {x^2+1}+x}+1} \left (x^2+1\right )^{3/2}}{2 \left (1-x^2\right )}+\frac {\sqrt {\sqrt {\sqrt {x^2+1}+x}+1} \left (x^2+1\right )^{3/2}}{4 (1-x)^2}+\frac {\sqrt {\sqrt {\sqrt {x^2+1}+x}+1} \left (x^2+1\right )^{3/2}}{4 (x+1)^2}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {1}{4} \int \frac {\left (x^2+1\right )^{3/2} \sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{(1-x)^2}dx+\frac {1}{4} \int \frac {\left (x^2+1\right )^{3/2} \sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{1-x}dx+\frac {1}{4} \int \frac {\left (x^2+1\right )^{3/2} \sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{(x+1)^2}dx+\frac {1}{4} \int \frac {\left (x^2+1\right )^{3/2} \sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{x+1}dx\) |
Input:
Int[((1 + x^2)^(3/2)*Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]])/(1 - x^2)^2,x]
Output:
$Aborted
Not integrable
Time = 0.00 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.08
\[\int \frac {\left (x^{2}+1\right )^{\frac {3}{2}} \sqrt {1+\sqrt {x +\sqrt {x^{2}+1}}}}{\left (-x^{2}+1\right )^{2}}d x\]
Input:
int((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x)
Output:
int((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x)
Result contains higher order function than in optimal. Order 3 vs. order 1.
Time = 1.06 (sec) , antiderivative size = 6574, normalized size of antiderivative = 16.77 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\text {Too large to display} \] Input:
integrate((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x, al gorithm="fricas")
Output:
Too large to include
Not integrable
Time = 32.08 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.09 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\int \frac {\left (x^{2} + 1\right )^{\frac {3}{2}} \sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{\left (x - 1\right )^{2} \left (x + 1\right )^{2}}\, dx \] Input:
integrate((x**2+1)**(3/2)*(1+(x+(x**2+1)**(1/2))**(1/2))**(1/2)/(-x**2+1)* *2,x)
Output:
Integral((x**2 + 1)**(3/2)*sqrt(sqrt(x + sqrt(x**2 + 1)) + 1)/((x - 1)**2* (x + 1)**2), x)
Not integrable
Time = 0.58 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.08 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\int { \frac {{\left (x^{2} + 1\right )}^{\frac {3}{2}} \sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{{\left (x^{2} - 1\right )}^{2}} \,d x } \] Input:
integrate((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x, al gorithm="maxima")
Output:
integrate((x^2 + 1)^(3/2)*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)/(x^2 - 1)^2, x )
Not integrable
Time = 173.72 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.08 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\int { \frac {{\left (x^{2} + 1\right )}^{\frac {3}{2}} \sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{{\left (x^{2} - 1\right )}^{2}} \,d x } \] Input:
integrate((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x, al gorithm="giac")
Output:
integrate((x^2 + 1)^(3/2)*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)/(x^2 - 1)^2, x )
Not integrable
Time = 0.00 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.08 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\int \frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}\,{\left (x^2+1\right )}^{3/2}}{{\left (x^2-1\right )}^2} \,d x \] Input:
int((((x + (x^2 + 1)^(1/2))^(1/2) + 1)^(1/2)*(x^2 + 1)^(3/2))/(x^2 - 1)^2, x)
Output:
int((((x + (x^2 + 1)^(1/2))^(1/2) + 1)^(1/2)*(x^2 + 1)^(3/2))/(x^2 - 1)^2, x)
Not integrable
Time = 200.02 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.09 \[ \int \frac {\left (1+x^2\right )^{3/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx=\int \frac {\left (x^{2}+1\right )^{\frac {3}{2}} \sqrt {1+\sqrt {x +\sqrt {x^{2}+1}}}}{\left (-x^{2}+1\right )^{2}}d x \] Input:
int((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x)
Output:
int((x^2+1)^(3/2)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^2+1)^2,x)