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