Evaluate cot(x)+1=0