isl_pw_qpolynomial_gist: substitute equalities in polynomials