(+ (+ 1 (+ 2 2)) (v0 x)) | (+ (+ (w2 x) 1) (w3 x))
