What is the derivative of #sqrt2#?