integrate cos(a x) e^(-x^2/2) dx from 0 to infty