Derivative[1][y][x] == (-Log[x] + Log[Log[y[x]]])*y[x]