Add asech Mul asinh x5 x0 Pow coth pi x0 
Add Mul asinh x5 Pow Mul Mul Mul asinh x5 x0 Mul asinh x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul asinh x5 x0 Mul asinh x5 x0 -1 -1 Mul Pow coth pi Add x0 -1 Mul coth pi log coth pi 