Pow x0 csch Add sqrt x1 Add Pow acoth x7 x0 -2 
Mul Pow x0 Add csch Add sqrt x1 Add Pow acoth x7 x0 -2 -1 Add csch Add sqrt x1 Add Pow acoth x7 x0 -2 Mul Mul x0 log x0 Mul Mul Mul -1 coth Add sqrt x1 Add Pow acoth x7 x0 -2 csch Add sqrt x1 Add Pow acoth x7 x0 -2 Mul Pow acoth x7 Add x0 -1 Mul acoth x7 log acoth x7 