Sort subexpressions when searching twins
Direct transformation to poly system