int sqrt(1 - tan^2(x))dx