Pow asin Pow x0 1.57079632679490 Pow x2 Add acos x0 Mul x0 x0 
Mul Pow asin Pow x0 1.57079632679490 Add Pow x2 Add acos x0 Mul x0 x0 -1 Add Mul Pow x2 Add acos x0 Mul x0 x0 Mul Mul Pow x0 0.570796326794897 1.57079632679490 Pow sqrt Add 1 Mul -1 Mul Pow x0 1.57079632679490 Pow x0 1.57079632679490 -1 Mul Mul asin Pow x0 1.57079632679490 log asin Pow x0 1.57079632679490 Mul Pow x2 Add Add acos x0 Mul x0 x0 -1 Mul Mul x2 log x2 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add x0 x0 