integral of atanh(sin(x))