Pow Add Mul log x7 x0 x0 asin Mul x0 x5 
Mul Pow Add Mul log x7 x0 x0 Add asin Mul x0 x5 -1 Add Mul asin Mul x0 x5 Add log x7 1 Mul Mul Add Mul log x7 x0 x0 log Add Mul log x7 x0 x0 Mul x5 Pow sqrt Add 1 Mul -1 Mul Mul x0 x5 Mul x0 x5 -1 