solve x=cot(x)