added factor match simplification starting point