What is the derivative of sqrt7?