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