Add Pow sqrt cosh pi sinh Mul Pow x5 x0 coth x0 -0.00411523795274496 
Mul Pow sqrt cosh pi Add sinh Mul Pow x5 x0 coth x0 -1 Mul Mul sqrt cosh pi log sqrt cosh pi Mul cosh Mul Pow x5 x0 coth x0 Add Mul coth x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul -1 Pow csch x0 2 