Funny pictures of sexps

[jaydfox]

I can use complex math with f(x)=e*(x+x0)-x0 to get the power series for log(x+x0), except the leading constant term of course. This holds true for each value of x0 I have tried so far, including complex values or pure imaginary values.

And now prove it!
I could already show that the result does not depend on x0 (hopefully its on the forum), but not that it is log.

Maybe I wasn't clear: obviously I don't get the log exactly, but I do get something that is close to the power series for log, and with increasing matrix size it appears to be converge to the log, so empirically speaking it does seem to be resolving to the log.