mayer-vietoris simplification