(+ (v0 x) v1) | (+ (w2 x) v4)
(+ (+ (v0 x) v1) 2) | (+ (+ (w2 x) v4) 2)
