atanh coth Mul x0 Mul Mul x3 x0 x6 
Mul Mul Mul -1 Pow csch Mul x0 Mul Mul x3 x0 x6 2 Add Mul Mul x3 x0 x6 Mul x0 Mul x6 x3 Pow Add 1 Mul -1 Mul coth Mul x0 Mul Mul x3 x0 x6 coth Mul x0 Mul Mul x3 x0 x6 -1 