We don't need the "squared identities," here...the double-angle identities serve better....
sin^2xcos^2x =
(sinx cosx)^2 =
[ (1/2) sin 2x] ^2 =
(1/4) (sin 2x)^2
Note, Cupcake....... cos 4x = 1 - 2[sin 2x]^2
2[sin 2x ]^2 = 1 - cos(4x)
(sin 2x)^2 = [ 1 - cos(4x)] / 2 = (1/2)[ 1 - cos (4x) ]
So we have
(1/4) (1/2) (1 - cos(4x) ] =
(1/8) [ 1 - cos (4x) ] =
[ 1 - cos (4x) ]
____________
8