acos Pow asin Mul x0 Add x0 x7 -0.881373587019543 
Mul -1 Mul Mul Pow asin Mul x0 Add x0 x7 -1.88137358701954 Mul -0.881373587019543 Mul Add Add x0 x7 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add x0 x7 Mul x0 Add x0 x7 -1 Pow sqrt Add 1 Mul -1 Mul Pow asin Mul x0 Add x0 x7 -0.881373587019543 Pow asin Mul x0 Add x0 x7 -0.881373587019543 -1 