In "Baxter, Rennie" book, there is an explanation of product rule for Ito formula. They apply Ito formula (without any details) to
$$\frac{1}{2}((X_t + Y_t)^2 - X_t^2 - Y_t^2) = X_tY_t$$
and obtain
$$d(X_tY_t) = X_t\,dY_t + Y_t\,dX_t + dX_t\,dY_t$$
There is a good expalantion how to get $d(X_tY_t) = X_t\,dY_t + Y_t\,dX_t + dX_t\,dY_t$ in "Wiersema" by applying Ito formula, but he doesn't use $\frac{1}{2}((X_t + Y_t)^2 - X_t^2 - Y_t^2)$ at all.
Could you please explain this step? I don't see how applying Ito lemma to $\frac{1}{2}((X_t + Y_t)^2 - X_t^2 - Y_t^2)$, I would come up with result.