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