Mul Pow Mul acosh coth x0 x4 exp x0 Pow 3 x5 
Mul Pow 3 x5 Mul Pow Mul acosh coth x0 x4 Add exp x0 -1 Add Mul exp x0 Mul x4 Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Mul Mul Mul acosh coth x0 x4 log Mul acosh coth x0 x4 exp x0 