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