integral_0^π log(1 - 2 α cos(x) + α^2) dx