Integral of cos(x)/1+x^2 complex analysis residus theorem