5.2 - new notation for same factorial.
5.3 - iterative sqrt.

Doing it in steps - inlining until we get to simple arithmetic operations.
5.4 recursive and iterative expt.

The iterative one is much more straight forward for the machine, but the
recursive one is more straight-forward for the human.