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