integral from 0 to 1 of -((1-x^2)/(1+x^2)) ln(arctanh(x))