Simplify cot((5pi)/3)