How do you solve cot(x) = -2?