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