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