Function normalize_with_strategy 

pub fn normalize_with_strategy(expr: &Expr, strategy: NormStrategy) -> Expr

Apply a normalization strategy to an expression.