Docs: exponential integral function