Distribution and Redundancy

The rule that reshapes a formula most, and the one that shortens it