Add x0 Add sin Mul Add Pow acos Add -2 asin x0 2 Add Add Mul sqrt x0 x7 x3 Mul Mul -2 x0 3 x0 x0 
Add 1 Add Mul cos Mul Add Pow acos Add -2 asin x0 2 Add Add Mul sqrt x0 x7 x3 Mul Mul -2 x0 3 x0 Add Mul x0 Add Mul acos Add -2 asin x0 Mul 2 Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add -2 asin x0 Add -2 asin x0 -1 Add Mul x7 Pow Mul 2 sqrt x0 -1 1 Add Pow acos Add -2 asin x0 2 Add Add Mul sqrt x0 x7 x3 Mul Mul -2 x0 3 1 