integral cos(2t) ln(a^2-2a cos(t) + 1) dt