Example

For a = b * -c + b * -c

following code is generated

t 1 = -c

t 2 = b * t 1

t 3 = -c

t 4 = b * t 3

t 5 = t 2 + t 4

a = t 5