int(exp(-2\pi * (x/sqrt(2))^2 )* exp(-2i*pi*x/sqrt(2)*f), x=-infinity..infinity)