integrate_{-pi}^{pi} cos^2(x)cos(12x) / (sin^2x+1)