Use the squared identities to simplify 2sin2x sin2x.
This ???
2sin2x sin2x =
2sin^2 (2x) =
1 - cos (4x)
