Problem

Find y' by implicit differentiation, where xy = cot(xy).

Solution

Differentiating implicitly, we get

Solve for y'.

Since the factor csc(xy)² + 1 will always be postive, we can cancel it, leaving