29.6 Problem number 260

\[ \int \frac {x^2}{\left (1-x^2\right ) \sqrt {1+x^4}} \, dx \]

Optimal antiderivative \[ \frac {\arctanh \left (\frac {x \sqrt {2}}{\sqrt {x^{4}+1}}\right ) \sqrt {2}}{4}-\frac {\left (x^{2}+1\right ) \sqrt {\frac {\cos \left (4 \arctan \left (x \right )\right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (2 \arctan \left (x \right )\right ), \frac {\sqrt {2}}{2}\right ) \sqrt {\frac {x^{4}+1}{\left (x^{2}+1\right )^{2}}}}{4 \cos \left (2 \arctan \left (x \right )\right ) \sqrt {x^{4}+1}} \]

command

integrate(x^2/(-x^2+1)/(x^4+1)^(1/2),x, algorithm="fricas")

Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output

\[ \frac {1}{2} i \, \sqrt {i} {\rm ellipticF}\left (\sqrt {i} x, -1\right ) + \frac {1}{8} \, \sqrt {2} \log \left (\frac {x^{4} + 2 \, \sqrt {2} \sqrt {x^{4} + 1} x + 2 \, x^{2} + 1}{x^{4} - 2 \, x^{2} + 1}\right ) \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (-\frac {\sqrt {x^{4} + 1} x^{2}}{x^{6} - x^{4} + x^{2} - 1}, x\right ) \]