Optimal. Leaf size=125 \[ -\frac{\sqrt{1-i x^2}}{2 (x+1)}-\frac{\sqrt{1+i x^2}}{2 (x+1)}-\frac{1}{4} (1-i)^{3/2} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{4} (1+i)^{3/2} \tanh ^{-1}\left (\frac{1-i x}{\sqrt{1+i} \sqrt{1+i x^2}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.185294, antiderivative size = 125, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 4, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {2133, 731, 725, 206} \[ -\frac{\sqrt{1-i x^2}}{2 (x+1)}-\frac{\sqrt{1+i x^2}}{2 (x+1)}-\frac{1}{4} (1-i)^{3/2} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{4} (1+i)^{3/2} \tanh ^{-1}\left (\frac{1-i x}{\sqrt{1+i} \sqrt{1+i x^2}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2133
Rule 731
Rule 725
Rule 206
Rubi steps
\begin{align*} \int \frac{\sqrt{x^2+\sqrt{1+x^4}}}{(1+x)^2 \sqrt{1+x^4}} \, dx &=\left (\frac{1}{2}-\frac{i}{2}\right ) \int \frac{1}{(1+x)^2 \sqrt{1-i x^2}} \, dx+\left (\frac{1}{2}+\frac{i}{2}\right ) \int \frac{1}{(1+x)^2 \sqrt{1+i x^2}} \, dx\\ &=-\frac{\sqrt{1-i x^2}}{2 (1+x)}-\frac{\sqrt{1+i x^2}}{2 (1+x)}-\frac{1}{2} i \int \frac{1}{(1+x) \sqrt{1-i x^2}} \, dx+\frac{1}{2} i \int \frac{1}{(1+x) \sqrt{1+i x^2}} \, dx\\ &=-\frac{\sqrt{1-i x^2}}{2 (1+x)}-\frac{\sqrt{1+i x^2}}{2 (1+x)}+\frac{1}{2} i \operatorname{Subst}\left (\int \frac{1}{(1-i)-x^2} \, dx,x,\frac{1+i x}{\sqrt{1-i x^2}}\right )-\frac{1}{2} i \operatorname{Subst}\left (\int \frac{1}{(1+i)-x^2} \, dx,x,\frac{1-i x}{\sqrt{1+i x^2}}\right )\\ &=-\frac{\sqrt{1-i x^2}}{2 (1+x)}-\frac{\sqrt{1+i x^2}}{2 (1+x)}-\frac{1}{4} (1-i)^{3/2} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{4} (1+i)^{3/2} \tanh ^{-1}\left (\frac{1-i x}{\sqrt{1+i} \sqrt{1+i x^2}}\right )\\ \end{align*}
Mathematica [F] time = 0.239471, size = 0, normalized size = 0. \[ \int \frac{\sqrt{x^2+\sqrt{1+x^4}}}{(1+x)^2 \sqrt{1+x^4}} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.026, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{ \left ( 1+x \right ) ^{2}}\sqrt{{x}^{2}+\sqrt{{x}^{4}+1}}{\frac{1}{\sqrt{{x}^{4}+1}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{x^{2} + \sqrt{x^{4} + 1}}}{\sqrt{x^{4} + 1}{\left (x + 1\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 19.3436, size = 1068, normalized size = 8.54 \begin{align*} \frac{4 \,{\left (x + 1\right )} \sqrt{\sqrt{2} + 1} \arctan \left (\frac{2 \,{\left (x^{3} + x^{2} - \sqrt{2}{\left (x^{3} + 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2} x - x - 1\right )} - x + 1\right )} \sqrt{x^{2} + \sqrt{x^{4} + 1}} \sqrt{\sqrt{2} + 1} +{\left (2 \, x^{2} - \sqrt{2}{\left (x^{2} + 1\right )} + 2 \, \sqrt{x^{4} + 1}{\left (\sqrt{2} - 1\right )} + 2\right )} \sqrt{2 \, \sqrt{2} + 2} \sqrt{\sqrt{2} + 1}}{2 \,{\left (x^{2} - 2 \, x + 1\right )}}\right ) +{\left (x + 1\right )} \sqrt{\sqrt{2} - 1} \log \left (-\frac{{\left (2 \, x^{3} - \sqrt{2}{\left (x^{3} - x^{2} - x - 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2}{\left (x - 1\right )} - 2 \, x\right )} - 2\right )} \sqrt{x^{2} + \sqrt{x^{4} + 1}} +{\left (\sqrt{2}{\left (x^{2} + 1\right )} + 2 \, \sqrt{x^{4} + 1}\right )} \sqrt{\sqrt{2} - 1}}{x^{2} + 2 \, x + 1}\right ) -{\left (x + 1\right )} \sqrt{\sqrt{2} - 1} \log \left (-\frac{{\left (2 \, x^{3} - \sqrt{2}{\left (x^{3} - x^{2} - x - 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2}{\left (x - 1\right )} - 2 \, x\right )} - 2\right )} \sqrt{x^{2} + \sqrt{x^{4} + 1}} -{\left (\sqrt{2}{\left (x^{2} + 1\right )} + 2 \, \sqrt{x^{4} + 1}\right )} \sqrt{\sqrt{2} - 1}}{x^{2} + 2 \, x + 1}\right ) + 4 \, \sqrt{x^{2} + \sqrt{x^{4} + 1}}{\left (x^{2} - \sqrt{x^{4} + 1} - 1\right )}}{8 \,{\left (x + 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{x^{2} + \sqrt{x^{4} + 1}}}{\left (x + 1\right )^{2} \sqrt{x^{4} + 1}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{x^{2} + \sqrt{x^{4} + 1}}}{\sqrt{x^{4} + 1}{\left (x + 1\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]