Sqrt 3 operatorname ctg x 1 0