Add x6 Pow sec Mul asinh Mul E -1 Pow coth x1 x1 Add pi Add x0 Add x6 x3 
Mul Pow sec Mul asinh Mul E -1 Pow coth x1 x1 Add Add pi Add x0 Add x6 x3 -1 Mul sec Mul asinh Mul E -1 Pow coth x1 x1 log sec Mul asinh Mul E -1 Pow coth x1 x1 