(+ (+ 2 (+ (+ x 2) (+ 1 2))) (v0 x)) | (w1 x)
