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