integral cos(x)