(+ (+ (+ (w0 x) 2) 1) x) | (+ 1 (+ 2 (+ (+ 2 (+ (+ (+ x (+ x (+ 1 2))) x) x)) x)))
