evalf(int(cos(x)/ln(x),x=1+1/10^10..8))