cot x + x = 4 pi