(+ (w0 x) (v1 x)) | (+ (+ (w2 x) (v3 x)) (ite (<= x 0) 1 x))
(w0 x) | (w2 x)
(+ (+ (w0 x) (v1 x)) (+ 1 (+ x 2))) | (+ (+ (+ (w2 x) (v3 x)) (ite (<= x 0) 1 x)) (+ 1 (+ x 2)))
