Solución Parcial
Deje $P(x,y)$ denotar $$f\big(x+f(x+y)\big)+f(xy)=x+f(x+y)+y\,f(x)$$
para cualquier $x,y\in\mathbb{R}$. Escribir $c:=f(0)$. A continuación, $P(0,0)$ da $f(c)=0$. Por lo tanto, $P(0,c)$ rendimientos
$$2c=2\,f(0)=f\big(f(c)\big)+f(0)=f(c)+c\,f(0)=c^2\,.$$
Es decir, $c=0$ o $c=2$. En este trabajo, vamos a asumir que $c=0$.
Tenga en cuenta que $P(x,-x)$ conduce a $$f(x)+f\left(-x^2\right)=x-x\,f(x)\,.\tag{1}$$
Con $x:=\pm1$ en la ecuación anterior, llegamos a la conclusión de que $f(n)=n$ mantiene para $n\in\{-1,0,+1\}$. Ahora, podemos utilizar la $P(1,y)$, es decir,
$$f\big(1+f(1+y)\big)+f(y)=1+f(1+y)+y\,,$$
para mostrar que $f(n)=n$ para todos los números enteros no negativos $n$. Del mismo modo, $P(-1,y)$, el cual es dado por
$$f\big(-1+f(-1-y)\big)+f(-y)=-1+f(-1+y)-y\,,$$
implica que $f(n)=n$ para todos los enteros negativos,$n$. En consecuencia, $f(n)=n$ es válido para cualquier $n\in\mathbb{Z}$.
Ahora, conecte $x:=-x$ a (1) y comparar la nueva ecuación con (1) en sí. Vemos que
$$f(-x)=\frac{2x-(x+1)\,f(x)}{x-1}\tag{2}$$
para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$. Fix $n\in\mathbb{Z}$. A continuación, $P(x,n-x)$ nos da
$$f(x+n)+f\big(x(n-x)\big)=(x+n)+(n-x)\,f(x)\,.\tag{3}$$
La sustitución de $x$ $n$ (3) por $-x$$-n$, respectivamente, de los rendimientos
$$f(-x-n)+f\big(x(n-x)\big)=-x-n-(n-x)\,f(-x)\,.\tag{4}$$
Uso de (2) en (3) y (4) y, a continuación, quitar el plazo $f\big(x(n-x)\big)$ para obtener
$$f(x+n)=\frac{\left(x^2-x-n^2+n\right)\,f(x)+n\,\left(2x^2+(2n-3)x-n\right)}{(x-1)(x+n)}\tag{5}$$
tiene para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$. En particular,
$$f(x+1)=\frac{x\,f(x)+(2x+1)}{x+1}\tag{6}$$
para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$, y
$$f(x+2)=\,\frac{\left(x^2-x-2\right)\,f(x)+2\,\left(2x^2+x-2\right)}{(x-1)(x+2)}\tag{7}$$
para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$. A partir de (6), tenemos
$$f(x+2)=\frac{(x+1)\,f(x+1)+(2x+3)}{x+2}=\frac{x\,f(x)+4(x+1)}{x+2}$$
para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$. La comparación de la última ecuación con (7), tenemos
$$f(x)=x$$
para todos los $x\in\mathbb{R}\setminus\mathbb{Z}$. Sin embargo, como $f(x)=x$ mantiene para $x\in\mathbb{Z}$, llegamos a la conclusión de que la identidad de la función $f(x)=x$ todos los $x\in\mathbb{R}$ es la única solución a la condición de $P(x,y)$ con el adicional de sujeción $f(0)=c=0$.
A partir de ahora, suponga que $f(0)=c=2$. A continuación, $P(1,1)$ implica que el $f(1)=1$. También, $P(x,2-x)$ nos da
$$f(x)+f\big(x(2-x)\big)=x+(2-x)\,f(x)\,.$$
Reemplace $x$ $2-x$ en la ecuación anterior, obtenemos
$$f(2-x)+f\big(x(2-x)\big)=(2-x)+x\,f(2-x)\,.$$
La comparación de estas dos ecuaciones, llegamos a la conclusión de que
$$f(x)+f(2-x)=2\tag{8}$$
para todos los $x\in\mathbb{R}$ (donde el caso de $x=1$ debe hacerse por separado, pero, a continuación,$f(1)=1$).
La condición de $P(x,1-x)$ rendimientos
$$f(x+1)+f\big(x(1-x)\big)=x+1+(1-x)\,f(x)\,.\tag{9}$$
Sustituto $1-x$ $x$ en la ecuación de arriba para obtener
$$f(2-x)+f\big(x(1-x)\big)=2-x+x\,f(1-x)\,.$$
Como $f(2-x)=2-f(x)$, vemos que
$$f\big(x(1-x)\big)=f(x)-x+x\,f(1-x)\,.\tag{10}$$
La comparación de (9) y (10), tenemos
$$f(x+1)=2x+1-x\,f(x)-x\,f(1-x)\,.$$
A partir de (8), tenemos
$$
f(x+1)=2x+1-x\,f(x)-x\,\big(2-f(x+1)\big)\,,$$
o
$$f(x+1)=\frac{x\,f(x)-1}{x-1}\tag{11}$$
para todos los $x\in\mathbb{R}\setminus\{1\}$. A partir de esta ecuación, se deduce fácilmente que el $f(n)=2-n$ por cada $n\in\mathbb{Z}$. En consecuencia,
$$f(x+n)=\frac{(x+n-1)\,f(x)-n}{x-1}\tag{12}$$
para todos los $x\in\mathbb{R}\setminus\{1\}$$n\in\mathbb{Z}$.
A partir de (12) con $P(x,n-x)$, vemos que
$$f\big(x(n-x)\big)=\frac{-\left(x^2-nx+1\right)\,f(x)+\left(x^2-(n-1)x\right)}{x-1}$$
para todos los $x\in\mathbb{R}\setminus\{1\}$ ans $n\in\mathbb{Z}$. Esto demuestra que $f(x)=2-x$ para todos los bienes cuadrática algebraica de los números enteros $x$. No tengo idea de cómo proceder en el futuro de esta.