$f(x)=\log _{\pi}\left(2 \cosh x^{2}-1\right) \cdot \sqrt{1-\sinh x}+\operatorname{settcosh}\left(\frac{e^{x}+1}{2 e^{x}-1}\right) \cdot \operatorname{settanh}(1-\sqrt{x})$
Salve, ho trovato l'insieme di definizione, di questa funzione, ma non sono affatto sicuro del risultato, potreste darmi una mano?