Mul coth x0 Pow Pow cosh pi x4 Pow Mul sqrt x0 x0 2 
Add Mul Pow Pow cosh pi x4 Pow Mul sqrt x0 x0 2 Mul -1 Pow csch x0 2 Mul coth x0 Mul Pow Pow cosh pi x4 Add Pow Mul sqrt x0 x0 2 -1 Mul Mul Pow cosh pi x4 log Pow cosh pi x4 Mul Mul sqrt x0 x0 Mul 2 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 