WolframAlpha computational knowledge AI
integrate x exp(-x-a exp(-x))