Mul Add acos x0 Pow x0 x0 Mul Pow x0 Add x0 Mul x0 x6 Pow Mul Pow x0 x0 atanh acos x5 Add x0 acosh x5 
Add Mul Mul Pow x0 Add x0 Mul x0 x6 Pow Mul Pow x0 x0 atanh acos x5 Add x0 acosh x5 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add acos x0 Pow x0 x0 Add Mul Pow Mul Pow x0 x0 atanh acos x5 Add x0 acosh x5 Mul Pow x0 Add Add x0 Mul x0 x6 -1 Add Add x0 Mul x0 x6 Mul Mul x0 log x0 Add 1 x6 Mul Pow x0 Add x0 Mul x0 x6 Mul Pow Mul Pow x0 x0 atanh acos x5 Add Add x0 acosh x5 -1 Add Mul Add x0 acosh x5 Mul atanh acos x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 atanh acos x5 log Mul Pow x0 x0 atanh acos x5 