integral e^(-x^2) cos(a x)