derivative of 0.8 + (-1 / ((x - 0.8) / (1 - 0.8) + 1) + 1) * (1 - 0.8) at x = 0.8