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