let coefficient_of x = 
      let is_neg_and_eq_var_x = is_neg &&& is_var x in
        coefficient_choose is_neg_and_eq_var_x