pub fn simplify(expr: &Expression) -> Expression
Simplify an expression using e-graph equality saturation