Mul asin Add 2 coth x0 Pow x0 asec Add log Add Mul Mul E x1 x0 x2 x4 
Add Mul Pow x0 asec Add log Add Mul Mul E x1 x0 x2 x4 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul Add 2 coth x0 Add 2 coth x0 -1 Mul asin Add 2 coth x0 Mul Pow x0 Add asec Add log Add Mul Mul E x1 x0 x2 x4 -1 Add asec Add log Add Mul Mul E x1 x0 x2 x4 Mul Mul x0 log x0 Mul Mul Mul E x1 Pow Add Mul Mul E x1 x0 x2 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add log Add Mul Mul E x1 x0 x2 x4 Add log Add Mul Mul E x1 x0 x2 x4 -1 Add log Add Mul Mul E x1 x0 x2 x4 Add log Add Mul Mul E x1 x0 x2 x4 -1 