integral 1/(1+3sin^2 x) dx