derivative log(x/(sqrt(x^2+1)+1))