Comment by gus_massa

Are you sure the easy rewriting rules are not just 2x2 matrix multiplication?