Integral of (x^3)*arctan(x) (by parts)