(v0 x) | (w1 x)
(+ x (v0 x)) | (+ (w1 x) x)
(+ 2 (+ 2 (+ 2 (+ x (v0 x))))) | (+ (+ (w1 x) x) (+ 2 (+ 2 2)))
