Pow Pow Mul atanh x5 acos x0 x0 Pow x0 Add x2 1 
Mul Pow Pow Mul atanh x5 acos x0 x0 Add Pow x0 Add x2 1 -1 Add Mul Pow x0 Add x2 1 Mul Pow Mul atanh x5 acos x0 Add x0 -1 Add Mul x0 Mul atanh x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x5 acos x0 log Mul atanh x5 acos x0 Mul Mul Pow Mul atanh x5 acos x0 x0 log Pow Mul atanh x5 acos x0 x0 Mul Pow x0 Add Add x2 1 -1 Add x2 1 