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