integrate cos(x) dx