atanh Add csch Pow pi x0 Pow coth x1 Mul x0 -4 
Mul Add Mul Mul Mul -1 coth Pow pi x0 csch Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow coth x1 Add Mul x0 -4 -1 Mul Mul coth x1 log coth x1 -4 Pow Add 1 Mul -1 Mul Add csch Pow pi x0 Pow coth x1 Mul x0 -4 Add csch Pow pi x0 Pow coth x1 Mul x0 -4 -1 