Add Add Pow coth acoth coth Mul x0 Pow x4 acos E Mul Mul csch x0 5 Mul x0 Add atanh x1 5 x7 x0 
Add Mul Pow coth acoth coth Mul x0 Pow x4 acos E Add Mul Mul csch x0 5 Mul x0 Add atanh x1 5 -1 Add Mul Mul Mul csch x0 5 Mul x0 Add atanh x1 5 Mul Mul -1 Pow csch acoth coth Mul x0 Pow x4 acos E 2 Mul Mul Mul -1 Pow csch Mul x0 Pow x4 acos E 2 Pow x4 acos E Pow Add 1 Mul -1 Mul coth Mul x0 Pow x4 acos E coth Mul x0 Pow x4 acos E -1 Mul Mul coth acoth coth Mul x0 Pow x4 acos E log coth acoth coth Mul x0 Pow x4 acos E Add Mul Mul x0 Add atanh x1 5 Mul 5 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 5 Add atanh x1 5 1 