integrate x exp(-x-a exp(-x))