integral of (cos(x