Add Add x1 Add Add -4 x0 Pow pi csch csch exp x0 x0 
Add Add 1 Mul Pow pi Add csch csch exp x0 -1 Mul Mul pi log pi Mul Mul Mul -1 coth csch exp x0 csch csch exp x0 Mul Mul Mul -1 coth exp x0 csch exp x0 exp x0 1 