How do you solve cot(x)=sqrt3?