 
             if((prev_inf_coeff != 0) || (prev_sup_coeff != 0))
             {
-                elina_double_interval_mul_expr_coeff(&tmp1, &tmp2, prev_inf_coeff, prev_sup_coeff, aux_coeffs[c], aux_coeffs[c]);
-
-                maxRes = max(fabs(inf_coeff), fabs(sup_coeff));
-                maxMul = max(fabs(tmp1), fabs(tmp2));
+                elina_double_interval_mul_expr_coeff_const_expr(&tmp1, &tmp2, prev_inf_coeff, prev_sup_coeff, aux_coeffs[c]);
+
+                maxRes = max(abs(inf_coeff), abs(sup_coeff));
+                maxMul = max(abs(tmp1), abs(tmp2));
 
                 inf_coeff = inf_coeff + tmp1 - (maxRes + maxMul)*ulp;
                 sup_coeff = sup_coeff + tmp2 + (maxRes + maxMul)*ulp;

}


fppoly_t* fppoly_of_abstract0(elina_abstract0_t* a)
{
    return (fppoly_t*) a->value;

                {
                    float_type aux_cst = aux_csts[out_z];

                    elina_double_interval_mul_cst_coeff_const_expr(&tmp1, &tmp2, prev_inf_coeff, prev_sup_coeff, aux_cst);

                    maxRes = max(abs(inf_cst), abs(sup_cst));
                    maxMul = max(abs(tmp1), abs(tmp2));

                    inf_cst += tmp1 - (maxRes + maxMul)*ulp - min_denormal;
                    sup_cst += tmp2 + (maxRes + maxMul)*ulp + min_denormal;
