fn exp1(z: Complex) -> ComplexExpand description
The exponential integral E1(z) = Gamma(0, z), the start of the integer-degree
recurrence. The power series cancels by about e^(|z| + Re z), while the continued
fraction converges slowly next to the negative real axis; beyond |z| = 40 the
fraction converges there too.