integral of ln(1+sqrt{1-x^2})