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