Then do these also hold?

    Integral(f(x),(x,y)) == Integral(f(y),y)
    Integral(f(x/(x+y)),(x,y)) == Integral(f(1/2),y) == f(1/2)*y

If so, should this simplification happen automatically?