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