int log cos(x) dx