How do you integrate int4/(x^2 + 9)dx?