计算 (sin x * cos x)' 。