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