Primitive of x cubed over x squared plus a squared squared/Proof 2