(v1 x) | (v7 x)
(v0 x) | (v6 x)
(w2 x) | (+ (+ 1 (v3 x)) (+ 1 2))
(+ (v0 x) (w2 x)) | (+ (+ (+ 1 (v3 x)) (+ 1 2)) (v6 x))
