https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70841
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Christophe Lyon from comment #4) > Can this be achieved in match.pd? A simple case like x*y/x could be done in match.pd (assuming we want to simplify it to just y under some conditions). To handle more generally x*a*b*c*d*e/x, you really need reassoc.
