Profile \ceil simplifier in eventlog #1896
Description
We should add eventlog profiling events to the \ceil simplifier to make this information available to users. We would also like this information to investigate alternative strategies for managing \ceil conditions.