integral_0^1 ceil(x*sin(1/x))