Expander works with distribution over division
Expander works with negation