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