v1 | v3
(+ v1 y) | (+ v3 y)
(+ (+ v1 y) x) | (+ (+ v3 y) x)
