Pow x5 coth exp Mul Mul acosh Pow x0 x5 x7 E 
Mul Pow x5 Add coth exp Mul Mul acosh Pow x0 x5 x7 E -1 Mul Mul x5 log x5 Mul Mul -1 Pow csch exp Mul Mul acosh Pow x0 x5 x7 E 2 Mul exp Mul Mul acosh Pow x0 x5 x7 E Mul E Mul x7 Mul Mul Pow x0 Add x5 -1 x5 Pow Mul sqrt Add Pow x0 x5 -1 sqrt Add 1 Pow x0 x5 -1 