(v1 x y) | (+ x (w3 x y))
(+ 1 (v1 x y)) | (+ 1 (+ x (w3 x y)))
