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