Using distribution with double negation and combining like terms to simplify - Multivariate