Pow sqrt Add x0 Pow Add Mul Mul 5 x3 Mul sin coth x0 x0 x0 asech x7 -3 
Mul Pow sqrt Add x0 Pow Add Mul Mul 5 x3 Mul sin coth x0 x0 x0 asech x7 4 Mul -3 Mul Pow Mul 2 sqrt Add x0 Pow Add Mul Mul 5 x3 Mul sin coth x0 x0 x0 asech x7 -1 Add 1 Mul Pow Add Mul Mul 5 x3 Mul sin coth x0 x0 x0 Add asech x7 -1 Mul asech x7 Add Mul Mul 5 x3 Add Mul x0 Mul cos coth x0 Mul -1 Pow csch x0 2 sin coth x0 1 