integral of (log log x)/(128 (log x)^10) for x=10^4..10^13