integrate sqrt(cotx) dx