How do you integrate int4x(x^2+3)^(-3) dx?