>>543
-log|cosx|dx=dtですか?