Mul Mul cosh Mul -5 Pow acosh x3 Add atanh x0 1 Pow x0 x5 coth x0 
Add Mul coth x0 Add Mul Pow x0 x5 Mul sinh Mul -5 Pow acosh x3 Add atanh x0 1 Mul -5 Mul Pow acosh x3 Add Add atanh x0 1 -1 Mul Mul acosh x3 log acosh x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh Mul -5 Pow acosh x3 Add atanh x0 1 Mul Pow x0 Add x5 -1 x5 Mul Mul cosh Mul -5 Pow acosh x3 Add atanh x0 1 Pow x0 x5 Mul -1 Pow csch x0 2 