atanh Add Pow coth x0 x0 asech Pow Mul Mul x0 log Mul x0 4 Add E pi x0 
Mul Add Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 Mul Mul Pow Mul Mul x0 log Mul x0 4 Add E pi Add x0 -1 Add Mul x0 Mul Add E pi Add log Mul x0 4 Mul x0 Mul 4 Pow Mul x0 4 -1 Mul Mul Mul x0 log Mul x0 4 Add E pi log Mul Mul x0 log Mul x0 4 Add E pi Pow Mul Mul Pow Mul Mul x0 log Mul x0 4 Add E pi x0 Pow Mul Mul x0 log Mul x0 4 Add E pi x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul Mul x0 log Mul x0 4 Add E pi x0 Pow Mul Mul x0 log Mul x0 4 Add E pi x0 -1 -1 Pow Add 1 Mul -1 Mul Add Pow coth x0 x0 asech Pow Mul Mul x0 log Mul x0 4 Add E pi x0 Add Pow coth x0 x0 asech Pow Mul Mul x0 log Mul x0 4 Add E pi x0 -1 