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