(+ (+ (v1 x) y) x) | (+ (+ v3 x) y)
