integral of √cot(x)