asin Pow Mul -4 Mul acos x7 x0 acos x3 
Mul Mul Pow Mul -4 Mul acos x7 x0 Add acos x3 -1 Mul acos x3 Mul -4 acos x7 Pow sqrt Add 1 Mul -1 Mul Pow Mul -4 Mul acos x7 x0 acos x3 Pow Mul -4 Mul acos x7 x0 acos x3 -1 