re,
la fonction réciproque g vérifie:
+ \cosh (g(y))=y)
=0)
, ce qui permettrait de chercher un DSE au voisinage de

encore faut-il calculer ses coeff et son rayon de convergence.
sinon, une autre possibilité:
comme la dérivation de f est périodique à cause du ch et qu'il y a une formule donnant la dérivée nième de g en fonction des dérivées successives de f, on arriverait peut être à "reconstituer" g par sa série de Taylor
en y=1, sans avoir l'assurance que la formule est valide sur

Noter que f est homomorphe, g aussi (à démontrer) et principe du prolongement analytique ?