(+ v1 1) | (+ (+ 2 v3) 1)
v1 | (+ 2 v3)
