integral log(1-cotx) dx