4/cos2x 的原函数是多少