int arcoth(x) dx