range of the whole expression: 0 15
simplify gives i: True
big*4 may wrap, safe = False ; simplify gives big: False
