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