Mul asech Mul Mul x0 2 Pow x0 5 exp Mul x0 x0 
Add Mul exp Mul x0 x0 Mul Add Mul Pow x0 5 2 Mul Mul x0 2 Mul Pow x0 4 5 Pow Mul Mul Mul Mul x0 2 Pow x0 5 Mul Mul x0 2 Pow x0 5 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 2 Pow x0 5 Mul Mul x0 2 Pow x0 5 -1 -1 Mul asech Mul Mul x0 2 Pow x0 5 Mul exp Mul x0 x0 Add x0 x0 