Primitive of x cubed over x fourth plus a fourth

Theorem

 * $\ds \int \frac {x^3 \rd x} {x^4 + a^4} = \frac {\map \ln {x^4 + a^4} } 4$