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