十三题,化简,三角函数,