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