(+ (+ (v1 x) (+ 1 x)) (+ (+ 2 x) x)) | (+ (+ (w3 x) (v4 x)) (+ (+ 2 x) x))
(+ (v1 x) (+ 1 x)) | (+ (w3 x) (v4 x))
