Step 3: Substitute \(x=\dfrac{\cos y}{\cos(a+y)}\) from the original equation:
\[ x\sin(a+y)-\sin y=\dfrac{\cos y\sin(a+y)}{\cos(a+y)}-\sin y=\dfrac{\cos y\sin(a+y)-\sin y\cos(a+y)}{\cos(a+y)} \]
The numerator is \(\sin\big[(a+y)-y\big]=\sin a\) (sine subtraction formula), so this simplifies to \(\dfrac{\sin a}{\cos(a+y)}\).