(+ x (+ (+ (+ (+ x 2) 2) x) 2)) | (v2 x)
