pub fn simplify_expression_fixed_point(expr: &Expression) -> Expression
Repeatedly simplify until no more changes