cos^2(x)の積分ってどう解くんですか…