acos asin Pow x0 Pow Mul Pow pi x7 E 2 
Mul -1 Mul Mul Mul Pow x0 Add Pow Mul Pow pi x7 E 2 -1 Pow Mul Pow pi x7 E 2 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow Mul Pow pi x7 E 2 Pow x0 Pow Mul Pow pi x7 E 2 -1 Pow sqrt Add 1 Mul -1 Mul asin Pow x0 Pow Mul Pow pi x7 E 2 asin Pow x0 Pow Mul Pow pi x7 E 2 -1 