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