Normalize Flat subexpressions #21
Description
Currently, normalization on flat expressions only attempts to match the pattern to the full expression, not subexpressions. Thus, given the rule f(x) * g(x) => x, the term f(1) * g(1) will return 1, but the term f(1) * g(1) * h()` will not normalize.