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