(x=(X Y 2)/2)