Pow Mul acos Add x0 Pow x3 x1 Mul x0 asin x5 x0 
Mul Pow Mul acos Add x0 Pow x3 x1 Mul x0 asin x5 Add x0 -1 Add Mul x0 Add Mul Mul x0 asin x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow x3 x1 Add x0 Pow x3 x1 -1 Mul acos Add x0 Pow x3 x1 asin x5 Mul Mul acos Add x0 Pow x3 x1 Mul x0 asin x5 log Mul acos Add x0 Pow x3 x1 Mul x0 asin x5 