How do you apply the double angle formula for sin 8x cos 8x?