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