Applicare la formula: $e^x=b$$\to \ln\left(e^x\right)=\ln\left(b\right)$, dove $b=\cos\left(x\right)$ e $x=\cos\left(y\right)$

Applicare la formula: $\ln\left(e^x\right)$$=x$, dove $x=\cos\left(y\right)$

Applicare la formula: $a=b$$\to inverse\left(a,a\right)=inverse\left(a,b\right)$, dove $a=\cos\left(y\right)$ e $b=\ln\left(\cos\left(x\right)\right)$

Applicare la formula: $\arccos\left(\cos\left(\theta \right)\right)$$=\theta $, dove $x=y$