cot(sqrt(3))