What is the derivative of #tan(x − y) = x#?