Mul E Pow coth Add exp Pow sec x7 x0 Mul x0 x0 Mul Pow E x5 acsch x0 
Mul E Mul Pow coth Add exp Pow sec x7 x0 Mul x0 x0 Add Mul Pow E x5 acsch x0 -1 Add Mul Mul Pow E x5 acsch x0 Mul Mul -1 Pow csch Add exp Pow sec x7 x0 Mul x0 x0 2 Add Mul exp Pow sec x7 x0 Mul Pow sec x7 Add x0 -1 Mul sec x7 log sec x7 Add x0 x0 Mul Mul coth Add exp Pow sec x7 x0 Mul x0 x0 log coth Add exp Pow sec x7 x0 Mul x0 x0 Mul Pow E x5 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 