How do you evaluate cot (4pi/3)?