integral of Cot[Log[Sin[x]]]