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