maximum of e^x e^(-e^x)