(1-1/(2e)+2 Nsum[Nintegrate[(e^(-t^2) + 1) t cos(n (sqrt(π) erfc(t) - 2 t)),{t,0,1}],{n,1,130}])/pi