In fact, this is the chain rule of derivative of composite function. When you take the derivative of x, you can actually think of y as a constant. As I wrote in the figure below, let xy be t(x), and when z takes the derivative of x, just follow the derivative rule of composite function.