Integrand size = 45, antiderivative size = 375 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=\frac {\left (-78032+1254 x-193024 x^2+3072 x^3-35840 x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\left (-184-345 x-2048 x^2-2560 x^3\right ) \sqrt {x+\sqrt {1+x^2}} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\sqrt {1+x^2} \left (\left (-282-175104 x+3072 x^2-35840 x^3\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\left (935-2048 x-2560 x^2\right ) \sqrt {x+\sqrt {1+x^2}} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )}{80640 x \sqrt {1+x^2}+40320 \left (1+2 x^2\right )}+\frac {251}{128} \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 {\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )}{-2 \text {$\#$1}+\text {$\#$1}^3}\&\right ]+\text {RootSum}\left [2-8 \text {$\#$1}^2+8 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}}{2-2 \text {$\#$1}^2+\text {$\#$1}^4}\&\right ] \]
Time = 0.50 (sec) , antiderivative size = 311, normalized size of antiderivative = 0.83 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=-\frac {\sqrt {1+\sqrt {x+\sqrt {1+x^2}}} \left (2 \left (39016-627 x+96512 x^2-1536 x^3+17920 x^4\right )+\left (184+345 x+2048 x^2+2560 x^3\right ) \sqrt {x+\sqrt {1+x^2}}+\sqrt {1+x^2} \left (282+175104 x-3072 x^2+35840 x^3+\left (-935+2048 x+2560 x^2\right ) \sqrt {x+\sqrt {1+x^2}}\right )\right )}{40320 \left (1+2 x^2+2 x \sqrt {1+x^2}\right )}+\frac {251}{128} \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 {\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right )}{-2 \text {$\#$1}+\text {$\#$1}^3}\&\right ]+\text {RootSum}\left [2-8 \text {$\#$1}^2+8 \text {$\#$1}^4-4 \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {\log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}}{2-2 \text {$\#$1}^2+\text {$\#$1}^4}\&\right ] \]
-1/40320*(Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]]*(2*(39016 - 627*x + 96512*x^2 - 1536*x^3 + 17920*x^4) + (184 + 345*x + 2048*x^2 + 2560*x^3)*Sqrt[x + Sqr t[1 + x^2]] + Sqrt[1 + x^2]*(282 + 175104*x - 3072*x^2 + 35840*x^3 + (-935 + 2048*x + 2560*x^2)*Sqrt[x + Sqrt[1 + x^2]])))/(1 + 2*x^2 + 2*x*Sqrt[1 + x^2]) + (251*ArcTanh[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]]])/128 - RootSum[-2 + 4*#1^4 - 4*#1^6 + #1^8 & , Log[Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]/ (-2*#1 + #1^3) & ] + RootSum[2 - 8*#1^2 + 8*#1^4 - 4*#1^6 + #1^8 & , (Log[ Sqrt[1 + Sqrt[x + Sqrt[1 + x^2]]] - #1]*#1)/(2 - 2*#1^2 + #1^4) & ]
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 {\sqrt {x^2+1} \left (x^4+1\right ) \sqrt {\sqrt {\sqrt {x^2+1}+x}+1}}{1-x^4} \, dx\) |
\(\Big \downarrow \) 1388 |
\(\displaystyle \int \frac {\left (x^4+1\right ) \sqrt {\sqrt {\sqrt {x^2+1}+x}+1}}{\left (1-x^2\right ) \sqrt {x^2+1}}dx\) |
\(\Big \downarrow \) 7276 |
\(\displaystyle \int \left (-\frac {\sqrt {\sqrt {\sqrt {x^2+1}+x}+1} x^2}{\sqrt {x^2+1}}+\frac {2 \sqrt {\sqrt {\sqrt {x^2+1}+x}+1}}{\left (1-x^2\right ) \sqrt {x^2+1}}-\frac {\sqrt {\sqrt {\sqrt {x^2+1}+x}+1}}{\sqrt {x^2+1}}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -\int \frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{\sqrt {x^2+1}}dx+\int \frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{(1-x) \sqrt {x^2+1}}dx-\int \frac {x^2 \sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{\sqrt {x^2+1}}dx+\int \frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}}{(x+1) \sqrt {x^2+1}}dx\) |
3.30.71.3.1 Defintions of rubi rules used
Int[(u_.)*((a_) + (c_.)*(x_)^(n2_.))^(p_.)*((d_) + (e_.)*(x_)^(n_))^(q_.), x_Symbol] :> Int[u*(d + e*x^n)^(p + q)*(a/d + (c/e)*x^n)^p, x] /; FreeQ[{a, c, d, e, n, p, q}, x] && EqQ[n2, 2*n] && EqQ[c*d^2 + a*e^2, 0] && (Integer Q[p] || (GtQ[a, 0] && GtQ[d, 0]))
Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionE xpand[u/(a + b*x^n), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ [n, 0]
Not integrable
Time = 0.02 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.10
\[\int \frac {\sqrt {x^{2}+1}\, \left (x^{4}+1\right ) \sqrt {1+\sqrt {x +\sqrt {x^{2}+1}}}}{-x^{4}+1}d x\]
Result contains higher order function than in optimal. Order 3 vs. order 1.
Time = 0.30 (sec) , antiderivative size = 974, normalized size of antiderivative = 2.60 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=\text {Too large to display} \]
integrate((x^2+1)^(1/2)*(x^4+1)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^4+1) ,x, algorithm="fricas")
1/40320*(1120*x^2 - 2*sqrt(x^2 + 1)*(9520*x + 141) + (1680*x^2 - 5*sqrt(x^ 2 + 1)*(336*x - 187) - 2215*x - 184)*sqrt(x + sqrt(x^2 + 1)) + 1818*x - 78 032)*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1) + 1/2*sqrt(2*sqrt(sqrt(2) + 1) + 2) *log(sqrt(2)*sqrt(2*sqrt(sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1) ) + 1)) - 1/2*sqrt(2*sqrt(sqrt(2) + 1) + 2)*log(-sqrt(2)*sqrt(2*sqrt(sqrt( 2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) + 1/2*sqrt(-2*sqrt(sqr t(2) + 1) + 2)*log(sqrt(2)*sqrt(-2*sqrt(sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) - 1/2*sqrt(-2*sqrt(sqrt(2) + 1) + 2)*log(-sqrt(2)*s qrt(-2*sqrt(sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) - 1/2 *sqrt(2*sqrt(sqrt(2) - 1) + 2)*log(sqrt(2)*sqrt(2*sqrt(sqrt(2) - 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) + 1/2*sqrt(2*sqrt(sqrt(2) - 1) + 2)* log(-sqrt(2)*sqrt(2*sqrt(sqrt(2) - 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1) ) + 1)) - 1/2*sqrt(-2*sqrt(sqrt(2) - 1) + 2)*log(sqrt(2)*sqrt(-2*sqrt(sqrt (2) - 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) + 1/2*sqrt(-2*sqrt(sq rt(2) - 1) + 2)*log(-sqrt(2)*sqrt(-2*sqrt(sqrt(2) - 1) + 2) + 2*sqrt(sqrt( x + sqrt(x^2 + 1)) + 1)) - 1/2*sqrt(2*sqrt(-sqrt(2) + 1) + 2)*log(sqrt(2)* sqrt(2*sqrt(-sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) + 1/ 2*sqrt(2*sqrt(-sqrt(2) + 1) + 2)*log(-sqrt(2)*sqrt(2*sqrt(-sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqrt(x^2 + 1)) + 1)) - 1/2*sqrt(-2*sqrt(-sqrt(2) + 1) + 2)*log(sqrt(2)*sqrt(-2*sqrt(-sqrt(2) + 1) + 2) + 2*sqrt(sqrt(x + sqr...
Not integrable
Time = 43.63 (sec) , antiderivative size = 85, normalized size of antiderivative = 0.23 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=- \int \frac {\sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{x^{2} \sqrt {x^{2} + 1} - \sqrt {x^{2} + 1}}\, dx - \int \frac {x^{4} \sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{x^{2} \sqrt {x^{2} + 1} - \sqrt {x^{2} + 1}}\, dx \]
-Integral(sqrt(sqrt(x + sqrt(x**2 + 1)) + 1)/(x**2*sqrt(x**2 + 1) - sqrt(x **2 + 1)), x) - Integral(x**4*sqrt(sqrt(x + sqrt(x**2 + 1)) + 1)/(x**2*sqr t(x**2 + 1) - sqrt(x**2 + 1)), x)
Not integrable
Time = 0.87 (sec) , antiderivative size = 39, normalized size of antiderivative = 0.10 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=\int { -\frac {{\left (x^{4} + 1\right )} \sqrt {x^{2} + 1} \sqrt {\sqrt {x + \sqrt {x^{2} + 1}} + 1}}{x^{4} - 1} \,d x } \]
integrate((x^2+1)^(1/2)*(x^4+1)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^4+1) ,x, algorithm="maxima")
Timed out. \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=\text {Timed out} \]
integrate((x^2+1)^(1/2)*(x^4+1)*(1+(x+(x^2+1)^(1/2))^(1/2))^(1/2)/(-x^4+1) ,x, algorithm="giac")
Not integrable
Time = 8.17 (sec) , antiderivative size = 38, normalized size of antiderivative = 0.10 \[ \int \frac {\sqrt {1+x^2} \left (1+x^4\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^4} \, dx=\int -\frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}\,\sqrt {x^2+1}\,\left (x^4+1\right )}{x^4-1} \,d x \]