We need to add some metrics to have better understanding of how the Boolean simplifier works in production. By collecting these metrics we can identify issues and make targeted improvements.

I suggest the following metrics:

• The simplifier did not run due to a trivial filter
• The simplifier aborted because the resulting expression became too large
• The simplifier completed without simplifying the expression
• The simplifier completed and simplified the expression