diff --git a/src/library/compiler/compiler.cpp b/src/library/compiler/compiler.cpp
index 40adefd273..bbe338f3cf 100644
--- a/src/library/compiler/compiler.cpp
+++ b/src/library/compiler/compiler.cpp
@@ -273,6 +273,7 @@ void initialize_compiler() {
     register_bool_option(*g_extract_closed, true, "(compiler) enable/disable closed term caching");
     register_trace_class("compiler");
     register_trace_class({"compiler", "input"});
+    register_trace_class({"compiler", "inline"});
     register_trace_class({"compiler", "eta_expand"});
     register_trace_class({"compiler", "lcnf"});
     register_trace_class({"compiler", "cce"});
diff --git a/src/library/compiler/csimp.cpp b/src/library/compiler/csimp.cpp
index eed9c094bd..532592f815 100644
--- a/src/library/compiler/csimp.cpp
+++ b/src/library/compiler/csimp.cpp
@@ -1730,6 +1730,7 @@ class csimp_fn {
             }
             if (!inline_if_reduce_attr && is_recursive(const_name(fn))) return none_expr();
             if (uses_unsafe_inductive(c)) return none_expr();
+            lean_trace(name({"compiler", "inline"}), tout() << const_name(fn) << "\n";);
             expr new_fn = instantiate_value_lparams(*info, const_levels(fn));
             if (inline_if_reduce_attr && !inline_attr) {
                 return beta_reduce_if_not_cases(new_fn, e, is_let_val);