Evaluate log of log of 10^10000