I am pretty stuck when I tried to calculate the Wigner function for the coherent state. Below is part of the equation that I find very challenging.
$$
\int e^{2i(a-b)x}e^{-\frac{1}{2}x^2}\mathrm{d}x\int e^{2i(c-d)y}e^{-\frac{1}{2}y^2}\mathrm{d}y
$$
where $a,b,c,d$ is real numbers and $i$ is complex number index.
Please show me a way to solve it.