Algebraic Simplification with Canonical FormsDeep-ML | Problem