Mul Pow cosh x1 Pow atanh x0 x0 atan Pow acos Pow acsch x0 2 sqrt Pow coth x0 2 
Add Mul atan Pow acos Pow acsch x0 2 sqrt Pow coth x0 2 Mul Pow cosh x1 Add Pow atanh x0 x0 -1 Mul Mul cosh x1 log cosh x1 Mul Pow atanh x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 Mul Pow cosh x1 Pow atanh x0 x0 Mul Mul Pow acos Pow acsch x0 2 Add sqrt Pow coth x0 2 -1 Add Mul sqrt Pow coth x0 2 Mul -1 Mul Mul acsch x0 Mul 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow acsch x0 2 Pow acsch x0 2 -1 Mul Mul acos Pow acsch x0 2 log acos Pow acsch x0 2 Mul Pow Mul 2 sqrt Pow coth x0 2 -1 Mul coth x0 Mul 2 Mul -1 Pow csch x0 2 Pow Add 1 Mul Pow acos Pow acsch x0 2 sqrt Pow coth x0 2 Pow acos Pow acsch x0 2 sqrt Pow coth x0 2 -1 