Mul Mul cosh Pow acosh coth x0 Mul cot Pow x5 x0 4 -4 x0 
Add Mul x0 Mul -4 Mul sinh Pow acosh coth x0 Mul cot Pow x5 x0 4 Mul Pow acosh coth x0 Add Mul cot Pow x5 x0 4 -1 Add Mul Mul cot Pow x5 x0 4 Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Mul Mul acosh coth x0 log acosh coth x0 Mul 4 Mul Mul -1 Pow csc Pow x5 x0 2 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul cosh Pow acosh coth x0 Mul cot Pow x5 x0 4 -4 