Mul Mul asin exp Mul sqrt x0 x0 0.473801796962966 x0 
Add Mul x0 Mul 0.473801796962966 Mul Mul exp Mul sqrt x0 x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Pow sqrt Add 1 Mul -1 Mul exp Mul sqrt x0 x0 exp Mul sqrt x0 x0 -1 Mul asin exp Mul sqrt x0 x0 0.473801796962966 