e^(-t) * ((int e^(t-e^(-t))) - 1)