integrate e^(-e^x) from 0 to infinity