How do you use the double angle formula to verify #sin4x=8cos^3xsinx-4cosxsinx#?