evalf(int(cos(x)/ln(x),x=0..1-1/10^10))