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