integral 1/(sin^2x+1)