factor and simplify extraction and resolution