Add Pow x0 Pow cosh acsch pi x0 -1.18839510577812 
Mul Pow x0 Add Pow cosh acsch pi x0 -1 Add Pow cosh acsch pi x0 Mul Mul x0 log x0 Mul Pow cosh acsch pi Add x0 -1 Mul cosh acsch pi log cosh acsch pi 