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