∫0∞ⅇ-a⁢t⁢Ci⁡(t)⁢ⅆ⁡t=-12⁢a⁢ln⁡(1+a2),