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