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