sqrt Add Pow sqrt x0 -1 Mul x0 Mul 0.250000000000000 x0 
Mul Pow Mul 2 sqrt Add Pow sqrt x0 -1 Mul x0 Mul 0.250000000000000 x0 -1 Add Mul Pow sqrt x0 2 Mul -1 Pow Mul 2 sqrt x0 -1 Add Mul 0.250000000000000 x0 Mul x0 0.250000000000000 