Add x0 Pow x1 Pow atanh atanh Mul x7 x0 Pow 2 csch Add x0 x0 
Add 1 Mul Pow x1 Add Pow atanh atanh Mul x7 x0 Pow 2 csch Add x0 x0 -1 Mul Mul x1 log x1 Mul Pow atanh atanh Mul x7 x0 Add Pow 2 csch Add x0 x0 -1 Add Mul Pow 2 csch Add x0 x0 Mul Mul x7 Pow Add 1 Mul -1 Mul Mul x7 x0 Mul x7 x0 -1 Pow Add 1 Mul -1 Mul atanh Mul x7 x0 atanh Mul x7 x0 -1 Mul Mul atanh atanh Mul x7 x0 log atanh atanh Mul x7 x0 Mul Pow 2 Add csch Add x0 x0 -1 Mul 2.69314718055995 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 