pub fn ac_equivalent(expr1: &TLExpr, expr2: &TLExpr) -> bool
Check if two expressions are AC-equivalent.
This recursively normalizes both expressions and compares them.