(w2 x) | (w5 x)
(+ y (w2 x)) | (+ y (w5 x))
(+ (+ y (w2 x)) x) | (+ (+ y (w5 x)) x)
(v1 x y) | (v4 x y)
