Add x0 asin Pow asin x0 Add Mul Add x0 Pow asin x7 2.28318530717959 Add x3 x0 x0 
Add 1 Mul Mul Pow asin x0 Add Add Mul Add x0 Pow asin x7 2.28318530717959 Add x3 x0 x0 -1 Add Mul Add Mul Add x0 Pow asin x7 2.28318530717959 Add x3 x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Add Add Add x3 x0 Add x0 Pow asin x7 2.28318530717959 1 Pow sqrt Add 1 Mul -1 Mul Pow asin x0 Add Mul Add x0 Pow asin x7 2.28318530717959 Add x3 x0 x0 Pow asin x0 Add Mul Add x0 Pow asin x7 2.28318530717959 Add x3 x0 x0 -1 