Generalize the rewrite of Ei into li

The formula is only correct for a subset of the complex arguments
but we can currently not reason about the range of arguments:

 ask( Q.real(f(x)), Q.real(x) )

or compute if:

 -pi < imag(f(x)) <= pi

for given f, for example f(x) = 2*log(x)