acos Pow Mul x0 Pow asin x0 -3 acos x1 
Mul -1 Mul Mul Pow Mul x0 Pow asin x0 -3 Add acos x1 -1 Mul acos x1 Add Pow asin x0 -3 Mul x0 Mul Pow asin x0 4 Mul -3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Pow asin x0 -3 acos x1 Pow Mul x0 Pow asin x0 -3 acos x1 -1 