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