求∫[0,x]cos(t-x)dx的导数