One; minus the time spent either dividing even numbers by two or multiplying odd numbers by three and adding one, over the total time working.

The same way you measure productivity of a programmer. LoP (Lines of Proof) per day.