>>109
倍角公式によれば
cos(7x) sin(7x) = (1/2) sin(14x)
なので

後は普通に sinの積分。