Mul exp asech Add Pow asin x0 x0 0.0400000000000000 Mul x7 x2 
Mul Mul x7 x2 Mul exp asech Add Pow asin x0 x0 0.0400000000000000 Mul Mul Pow asin x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 log asin x0 Pow Mul Mul Add Pow asin x0 x0 0.0400000000000000 Add Pow asin x0 x0 0.0400000000000000 sqrt Add 1 Mul -1 Pow Mul Add Pow asin x0 x0 0.0400000000000000 Add Pow asin x0 x0 0.0400000000000000 -1 -1 