integrate cotg(x) dx