Let \( y=y(x) \) be the solution curve of the differential equation \( \sec y\,\dfrac{dy}{dx}+2x\sin y=x^{3}\cos y,\; y(1)=0 \). Then \( y(\sqrt{3}) \) is equal to:
\( \dfrac{\pi}{3} \)
\( \dfrac{\pi}{6} \)
\( \dfrac{\pi}{4} \)
\( \dfrac{\pi}{12} \)