(x-3)log(x-3)-x 微分