asin Mul Pow x0 0.958924274663138 Mul x0 2 
Mul Add Mul Mul x0 2 Mul Pow x0 -0.0410757253368615 0.958924274663138 Mul Pow x0 0.958924274663138 2 Pow sqrt Add 1 Mul -1 Mul Mul Pow x0 0.958924274663138 Mul x0 2 Mul Pow x0 0.958924274663138 Mul x0 2 -1 