Thomas' Calculus 13th Edition

Differentiating terms with respect to x, we get $\frac{dx}{dx}= \frac{d}{dx}$(sec y) Or 1= sec y tan y•$\frac{dy}{dx}$ which implies that $\frac{dy}{dx}= \frac{1}{sec y tan y}$= cos y cot y.