v1 | v3
(+ (+ (v0 x) v1) 1) | (+ (+ (w2 x) v3) 1)
(+ (v0 x) v1) | (+ (w2 x) v3)
(v0 x) | (w2 x)
