(+ (w5 x y) 1) | (+ (w11 x y) 1)
(+ (+ (w5 x y) 1) x) | (+ (+ (w11 x y) 1) x)
(w5 x y) | (w11 x y)
