Documentation

Simplifies both expressions using the strategy module and then compares them.

We return (simplified expression 2, rewrites 2)

Normalizes both expressions and compares them for equality.

Normalizing here entails sorting on commutativity and associativity, simplifying fractions and applying distributivity.

We return the first expression and rewrites (simpler fractions, distribution) of the first expression minus the rewrites of the second expression.

Compare two expressions

Takes into account subexpression variables and magic types.

Map all subexpression variables to the values they refer to