(v1 x) | (v4 x)
(+ (v2 x y) x) | (+ (+ (+ (+ (+ 2 2) 2) y) x) y)
