logx-atan(x-1