>>791
ばらす所まではできました。

1つ目は
cos(y)cos(2 z)-cos(x)cos(2 z)-cos(2 y)cos(z)+cos(2 x)cos(z)+cos(x)cos(2 y)-cos(2 x) cos(y)

2つ目は
cos^2(x)+cos^2(y)+cos^2(z)+2cos(x)cos(y)cos(z)-1

ここからどう進めればいいのか分かりません。