polylog(3 + i 1e25)