csch Mul Mul Add x0 Pow x7 x7 1.77215424758523 atanh acot x1 
Mul Mul Mul -1 coth Mul Mul Add x0 Pow x7 x7 1.77215424758523 atanh acot x1 csch Mul Mul Add x0 Pow x7 x7 1.77215424758523 atanh acot x1 Mul atanh acot x1 1.77215424758523 