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