log coth Mul E Pow atanh Add Pow E Mul E x0 Add -3 Pow x0 x1 -3 
Mul Mul Mul -1 Pow csch Mul E Pow atanh Add Pow E Mul E x0 Add -3 Pow x0 x1 -3 2 Mul E Mul Pow atanh Add Pow E Mul E x0 Add -3 Pow x0 x1 4 Mul -3 Mul Add Mul Pow E Add Mul E x0 -1 Mul Mul E log E E Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul -1 Mul Add Pow E Mul E x0 Add -3 Pow x0 x1 Add Pow E Mul E x0 Add -3 Pow x0 x1 -1 Pow coth Mul E Pow atanh Add Pow E Mul E x0 Add -3 Pow x0 x1 -3 -1 