integral -2pi to 2pi cos(2 cos(x))