Yup,
von da kommste auch direkt zum Ziel ohne auf meine Zeile zu kommen:
Im(cos4(x) + 4cos3(x)*isin(x) - 6cos2(x)sin(x) - 4cos(x)*isin3(x)+sin4(x))
= 4cos3(x)*sin(x) - 4cos(x)*sin3(x)
mit sin^2(x) = 1-cos^2(x)
= 4cos^3(x)sin(x) - 4cos(x)(1-cos^2(x))sin(x)
= 4cos^3(x)sin(x) - 4cos(x)sin(x) + 4cos^3(x)sin(x)
= 8cos^3(x)sin(x) - 4cos(x)sin(x)
Alright?! ;)