What is the derivative of sqrt2?