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