pub fn simplified_expr(x: impl Into<Expr>) -> Expr