coth Add Pow pi Pow x0 csch Add x0 x7 x0 
Mul Mul -1 Pow csch Add Pow pi Pow x0 csch Add x0 x7 x0 2 Add Mul Pow pi Add Pow x0 csch Add x0 x7 -1 Mul Mul pi log pi Mul Pow x0 Add csch Add x0 x7 -1 Add csch Add x0 x7 Mul Mul x0 log x0 Mul Mul -1 coth Add x0 x7 csch Add x0 x7 1 