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