integral_(4/5)^1log(1/x+sqrt(1-x^2)/x) dx