I need help with proving this trig identity. I tried doing it out but I'm not sure if I'm doing it right since it's getting so expanded. Is there any other way to do it than making the cos4x = cos(2x + 2x) = cos2xcos2x-sin2xsin2x = ...?

Here's the identity: