acoth Mul Mul Add x0 Mul Add x0 -2 Add Mul asech E x0 Mul x0 x7 2 coth x6 
Mul Mul coth x6 Mul 2 Add 1 Add Add Mul asech E x0 Mul x0 x7 Mul Add x0 -2 Add asech E x7 Pow Add 1 Mul -1 Mul Mul Mul Add x0 Mul Add x0 -2 Add Mul asech E x0 Mul x0 x7 2 coth x6 Mul Mul Add x0 Mul Add x0 -2 Add Mul asech E x0 Mul x0 x7 2 coth x6 -1 