exp atanh Add Pow coth Add x1 x7 Add x0 Pow Add x0 -5 x7 x3 
Mul exp atanh Add Pow coth Add x1 x7 Add x0 Pow Add x0 -5 x7 x3 Mul Mul Pow coth Add x1 x7 Add Add x0 Pow Add x0 -5 x7 -1 Mul Mul coth Add x1 x7 log coth Add x1 x7 Add 1 Mul Pow Add x0 -5 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Add Pow coth Add x1 x7 Add x0 Pow Add x0 -5 x7 x3 Add Pow coth Add x1 x7 Add x0 Pow Add x0 -5 x7 x3 -1 