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