Mul acos Pow Pow acos sqrt x0 Pow x1 x0 x1 2 
Mul 2 Mul -1 Mul Mul Pow Pow acos sqrt x0 Pow x1 x0 Add x1 -1 Mul x1 Mul Pow acos sqrt x0 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Mul acos sqrt x0 log acos sqrt x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul -1 Mul Pow Pow acos sqrt x0 Pow x1 x0 x1 Pow Pow acos sqrt x0 Pow x1 x0 x1 -1 