cos(x)*cos(π/6-x) 接下来怎么化简