>>572
とりあえず有理化して
log{(1 + √1-x^2)/x} = log(1 + √1-x^2) - log(x)

これを微分したんですけどあわなくて…ここまであってますか?