16.87 Problem number 804

\[ \int \left (1-x^4\right )^{3/2} \, dx \]

Optimal antiderivative \[ \frac {x \left (-x^{4}+1\right )^{\frac {3}{2}}}{7}+\frac {4 \EllipticF \left (x , i\right )}{7}+\frac {2 x \sqrt {-x^{4}+1}}{7} \]

command

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

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

\[ -\frac {1}{7} \, {\left (x^{5} - 3 \, x\right )} \sqrt {-x^{4} + 1} \]

Fricas 1.3.7 via sagemath 9.3 output

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