(+ (w0 x) (v1 x)) | (+ (+ (w2 x) (v5 x)) (w6 x))
(v1 x) | (v5 x)
