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