Pow Add x0 atanh Pow Add log x1 E Pow pi acos x7 x0 
Mul Pow Add x0 atanh Pow Add log x1 E Pow pi acos x7 Add x0 -1 Add x0 Mul Add x0 atanh Pow Add log x1 E Pow pi acos x7 log Add x0 atanh Pow Add log x1 E Pow pi acos x7 