Add Pow Mul Pow asech coth Pow Add x7 5 x1 Mul -5 x0 x0 -1 x0 
Add Mul Pow Mul Pow asech coth Pow Add x7 5 x1 Mul -5 x0 x0 2 Mul -1 Add Mul x0 Mul Pow asech coth Pow Add x7 5 x1 Add Mul -5 x0 -1 Mul Mul asech coth Pow Add x7 5 x1 log asech coth Pow Add x7 5 x1 -5 Pow asech coth Pow Add x7 5 x1 Mul -5 x0 1 