catch expressions that are recomputed twice

[stefandeml]

for example here:

x = a * b + 1
y = a * b + 2
z = x + y

the optimizer could reasonably catch we're computing a*b twice, and reuse the result