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