How do you find the integral of cotxdx?