How do you simplify 6sinxcosx using the double angle identity?