実数に対して実数値を取る関数f(x)で、任意の実数x、yに対して
f{x+f(x+y)}+f(xy)=x+f(x+y)+yf(x)
が成立するものを全て求めよ