Add Mul x0 x2 Add x0 Add Pow Pow atanh Pow x1 coth x3 Mul Pow acos x0 x7 -5 Add x0 -1 x4 
Add x2 Add 1 Mul Pow Pow atanh Pow x1 coth x3 Mul Pow acos x0 x7 -5 Add Add x0 -1 -1 Add Mul Add x0 -1 Mul Pow atanh Pow x1 coth x3 Add Mul Pow acos x0 x7 -5 -1 Mul Mul atanh Pow x1 coth x3 log atanh Pow x1 coth x3 Mul -5 Mul Pow acos x0 Add x7 -1 Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow atanh Pow x1 coth x3 Mul Pow acos x0 x7 -5 log Pow atanh Pow x1 coth x3 Mul Pow acos x0 x7 -5 