(+ (+ 2 (+ 2 (+ (+ x 2) x))) x) | (v2 x)
(+ 2 (+ (+ 2 (+ 2 (+ (+ x 2) x))) x)) | (+ 2 (v2 x))
(+ (+ 2 (+ (+ 2 (+ 2 (+ (+ x 2) x))) x)) y) | (+ (+ 2 (v2 x)) y)
