已知f(x)的一个导数为cosx,求∫f(x)dx