integrate from -infty to infty e^(-x^2/2)ln(1+e^x)dx, 10 digits