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