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