e^(-e^(-t)-t)/e^-e^-t