Mul csch Pow Add x0 Pow x0 x0 Pow E acoth E x7 
Mul x7 Mul Mul Mul -1 coth Pow Add x0 Pow x0 x0 Pow E acoth E csch Pow Add x0 Pow x0 x0 Pow E acoth E Mul Pow Add x0 Pow x0 x0 Add Pow E acoth E -1 Mul Pow E acoth E Add 1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 