Function reduce_bounded 

pub fn reduce_bounded(
    expr: &Expr,
    strategy: ReductionStrategy,
    bound: ReductionBound,
) -> (Expr, ReductionStats)

Reduce an expression with a bound on the number of steps.

Returns the reduced expression and statistics.