Add Add Pow x0 -2 Pow Pow x0 x0 x0 Mul Pow x0 Pow acos x1 Pow x0 Pow x0 Pow x0 atanh x3 x0 
Add Add Mul Pow x0 3 -2 Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Add Mul x0 Mul Pow x0 Add Pow acos x1 Pow x0 Pow x0 Pow x0 atanh x3 -1 Add Pow acos x1 Pow x0 Pow x0 Pow x0 atanh x3 Mul Mul x0 log x0 Mul Pow acos x1 Add Pow x0 Pow x0 Pow x0 atanh x3 -1 Mul Mul acos x1 log acos x1 Mul Pow x0 Add Pow x0 Pow x0 atanh x3 -1 Add Pow x0 Pow x0 atanh x3 Mul Mul x0 log x0 Mul Pow x0 Add Pow x0 atanh x3 -1 Add Pow x0 atanh x3 Mul Mul x0 log x0 Mul Pow x0 Add atanh x3 -1 atanh x3 Pow x0 Pow acos x1 Pow x0 Pow x0 Pow x0 atanh x3 