>>681
>>675 さんではありませんが
別の問題で >>581-582 にあったように
d(-cosx) の別の書き方は積分変数変換 y=sin x を行うことです