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