Pow acosh x5 Add Pow x0 coth x0 Pow Mul x1 x0 -5 
Mul Pow acosh x5 Add Add Pow x0 coth x0 Pow Mul x1 x0 -5 -1 Mul Mul acosh x5 log acosh x5 Add Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 Mul Pow Mul x1 x0 6 Mul -5 x1 