cot(2x) = -7/24