https://123dok.net/document/zkwd2m4z-differentiability-of-the-arrival-time.html