Pow coth x0 Mul Pow exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 x0 x1 
Mul Pow coth x0 Add Mul Pow exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 x0 x1 -1 Add Mul Mul Pow exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 x0 x1 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul x1 Mul Pow exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 Add x0 -1 Add Mul x0 Mul exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 Add Mul Mul Mul Pow x0 -3 acoth x0 3 Add Pow Mul x0 x4 x1 Mul Add x0 x7 Mul Pow Mul x0 x4 Add x1 -1 Mul x1 x4 Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul 3 Add Mul acoth x0 Mul Pow x0 4 -3 Mul Pow x0 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 log exp Mul Mul Add x0 x7 Pow Mul x0 x4 x1 Mul Mul Pow x0 -3 acoth x0 3 