asec Pow asec atan x0 0.125000000000000 
Mul Mul Pow asec atan x0 -0.875000000000000 Mul 0.125000000000000 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 atan x0 atan x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow asec atan x0 0.125000000000000 Pow asec atan x0 0.125000000000000 -1 Pow asec atan x0 0.125000000000000 Pow asec atan x0 0.125000000000000 -1 