Mul sqrt acos Mul Mul x3 x6 Add Add Mul Pow x0 1.57079632679490 -1 x6 x0 -4 
Mul -4 Mul Pow Mul 2 sqrt acos Mul Mul x3 x6 Add Add Mul Pow x0 1.57079632679490 -1 x6 x0 -1 Mul -1 Mul Mul Mul x3 x6 Add Mul -1 Mul Pow x0 0.570796326794897 1.57079632679490 1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x3 x6 Add Add Mul Pow x0 1.57079632679490 -1 x6 x0 Mul Mul x3 x6 Add Add Mul Pow x0 1.57079632679490 -1 x6 x0 -1 