一个三角函数式的化简