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