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