41th Balkan Mathematical Olympiad (BMO 2024 )

Problem 4.
Let $\mathbb{R}^+ = (0, \infty)$ be the set of all positive real numbers. Find all functions $f : \mathbb{R}^+ \to \mathbb{R}^+$ and polynomials $P(x)$ with non-negative real coefficients such that $P(0) = 0$ which satisfy the equality $f(f(x) + P(y)) = f(x - y) + 2y$ for all real numbers $x > y > 0$ .