Integrate ArcCot[x]*ArcCot[y-x]