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