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