How do you use a double-angle formula to rewrite the expression #7 sin x cos x#?