\int_0^1\cos{x}/\sqrt {x}