e^cos(x) = 1, x is real