Mir ist nicht ganz klar welche Frage du jetzt eigentlich hast.
Ich kann bestätigen das Deine Umformung korrekt ist
4·(+x + y + z)·(x^3 + y^3 + z^3)
= (2·x^2 + x·y + x·z - y^2 - 2·y·z - z^2)^2
+ (+ 2·x·y + 2·x·z + 2·y^2 - 2·y·z + 2·z^2)^2
- (+ x·y + x·z + y^2 - 4·y·z + z^2)^2