Mul x7 Pow Add coth Mul x7 Add tanh Pow coth x0 x1 pi cot x0 x0 
Mul x7 Mul Pow Add coth Mul x7 Add tanh Pow coth x0 x1 pi cot x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 Pow csch Mul x7 Add tanh Pow coth x0 x1 pi 2 Mul x7 Mul Pow sech Pow coth x0 x1 2 Mul Pow coth x0 Add x1 -1 Mul x1 Mul -1 Pow csch x0 2 Mul -1 Pow csc x0 2 Mul Add coth Mul x7 Add tanh Pow coth x0 x1 pi cot x0 log Add coth Mul x7 Add tanh Pow coth x0 x1 pi cot x0 