diff --git a/src/tactic/nlsat_smt/nl_purify_tactic.cpp b/src/tactic/nlsat_smt/nl_purify_tactic.cpp
index be52bb477..0484c2ce2 100644
--- a/src/tactic/nlsat_smt/nl_purify_tactic.cpp
+++ b/src/tactic/nlsat_smt/nl_purify_tactic.cpp
@@ -676,6 +676,16 @@ public:
         m_cancel = f;
     }
 
+    virtual void collect_statistics(statistics & st) const {
+        m_nl_tac->collect_statistics(st);
+        m_solver->collect_statistics(st);                
+    }
+    
+    virtual void reset_statistics() {
+        m_nl_tac->reset_statistics();        
+    }
+
+
     virtual void cleanup() {
         m_solver = mk_smt_solver(m, m_params, symbol::null);
         m_nl_tac->cleanup();