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