introduce gcd_pf_mul: gcd helper to handle partially factored expressions.