ctg (x- pi/2) = sqrt3