(+ 2 x) | (+ x x)
(v2 x) | (+ (v5 x) 1)
