sin xd cos x怎么积分