How do you solve cot(x) = 2 ?