Mul sqrt Mul x0 x6 sqrt Mul Pow Mul x0 x0 5 -1 
Add Mul sqrt Mul Pow Mul x0 x0 5 -1 Mul Pow Mul 2 sqrt Mul x0 x6 -1 x6 Mul sqrt Mul x0 x6 Mul Pow Mul 2 sqrt Mul Pow Mul x0 x0 5 -1 -1 Mul -1 Mul Pow Mul x0 x0 4 Mul 5 Add x0 x0 