integral of (log log x)/(128 (log x)^10) for x=10^17..10^18