exp Pow Add x0 Mul Add x0 x7 Add Add x6 x0 csch x0 atanh x0 
Mul exp Pow Add x0 Mul Add x0 x7 Add Add x6 x0 csch x0 atanh x0 Mul Pow Add x0 Mul Add x0 x7 Add Add x6 x0 csch x0 Add atanh x0 -1 Add Mul atanh x0 Add 1 Add Add Add x6 x0 csch x0 Mul Add x0 x7 Add 1 Mul Mul -1 coth x0 csch x0 Mul Mul Add x0 Mul Add x0 x7 Add Add x6 x0 csch x0 log Add x0 Mul Add x0 x7 Add Add x6 x0 csch x0 Pow Add 1 Mul -1 Mul x0 x0 -1 