definite integrals with Si(x)