Resolver la ecuación logarítmica $y=\ln\left(\sqrt{\arctan\left(x\right)}\right)^{-1}$

$\ln\left(2\cdote\right)$

$\ln\left(e^{11\left(-1\right) y^{\left(-1\right)}}\right)$

$\ln\left(\frac{13}{10}\right)$

$\ln\left(e^{11\left(-1\right)\cdot y}\right)$

$\ln\left(2^3\right)$

$\ln\left(\frac{2+5}{2}\right)$

$\ln\left(\frac{49}{20}\right)$