pub fn expand(expr: &Expr) -> ExprExpand description
Distribute every product over sums and expand small positive integer powers, so the
result contains no Mul/Pow node with an additive child. Semantically equal to the
input (verify by evaluation). Powers above 8 are left unexpanded to bound blow-up.