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