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