do not consider slow binary ops as trivially eliminateable
eliminate as trivial only if not too many appearances compared to size
wip