asin Mul Pow Mul x7 x0 log sqrt x7 Add x4 Add x0 exp x0 
Mul Add Mul Add x4 Add x0 exp x0 Mul Pow Mul x7 x0 Add log sqrt x7 -1 Mul log sqrt x7 x7 Mul Pow Mul x7 x0 log sqrt x7 Add 1 exp x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow Mul x7 x0 log sqrt x7 Add x4 Add x0 exp x0 Mul Pow Mul x7 x0 log sqrt x7 Add x4 Add x0 exp x0 -1 