Mul Pow acos x0 Mul Add acoth x0 Pow Pow Add x5 x2 -1 x0 atan csch sech E 7 
Mul 7 Mul Pow acos x0 Add Mul Add acoth x0 Pow Pow Add x5 x2 -1 x0 atan csch sech E -1 Add Mul Mul Add acoth x0 Pow Pow Add x5 x2 -1 x0 atan csch sech E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Mul atan csch sech E Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow Add x5 x2 -1 Add x0 -1 Mul Pow Add x5 x2 -1 log Pow Add x5 x2 -1 