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