cos x=tと置換するだけ。