利用和(差)角公式求三角函数值cos(-61π/12)tan(35π/12)