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