atanh Mul x0 Add Add Pow x1 x0 asec Pow coth x0 x0 x1 
Mul Add Add Add Pow x1 x0 asec Pow coth x0 x0 x1 Mul x0 Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow coth x0 x0 Pow coth x0 x0 -1 Pow coth x0 x0 Pow coth x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Add Add Pow x1 x0 asec Pow coth x0 x0 x1 Mul x0 Add Add Pow x1 x0 asec Pow coth x0 x0 x1 -1 