Pow x2 Pow Mul acos x0 Pow Mul -2 sqrt Mul x6 Add x5 x5 -2 x6 
Mul Pow x2 Add Pow Mul acos x0 Pow Mul -2 sqrt Mul x6 Add x5 x5 -2 x6 -1 Mul Mul x2 log x2 Mul Pow Mul acos x0 Pow Mul -2 sqrt Mul x6 Add x5 x5 -2 Add x6 -1 Mul x6 Mul Pow Mul -2 sqrt Mul x6 Add x5 x5 -2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 