tanXの積分したら -loglcosXl であってますか?
マイナスと絶対値はいるんでしょうか?