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