x = 1
y = x + 4 + use(x) + 1
z = use(y) + use(x)