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