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