Mul Pow x0 -4 Add Add Mul Pow x0 x2 8165619676597690 sqrt x2 x0 
Add Mul Add Add Mul Pow x0 x2 8165619676597690 sqrt x2 x0 Mul Pow x0 5 -4 Mul Pow x0 -4 Add Mul 8165619676597690 Mul Pow x0 Add x2 -1 x2 1 