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