v2 | (+ v5 2)
(+ 2 v2) | (+ 2 (+ v5 2))
(+ 2 (+ 2 v2)) | (+ 2 (+ 2 (+ v5 2)))
(+ (+ 2 (+ 2 v2)) (+ 1 x)) | (+ (+ 2 (+ 2 (+ v5 2))) (+ 1 x))
(v1 x y) | (v4 x y)
