sech Mul Pow x0 coth Mul x0 Add x0 x7 x7 
Mul Mul tanh Mul Pow x0 coth Mul x0 Add x0 x7 x7 Mul -1 sech Mul Pow x0 coth Mul x0 Add x0 x7 x7 Mul x7 Mul Pow x0 Add coth Mul x0 Add x0 x7 -1 Add coth Mul x0 Add x0 x7 Mul Mul x0 log x0 Mul Mul -1 Pow csch Mul x0 Add x0 x7 2 Add Add x0 x7 x0 