x^2-1 = 2x cot x