\int_0^{\pi} \cos(5x)^m \cos(x)^n dx