acos sech Pow x0 sec Pow coth x7 coth exp acoth x0 
Mul -1 Mul Mul Mul tanh Pow x0 sec Pow coth x7 coth exp acoth x0 Mul -1 sech Pow x0 sec Pow coth x7 coth exp acoth x0 Mul Pow x0 Add sec Pow coth x7 coth exp acoth x0 -1 Add sec Pow coth x7 coth exp acoth x0 Mul Mul x0 log x0 Mul Mul tan Pow coth x7 coth exp acoth x0 sec Pow coth x7 coth exp acoth x0 Mul Pow coth x7 Add coth exp acoth x0 -1 Mul Mul coth x7 log coth x7 Mul Mul -1 Pow csch exp acoth x0 2 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul sech Pow x0 sec Pow coth x7 coth exp acoth x0 sech Pow x0 sec Pow coth x7 coth exp acoth x0 -1 