atanh Pow Add Mul x0 coth x4 1 Mul x3 x0 
Mul Mul Pow Add Mul x0 coth x4 1 Add Mul x3 x0 -1 Add Mul Mul x3 x0 coth x4 Mul Mul Add Mul x0 coth x4 1 log Add Mul x0 coth x4 1 x3 Pow Add 1 Mul -1 Mul Pow Add Mul x0 coth x4 1 Mul x3 x0 Pow Add Mul x0 coth x4 1 Mul x3 x0 -1 