Criterium measures the computation time of an expression, designed to address benchmarking pitfalls...