} \ \int^{E_{0, \rm rest}}_{E_{0, \rm rest}} \ \bigg( \int^{t0, \rm rest}_{t0,\rm rest} \ \frac{dE_{\rm rest}}{dt_{\rm rest} \ dA \ dE_{\rm rest}} \ dt_{\rm rest} \bigg) \ dE_{\rm rest}  \nonumber \\                      &=  \