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