Add Pow atanh acot Add x3 Pow coth x0 Mul Mul x0 x0 x1 x4 x3 
Mul Pow atanh acot Add x3 Pow coth x0 Mul Mul x0 x0 x1 Add x4 -1 Mul x4 Mul Mul -1 Mul Mul Pow coth x0 Add Mul Mul x0 x0 x1 -1 Add Mul Mul Mul x0 x0 x1 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul x1 Add x0 x0 Pow Add 1 Mul Add x3 Pow coth x0 Mul Mul x0 x0 x1 Add x3 Pow coth x0 Mul Mul x0 x0 x1 -1 Pow Add 1 Mul -1 Mul acot Add x3 Pow coth x0 Mul Mul x0 x0 x1 acot Add x3 Pow coth x0 Mul Mul x0 x0 x1 -1 