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