diff --git a/src/params/bv_rewriter_params.pyg b/src/params/bv_rewriter_params.pyg
index 04c5824852..aa4af90bc9 100644
--- a/src/params/bv_rewriter_params.pyg
+++ b/src/params/bv_rewriter_params.pyg
@@ -7,7 +7,7 @@ def_module_params(module_name='rewriter',
                           ("elim_sign_ext", BOOL, True, "expand sign-ext operator using concat and extract"),
                           ("hi_div0", BOOL, True, "use the 'hardware interpretation' for division by zero (for bit-vector terms)"),
                           ("mul2concat", BOOL, False, "replace multiplication by a power of two into a concatenation"),
-                          ("bv_sort_ac", BOOL, False, "sort the arguments of all AC operators"),
+                          ("bv_sort_ac", BOOL, True, "sort the arguments of all AC operators"),
                           ("bv_extract_prop", BOOL, False, "attempt to partially propagate extraction inwards"),
                           ("bv_not_simpl", BOOL, False, "apply simplifications for bvnot"),
                           ("bv_ite2id", BOOL, False, "rewrite ite that can be simplified to identity"),