v0 | (+ (+ 2 (+ 2 (+ 2 (+ 2 2)))) 1)
(+ (+ x x) v0) | (+ (+ x x) (+ (+ 2 (+ 2 (+ 2 (+ 2 2)))) 1))
(+ (+ (+ x x) v0) x) | (+ (+ (+ x x) (+ (+ 2 (+ 2 (+ 2 (+ 2 2)))) 1)) x)
