pub fn simplify_bounded(expr: &Expr, max_depth: usize) -> Expr
Simplify to a maximum depth (prevents looping on large terms).