evalf(int(cos(x)/ln(x),x=0..8))