Pow tanh x7 Add 5 Add Mul Pow pi coth x0 Mul E x0 exp x0 
Mul Pow tanh x7 Add Add 5 Add Mul Pow pi coth x0 Mul E x0 exp x0 -1 Mul Mul tanh x7 log tanh x7 Add Add Mul Mul E x0 Mul Pow pi Add coth x0 -1 Mul Mul pi log pi Mul -1 Pow csch x0 2 Mul Pow pi coth x0 E exp x0 