Как выделить X в нелинейном уравнении

[Extremo]

имеем уравнение $2^x-2\cos(x)=3$ . Нужно представить его в виде $x=z(x)$

[SpBTimes]

Если нужно $x = z(x)$, то можно кучей способов.
Хотя бы: $2^x = 3 + 2\cos(x)$
И тогда $x = \log_2(3 + 2\cos(x))$

[Extremo]

Спасибо за помощь! То что нужно :)