acsch Pow cosh x0 Pow Mul pi acsch pi x0 
Mul Mul -1 Mul Pow cosh x0 Add Pow Mul pi acsch pi x0 -1 Add Mul Pow Mul pi acsch pi x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Mul pi acsch pi Add x0 -1 Mul Mul pi acsch pi log Mul pi acsch pi Pow Mul Mul Pow cosh x0 Pow Mul pi acsch pi x0 Pow cosh x0 Pow Mul pi acsch pi x0 sqrt Add 1 Mul -1 Pow Mul Pow cosh x0 Pow Mul pi acsch pi x0 Pow cosh x0 Pow Mul pi acsch pi x0 -1 -1 