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