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