I was able to calculate the derivative of |x^2-9|: the result is (2 x (-9 + x^2))/abs(-9 + x^2). However, I have a doubt as to whether it really exists, as it contradicts the axiom that uniqueness of derivatives. Does the derivative really exist? Should I define the derivative with a specific domain and path? The derivative is the red graph and the function to be derived is the blue one.

