Mul Pow Pow acos x0 -0.995054753686730 asin x0 Add Mul Mul x0 x3 x0 Mul x1 pi 
Add Mul Add Mul Mul x0 x3 x0 Mul x1 pi Mul Pow Pow acos x0 -0.995054753686730 Add asin x0 -1 Add Mul asin x0 Mul Pow acos x0 -1.99505475368673 Mul -0.995054753686730 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acos x0 -0.995054753686730 log Pow acos x0 -0.995054753686730 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow acos x0 -0.995054753686730 asin x0 Add Mul x0 x3 Mul x0 x3 