Mul x2 Mul asin x0 Mul Pow acos x2 Pow atanh E log x0 x0 
Mul x2 Add Mul Mul Pow acos x2 Pow atanh E log x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Add Mul x0 Mul Pow acos x2 Add Pow atanh E log x0 -1 Mul Mul acos x2 log acos x2 Mul Pow atanh E Add log x0 -1 Mul Mul atanh E log atanh E Pow x0 -1 Pow acos x2 Pow atanh E log x0 