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