diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp
index f55c8992c..6223864af 100644
--- a/src/util/lp/nla_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -1856,7 +1856,7 @@ struct solver::imp {
                 add_equivalence_maybe(s.terms()[i], s.get_column_upper_bound_witness(j), s.get_column_lower_bound_witness(j));
             }
         }
-        collect_equivs_of_fixed_vars();
+        // collect_equivs_of_fixed_vars();
     }
 
     void collect_equivs_of_fixed_vars() {