Integrate(1/sqrt(2pi)*e^(-x^2/2)*1/sqrt(2pi)*e^(-(a b*x)^2/2),x)