(w2 x y) | (+ (w5 x y) y)
(+ (w2 x y) x) | (+ (+ (w5 x y) y) x)
