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