Pow acosh x0 Add exp Pow atanh x3 coth x0 4 
Mul Pow acosh x0 Add Add exp Pow atanh x3 coth x0 4 -1 Add Mul Add exp Pow atanh x3 coth x0 4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul exp Pow atanh x3 coth x0 Mul Pow atanh x3 Add coth x0 -1 Mul Mul atanh x3 log atanh x3 Mul -1 Pow csch x0 2 