exp cosh Mul log acoth x0 Pow sech x0 x0 
Mul exp cosh Mul log acoth x0 Pow sech x0 x0 Mul sinh Mul log acoth x0 Pow sech x0 x0 Add Mul Pow sech x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 Mul log acoth x0 Mul Pow sech x0 Add x0 -1 Add Mul x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 log sech x0 