Mul Pow Add x0 Add Mul -2 x0 x1 Pow x0 4 sqrt Add x7 x0 
Add Mul sqrt Add x7 x0 Mul Pow Add x0 Add Mul -2 x0 x1 Add Pow x0 4 -1 Add Pow x0 4 Mul Mul Add x0 Add Mul -2 x0 x1 log Add x0 Add Mul -2 x0 x1 Mul Pow x0 3 4 Mul Pow Add x0 Add Mul -2 x0 x1 Pow x0 4 Pow Mul 2 sqrt Add x7 x0 -1 