Rule: Distributivity
Refactor and un-roll some of the recursion
Don't distribute non-trivial expressions