Решить y=log[tan(pi/2+x/2)]

$$y = \log [ \tan ( \frac { \pi } { 2 } + \frac { x } { 2 } ) ]$$

Найдите x

$$x=2arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\pi +4\pi n_{24}\text{, }n_{24}\in \mathrm{Z}\text{, }\exists n_{63}\in \mathrm{Z}\text{ : }\left(n_{63}\text{bmod}2=0\text{ and }not(n_{24}<-\frac{1}{2}+\frac{1}{2}n_{63})\text{ and }not(n_{24}>\frac{1}{2}+\frac{1}{2}n_{63})\right)\text{ and }\exists n_{17}\in \mathrm{Z}\text{ : }\left(n_{17}\text{bmod}2=0\text{ and }not(n_{17}<-1+2n_{24})\text{ and }not(n_{17}>2n_{24})\right)$$

$$x=\left(-1\right)\left(\pi +\left(-2\right)arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\left(-4\right)n_{43}\pi \right)\text{, }n_{43}\in \mathrm{Z}\text{, }\exists n_{17}\in \mathrm{Z}\text{ : }\left(n_{17}<\frac{1}{2}\left(2arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\left(-2\right)\pi +4n_{43}\pi \right)\pi ^{-1}\text{ and }n_{17}>\frac{1}{2}\left(2arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\left(-3\right)\pi +4n_{43}\pi \right)\pi ^{-1}\right)\text{ and }\exists n_{63}\in \mathrm{Z}\text{ : }\left(n_{63}<\pi ^{-1}arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})-\frac{1}{2}+2n_{43}\text{ and }n_{63}>\pi ^{-1}arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})-\frac{3}{2}+2n_{43}\right)\text{ and }\exists n_{17}\in \mathrm{Z}\text{ : }\left(n_{17}<\frac{1}{2}\left(2arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\left(-1\right)\pi \left(2+\left(-4\right)n_{43}\right)\right)\pi ^{-1}\text{ and }n_{17}>\frac{1}{2}\left(2arcSin(10^{y}\left(100^{y}+1\right)^{-\frac{1}{2}})+\left(-3\right)\pi +4n_{43}\pi \right)\pi ^{-1}\right)$$

Найдите y

$$y=\log(-\cot(\frac{x}{2}))$$

$$\exists n_{1}\in \mathrm{Z}\text{ : }\left(x>2\pi n_{1}+\pi \text{ and }x<2\pi n_{1}+2\pi \right)$$