diff --git a/src/_test_bdd/_test_bdd_logic_fuzzing.rs b/src/_test_bdd/_test_bdd_logic_fuzzing.rs
index 0b3a65c..c3bedd9 100644
--- a/src/_test_bdd/_test_bdd_logic_fuzzing.rs
+++ b/src/_test_bdd/_test_bdd_logic_fuzzing.rs
@@ -171,7 +171,13 @@ fn fuzz_test(num_vars: u16, tree_height: u8, seed: u64) -> bool {
     let cnf = eval.to_cnf();
     let dnf_o = eval.to_optimized_dnf();
 
-    assert!(dnf_o.len() <= dnf.len());
+    assert!(
+        dnf_o.len() <= dnf.len(),
+        "Optimized dnf too large ({} > {}) for {}",
+        dnf_o.len(),
+        dnf.len(),
+        eval.to_boolean_expression(&universe)
+    );
 
     assert!(universe.mk_dnf(&dnf).iff(&eval).is_true());
     assert!(universe.mk_dnf(&dnf_o).iff(&eval).is_true());