(+ (v0 x) (w2 x)) | (+ (v3 x) (w5 x))
(w2 x) | (w5 x)
(v0 x) | (v3 x)
