What type of PR is this?

Uncomment only one /kind <> line, hit enter to put that in a new line, and remove leading whitespaces from that line:

/kind bug
/kind task

/kind feature

What does this PR do / why do we need it:
When simplifying (x * const1 * const2) ==> x * const3, where const3 = const1*const2, we will check if const1 and const2 have the same shape. If so, const3 will have the shape of const1 (and const2), not broadcasted to the shape of x

Which issue(s) this PR fixes:

Fixes #

Special notes for your reviewers: