1 | (+ 1 2)
v2 | v4
(+ 2 v2) | (+ 2 v4)
(+ (+ 1 2) (+ 2 v2)) | (+ (+ 1 2) (+ 2 v4))
(+ (+ (+ 1 2) (+ 2 v2)) (+ 1 x)) | (+ (+ (+ 1 2) (+ 2 v4)) (+ 1 x))
