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