atanh Add Mul x0 x7 Pow Add Mul coth x0 4 Add acos x6 x0 Pow x3 x2 
Mul Add x7 Mul Pow Add Mul coth x0 4 Add acos x6 x0 Add Pow x3 x2 -1 Mul Pow x3 x2 Add Mul 4 Mul -1 Pow csch x0 2 1 Pow Add 1 Mul -1 Mul Add Mul x0 x7 Pow Add Mul coth x0 4 Add acos x6 x0 Pow x3 x2 Add Mul x0 x7 Pow Add Mul coth x0 4 Add acos x6 x0 Pow x3 x2 -1 