यदि $x=f(y)$ डिफरेंशियल इक़्वेशन $\left(1+y^2\right)+\left(x-2 \mathrm{e}^{\tan ^{-1} y}\right) \frac{\mathrm{d} y}{\mathrm{~d} x}=0, y \in\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)$ का समाधान है जहाँ $f(0)=1$ है, तो $f\left(\frac{1}{\sqrt{3}}\right)$ निम्नलिखित के बराबर है :