Pow acos Pow x2 x0 Add Add Mul x0 sqrt x3 Add Pow asin x0 -2 x7 -1 
Mul Pow acos Pow x2 x0 Add Add Add Mul x0 sqrt x3 Add Pow asin x0 -2 x7 -1 -1 Add Mul Add Add Mul x0 sqrt x3 Add Pow asin x0 -2 x7 -1 Mul -1 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow sqrt Add 1 Mul -1 Mul Pow x2 x0 Pow x2 x0 -1 Mul Mul acos Pow x2 x0 log acos Pow x2 x0 Add sqrt x3 Mul Pow asin x0 3 Mul -2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 