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