\def\arcctg{\mathop{\mathrm{arcctg}}}
\left( \frac{ia-1}{ia+1} \right)^{ib} = \exp(-2b \arcctg a)