Evaluate cot(30)