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