cot(pi/3)