Mul Pow asin Add x5 x0 acos E Pow Pow -2 x7 Add Add x0 x6 atan sqrt x0 
Add Mul Pow Pow -2 x7 Add Add x0 x6 atan sqrt x0 Mul Pow asin Add x5 x0 Add acos E -1 Mul acos E Pow sqrt Add 1 Mul -1 Mul Add x5 x0 Add x5 x0 -1 Mul Pow asin Add x5 x0 acos E Mul Pow Pow -2 x7 Add Add Add x0 x6 atan sqrt x0 -1 Mul Mul Pow -2 x7 log Pow -2 x7 Add 1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 