$\int_a^b \cos x\,d x$