(+ (+ (+ (+ x (+ (+ 0 x) (+ 2 (+ 2 2)))) (+ 1 2)) x) 2) | (+ (+ (+ 2 (+ x x)) (+ (+ 0 x) (+ 2 (+ 2 2)))) (+ 2 (+ 2 2)))
