Optimal. Leaf size=603 \[ \frac {\left (-803792+690 x-6024144 x^2+10470 x^3-1112160 x^4+1128 x^5+5861376 x^6-12288 x^7+143360 x^8\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\left (-184+1525 x-6328 x^2-8025 x^3-1680 x^4-3740 x^5+8192 x^6+10240 x^7\right ) \sqrt {x+\sqrt {1+x^2}} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\sqrt {1+x^2} \left (\left (-282-3314848 x+5298 x^2-3989088 x^3+7272 x^4+5789696 x^5-12288 x^6+143360 x^7\right ) \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}+\left (935-2416 x-2315 x^2-5776 x^3-8860 x^4+8192 x^5+10240 x^6\right ) \sqrt {x+\sqrt {1+x^2}} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )}{40320 \left (-1+x^2\right ) \sqrt {1+x^2} \left (4 x+8 x^3\right )+40320 \left (-1+x^2\right ) \left (1+8 x^2+8 x^4\right )}-\frac {2299}{128} \tanh ^{-1}\left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )+\frac {1}{4} \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 )-14 \log \left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2+13 \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}{4} \text {RootSum}\left [2-8 \text {$\#$1}^2+8 \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 ) \text {$\#$1}+13 \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 ] \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 1.32, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{\left (1-x^2\right )^2} \, dx &=\int \left (\frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{4 (1-x)^2}+\frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{4 (1+x)^2}+\frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{2 \left (1-x^2\right )}\right ) \, dx\\ &=\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1-x)^2} \, dx+\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1+x)^2} \, dx+\frac {1}{2} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x^2} \, dx\\ &=\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1-x)^2} \, dx+\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1+x)^2} \, dx+\frac {1}{2} \int \left (\frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{2 (1-x)}+\frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{2 (1+x)}\right ) \, dx\\ &=\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1-x)^2} \, dx+\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1-x} \, dx+\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{(1+x)^2} \, dx+\frac {1}{4} \int \frac {\left (1+x^2\right )^{5/2} \sqrt {1+\sqrt {x+\sqrt {1+x^2}}}}{1+x} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 852, normalized size = 1.41 \begin {gather*} \frac {\sqrt {1+\sqrt {x+\sqrt {1+x^2}}} \left (2 \left (-401896+345 x-3012072 x^2+5235 x^3-556080 x^4+564 x^5+2930688 x^6-6144 x^7+71680 x^8\right )+\left (-184+1525 x-6328 x^2-8025 x^3-1680 x^4-3740 x^5+8192 x^6+10240 x^7\right ) \sqrt {x+\sqrt {1+x^2}}+\sqrt {1+x^2} \left (-282-3314848 x+5298 x^2-3989088 x^3+7272 x^4+5789696 x^5-12288 x^6+143360 x^7+\left (935-2416 x-2315 x^2-5776 x^3-8860 x^4+8192 x^5+10240 x^6\right ) \sqrt {x+\sqrt {1+x^2}}\right )\right )}{40320 \left (-1+x^2\right ) \left (1+8 x^2+8 x^4+4 \sqrt {1+x^2} \left (x+2 x^3\right )\right )}-\frac {2299}{128} \tanh ^{-1}\left (\sqrt {1+\sqrt {x+\sqrt {1+x^2}}}\right )+4 \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 )-\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}{4} \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 ]-4 \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 )-\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}{4} \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 ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.00, size = 0, normalized size = 0.00 \[\int \frac {\left (x^{2}+1\right )^{\frac {5}{2}} \sqrt {1+\sqrt {x +\sqrt {x^{2}+1}}}}{\left (-x^{2}+1\right )^{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains higher order function than in optimal. Order 3 vs. order
1.
time = 1.47, size = 6743, normalized size = 11.18 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sqrt {\sqrt {x+\sqrt {x^2+1}}+1}\,{\left (x^2+1\right )}^{5/2}}{{\left (x^2-1\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________