atanh Mul Add 2 x0 Add Mul coth x0 acos x6 Add sech log x0 x0 
Mul Add Add Mul coth x0 acos x6 Add sech log x0 x0 Mul Add 2 x0 Add Mul acos x6 Mul -1 Pow csch x0 2 Add Mul Mul tanh log x0 Mul -1 sech log x0 Pow x0 -1 1 Pow Add 1 Mul -1 Mul Mul Add 2 x0 Add Mul coth x0 acos x6 Add sech log x0 x0 Mul Add 2 x0 Add Mul coth x0 acos x6 Add sech log x0 x0 -1 