Redexes are elided for 2 reasons:
1. Redundant calculation: the result of the redex isn't used. Get rid of it.
2. The same redex occurs elsewhere. Reuse the result of that instead. Stay DRY.
Oleg has no problems with 1. Oleg has a beef with 2 because in HPC, the time-space tradeoff runs counter to ordinary intuition.
