Add x0 sech atan Pow Pow x7 coth x0 Mul exp x3 pi 
Add 1 Mul Mul tanh atan Pow Pow x7 coth x0 Mul exp x3 pi Mul -1 sech atan Pow Pow x7 coth x0 Mul exp x3 pi Mul Mul Pow Pow x7 coth x0 Add Mul exp x3 pi -1 Mul Mul exp x3 pi Mul Pow x7 Add coth x0 -1 Mul Mul x7 log x7 Mul -1 Pow csch x0 2 Pow Add 1 Mul Pow Pow x7 coth x0 Mul exp x3 pi Pow Pow x7 coth x0 Mul exp x3 pi -1 