[Bug tree-optimization/83517] Missed optimization in math expression: (x+x)/x == 2

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83517

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
  (div (mult @0 @1) @1)

Maybe we are missing a :c here.