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