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