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