Pow x5 exp Pow x3 Pow Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 x0 
Mul Pow x5 Add exp Pow x3 Pow Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 x0 -1 Mul Mul x5 log x5 Mul exp Pow x3 Pow Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 x0 Mul Pow x3 Add Pow Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 x0 -1 Mul Mul x3 log x3 Mul Pow Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 Add x0 -1 Add Mul x0 Add Mul Add Add x0 x0 Add asin sqrt x2 x5 Mul Pow Add sqrt x0 Mul exp E x7 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul Add sqrt x0 Mul exp E x7 log Add sqrt x0 Mul exp E x7 Mul Pow Add sqrt x0 Mul exp E x7 x0 2 Mul Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 log Mul Pow Add sqrt x0 Mul exp E x7 x0 Add Add x0 x0 Add asin sqrt x2 x5 