∫sint*sintdt怎么求?