Integral of (cos7x- cos8x)/(1+2cos5x)dx