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