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