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