diff --git a/plugins/z3_utils/src/simplification.cpp b/plugins/z3_utils/src/simplification.cpp
index b360f768ef3..d64cab665f2 100644
--- a/plugins/z3_utils/src/simplification.cpp
+++ b/plugins/z3_utils/src/simplification.cpp
@@ -2019,8 +2019,6 @@ namespace hal
     {
         Result<z3::expr> simplify_local(const z3::expr& e, std::unordered_map<u32, z3::expr>& cache, const bool check_correctness)
         {
-            std::cout << "start simplification" << std::endl;
-
             const u32 max_loop_iterations = 128;
             u32 iteration                 = 0;