Есть теорема о неявной функции. Из нее следует:
1) обозначения: F(x,y) = x^y - y^x
2) dF/dx + dF/dy * dy/dx = 0
Из нее получаем:
dy/dx = (-1) * (dF/dx)/(dF/dy)
Подставляем:
dy/dx = (-1) * ( y * ( x^(y - 1) ) - (y^x) * ln(y) )/( (-1) * x * ( y^(x - 1) ) + (x^y) * ln(x) )

вот такой ответ. Понятно?