exp(2*W(0.5*sqrt(log(1e9))))