Add Mul x0 sec Mul Pow Pow coth x0 x0 x0 x1 x1 
Add sec Mul Pow Pow coth x0 x0 x0 x1 Mul x0 Mul Mul tan Mul Pow Pow coth x0 x0 x0 x1 sec Mul Pow Pow coth x0 x0 x0 x1 Mul x1 Mul Pow Pow coth x0 x0 Add x0 -1 Add Mul x0 Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 Mul Pow coth x0 x0 log Pow coth x0 x0 