integrate 1/(x^2+4x+7)