acos Mul 0.785398163397448 Pow Mul x0 x0 Add pi sec x6 
Mul -1 Mul Mul 0.785398163397448 Mul Pow Mul x0 x0 Add Add pi sec x6 -1 Mul Add pi sec x6 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul 0.785398163397448 Pow Mul x0 x0 Add pi sec x6 Mul 0.785398163397448 Pow Mul x0 x0 Add pi sec x6 -1 