求三角函数cos(85π)/40