(+ (v0 x) (w1 x)) | (+ 2 (+ (v2 x) (w5 x)))
(+ 1 (+ (v0 x) (w1 x))) | (+ 1 (+ 2 (+ (v2 x) (w5 x))))
