integrate x exp(-x^2 / (2*3^2)) / sqrt(2 pi * 3^2) from x=0 to 2*3