(+ 2 (+ x y)) | (+ (+ y y) x)
(+ (v1 x y) (+ 2 (+ x y))) | (+ (w3 x y) (+ (+ y y) x))
(v1 x y) | (w3 x y)
