Optimal. Leaf size=81 \[ -\frac{1}{2} \sqrt{1-i} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{2} \sqrt{1+i} \tanh ^{-1}\left (\frac{1-i x}{\sqrt{1+i} \sqrt{1+i x^2}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16247, antiderivative size = 81, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.094, Rules used = {2133, 725, 206} \[ -\frac{1}{2} \sqrt{1-i} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{2} \sqrt{1+i} \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 725
Rule 206
Rubi steps
\begin{align*} \int \frac{\sqrt{x^2+\sqrt{1+x^4}}}{(1+x) \sqrt{1+x^4}} \, dx &=\left (\frac{1}{2}-\frac{i}{2}\right ) \int \frac{1}{(1+x) \sqrt{1-i x^2}} \, dx+\left (\frac{1}{2}+\frac{i}{2}\right ) \int \frac{1}{(1+x) \sqrt{1+i x^2}} \, dx\\ &=\left (-\frac{1}{2}-\frac{i}{2}\right ) \operatorname{Subst}\left (\int \frac{1}{(1+i)-x^2} \, dx,x,\frac{1-i x}{\sqrt{1+i x^2}}\right )+\left (-\frac{1}{2}+\frac{i}{2}\right ) \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} \sqrt{1-i} \tanh ^{-1}\left (\frac{1+i x}{\sqrt{1-i} \sqrt{1-i x^2}}\right )-\frac{1}{2} \sqrt{1+i} \tanh ^{-1}\left (\frac{1-i x}{\sqrt{1+i} \sqrt{1+i x^2}}\right )\\ \end{align*}
Mathematica [F] time = 0.175985, size = 0, normalized size = 0. \[ \int \frac{\sqrt{x^2+\sqrt{1+x^4}}}{(1+x) \sqrt{1+x^4}} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.022, size = 0, normalized size = 0. \begin{align*} \int{\frac{1}{1+x}\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 )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 38.9638, size = 998, normalized size = 12.32 \begin{align*} \frac{1}{2} \, \sqrt{2 \, \sqrt{2} - 2} \arctan \left (\frac{{\left (2 \, x^{2} - \sqrt{2}{\left (x^{3} - x^{2} + x + 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2}{\left (x - 1\right )} - 2\right )} - 2 \, x\right )} \sqrt{x^{2} + \sqrt{x^{4} + 1}} \sqrt{2 \, \sqrt{2} - 2} +{\left (x^{2} + \sqrt{2} \sqrt{x^{4} + 1} + 1\right )} \sqrt{2 \, \sqrt{2} + 2} \sqrt{2 \, \sqrt{2} - 2}}{2 \,{\left (x^{2} - 2 \, x + 1\right )}}\right ) - \frac{1}{8} \, \sqrt{2 \, \sqrt{2} + 2} \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 (x^{2} - \sqrt{2}{\left (x^{2} + 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2} - 2\right )} + 1\right )} \sqrt{2 \, \sqrt{2} + 2}}{x^{2} + 2 \, x + 1}\right ) + \frac{1}{8} \, \sqrt{2 \, \sqrt{2} + 2} \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 (x^{2} - \sqrt{2}{\left (x^{2} + 1\right )} + \sqrt{x^{4} + 1}{\left (\sqrt{2} - 2\right )} + 1\right )} \sqrt{2 \, \sqrt{2} + 2}}{x^{2} + 2 \, 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 ) \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 )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]