experimental commutative expression matching