solve cot(x)=1