A formula for working out the time you will be most tired. Interesting stuff.