(+ 1 (+ (+ (+ 2 (+ (+ x x) x)) (+ y 2)) x)) | (+ (+ (+ 2 (+ (+ x x) x)) (+ (+ 1 y) 2)) x)
