(v3 x) | (v7 x)
(v2 x) | (v7 x)
(+ (w1 x) (v3 x)) | (+ (w5 x) (v7 x))
(w1 x) | (w5 x)
