x/2 + y/2 + (x & y & 1) should work.