cos(x) - cot(x) = 3/2