integral of cos(x) e^{ix} dx