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