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