int main(void)
{
  double x,y,z,t,u;
  // x,y in [-1000,1000]
  z = x+y;
  t = z-x;
  u = t-y;

}