atanh Mul x0 Pow Mul x0 x4 Mul Add -2 x6 coth x0 
Mul Add Pow Mul x0 x4 Mul Add -2 x6 coth x0 Mul x0 Mul Pow Mul x0 x4 Add Mul Add -2 x6 coth x0 -1 Add Mul Mul Add -2 x6 coth x0 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Mul Add -2 x6 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Mul x0 Pow Mul x0 x4 Mul Add -2 x6 coth x0 Mul x0 Pow Mul x0 x4 Mul Add -2 x6 coth x0 -1 