pub fn count_reduction_steps(expr: &Expr) -> usize
Count the number of beta reduction steps to normalize an expression.