sqrt Add acos Pow asin x7 x0 Add Add x0 pi 1 
Mul Pow Mul 2 sqrt Add acos Pow asin x7 x0 Add Add x0 pi 1 -1 Add Mul -1 Mul Mul Pow asin x7 Add x0 -1 Mul asin x7 log asin x7 Pow sqrt Add 1 Mul -1 Mul Pow asin x7 x0 Pow asin x7 x0 -1 1 