integrate 1/sqrt(1-3tan^2(x))