\int \ln (1+\sqrt{1-x^2}) dx