x-elogx の微分は 1-(e/x) で合ってますか?