How do you simplify #7 sin x cos x# using the double angle identity?