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