pub fn count_reduction_steps(expr: &Expr) -> (usize, Expr)
Count the number of reduction steps to reach normal form.
Returns the step count and the normalized expression.