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