Distributivity Optimization

Optimization via:

• Distributivity of $+$
• Distributivity of $\ast$

Examples

• a = b*c + b*d → a = b*(c+d)