What is the derivative of #5/sqrtx#?