asin Pow asin x6 Add Add x0 Mul x0 2 Add Mul E x0 x0 
Mul Mul Pow asin x6 Add Add Add x0 Mul x0 2 Add Mul E x0 x0 -1 Mul Mul asin x6 log asin x6 Add 3 Add E 1 Pow sqrt Add 1 Mul -1 Mul Pow asin x6 Add Add x0 Mul x0 2 Add Mul E x0 x0 Pow asin x6 Add Add x0 Mul x0 2 Add Mul E x0 x0 -1 