Add x0 Pow csch Pow Add x0 Mul Pow x1 acsch Add x0 x0 x7 x1 x3 
Add 1 Mul Pow csch Pow Add x0 Mul Pow x1 acsch Add x0 x0 x7 x1 Add x3 -1 Mul x3 Mul Mul Mul -1 coth Pow Add x0 Mul Pow x1 acsch Add x0 x0 x7 x1 csch Pow Add x0 Mul Pow x1 acsch Add x0 x0 x7 x1 Mul Pow Add x0 Mul Pow x1 acsch Add x0 x0 x7 Add x1 -1 Mul x1 Add 1 Mul x7 Mul Pow x1 Add acsch Add x0 x0 -1 Mul Mul x1 log x1 Pow Mul Mul Add x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 -1 