csch Pow Add 1 E atanh Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 
Mul Mul Mul -1 coth Pow Add 1 E atanh Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 csch Pow Add 1 E atanh Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 Mul Pow Add 1 E Add atanh Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 -1 Mul Mul Add 1 E log Add 1 E Mul Mul Pow Add Pow atanh x1 acoth x0 csch x0 Add acoth x3 -1 Mul acoth x3 Add Mul Pow atanh x1 Add acoth x0 -1 Mul Mul atanh x1 log atanh x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 Pow Add Pow atanh x1 acoth x0 csch x0 acoth x3 -1 