int cos(x) dx