Collection of statistics

[pevnak]

• After every epoch, you should compute the statistics
• For every expression, compute the length of smallest expression (optimal is one), compute number of steps in the proof.
• You can then summarize in number of simplified expressions, average length of the proof, etc.

You draw tables showing different variants of search, datasets, etc.