What is the derivative of #4/sqrtx#?