integrate cos x / (1 + x ^ 2 ) dx from minus infity to infinity