log{1+√(1-x²)}-√(1-x²)-logx