cot(2pi/3)