设f(x)是cosx的一个原函数,∫df(x)是多少