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