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