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