Primitive of Root of a squared minus x squared cubed

Theorem

 * $\displaystyle \int \left({\sqrt {a^2 - x^2} }\right)^3 \ \mathrm d x = \frac {x \left({\sqrt {a^2 - x^2} }\right)^3} 4 + \frac {3 a^2 x \sqrt {a^2 - x^2} } 8 + \frac {3 a^4} 8 \arcsin \frac x a + C$

Proof
Let:

Also see

 * Primitive of $\left({\sqrt {x^2 + a^2} }\right)^3$
 * Primitive of $\left({\sqrt {x^2 - a^2} }\right)^3$