sqrt Add Mul Mul Pow x0 x3 2 Mul Pow Mul -2 x0 x4 x3 -3 
Mul Pow Mul 2 sqrt Add Mul Mul Pow x0 x3 2 Mul Pow Mul -2 x0 x4 x3 -3 -1 Add Mul Mul Pow Mul -2 x0 x4 x3 Mul 2 Mul Pow x0 Add x3 -1 x3 Mul Mul Pow x0 x3 2 Mul x3 Mul Pow Mul -2 x0 Add x4 -1 Mul x4 -2 