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