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