Add Add E x0 Pow atanh Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 x0 
Add 1 Mul Pow atanh Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 Add x0 -1 Add Mul x0 Mul Add Mul Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 -4 Mul Mul x0 -4 Mul Pow Pow coth x4 x0 Add tan Mul Add 1 x1 x0 -1 Add Mul tan Mul Add 1 x1 x0 Mul Pow coth x4 Add x0 -1 Mul coth x4 log coth x4 Mul Mul Pow coth x4 x0 log Pow coth x4 x0 Mul Pow sec Mul Add 1 x1 x0 2 Add 1 x1 Pow Add 1 Mul -1 Mul Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 -1 Mul atanh Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 log atanh Mul Mul x0 -4 Pow Pow coth x4 x0 tan Mul Add 1 x1 x0 