sin8x=8sinxcosxcos2xcos4x
proving trig identity?
proving trig identity?