\int_0^\infty x e^(-(0.5-x)^2/2)e^(-3x) dx / \int_0^\infty e^(-(0.5-x)^2/2)e^(-3x)dx