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